sgdt 0x60(%rsp) # save GDT stack in argument space\r
movzwq 0x60(%rsp), %r10 # r10 <- GDT limit \r
lea ((ASM_PFX(InternalAsmThunk16) - SavedCr4) + 0xf)(%rcx), %r11 \r
- andl $0xfffffff0, r11 # r11 <- 16-byte aligned shadowed GDT table in real mode buffer \r
+ andq $0xfffffff0, %r11 # r11 <- 16-byte aligned shadowed GDT table in real mode buffer \r
\r
movw %r10w, (SavedGdt - SavedCr4)(%rcx) # save the limit of shadowed GDT table\r
movq %r11, (SavedGdt - SavedCr4 + 0x2)(%rcx) # save the base address of shadowed GDT table\r