lgdt needs data32 prefix, otherwise it loads only 24 bits. (sgdt

always saves 32 bits).

diff --git a/src/arch/i386/transitions/librm.S b/src/arch/i386/transitions/librm.S
index c915b7ee0b5945cfcfbc3cc8fb86930b88c63726..d0ff1f39a9270ef6adcba954b549691594ea94b7 100644 (file)
--- a/src/arch/i386/transitions/librm.S
+++ b/src/arch/i386/transitions/librm.S
@@ -287,7 +287,7 @@ EXPORT(real_to_prot):
        pushl   %eax
        
        /* Restore protected-mode GDT */
-       lgdt    %ds:OFFSET(pm_gdt)
+       data32 lgdt     %ds:OFFSET(pm_gdt)
 
        /* Switch to protected mode */
        movl    %cr0, %eax