diff options
-rw-r--r-- | i386/i386/pcb.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/i386/i386/pcb.c b/i386/i386/pcb.c index 743108db..23585323 100644 --- a/i386/i386/pcb.c +++ b/i386/i386/pcb.c @@ -169,7 +169,8 @@ void switch_ktss(pcb_t pcb) #ifdef MACH_PV_DESCRIPTORS hyp_set_ldt(&ldt, LDTSZ); #else /* MACH_PV_DESCRIPTORS */ - set_ldt(KERNEL_LDT); + if (get_ldt() != KERNEL_LDT) + set_ldt(KERNEL_LDT); #endif /* MACH_PV_DESCRIPTORS */ } else { |