523
523
stl_kernel(env->tr.base + (0x28 + 7 * 4), EDI);
525
525
stw_kernel(env->tr.base + (0x48 + i * 4), env->segs[i].selector);
526
530
#if defined(VBOX) && defined(DEBUG)
527
531
printf("TSS 32 bits switch\n");
528
532
printf("Saving CS=%08X\n", env->segs[R_CS].selector);