The missing piece was the setting up of an accessible GDT prior to switching page tables (and reverting to the original setting after having established the normal page tables again afterwards). Signed-off-by: Jan Beulich --- a/xen/arch/x86/efi/runtime.c +++ b/xen/arch/x86/efi/runtime.c @@ -43,6 +43,17 @@ unsigned long efi_rs_enter(void) /* prevent fixup_page_fault() from doing anything */ irq_enter(); + if ( !is_hvm_vcpu(current) && !is_idle_vcpu(current) ) + { + struct desc_ptr gdt_desc = { + .limit = LAST_RESERVED_GDT_BYTE, + .base = (unsigned long)(per_cpu(gdt_table, smp_processor_id()) - + FIRST_RESERVED_GDT_ENTRY) + }; + + asm volatile ( "lgdt %0" : : "m" (gdt_desc) ); + } + write_cr3(virt_to_maddr(efi_l4_pgtable)); return cr3; @@ -51,6 +62,15 @@ unsigned long efi_rs_enter(void) void efi_rs_leave(unsigned long cr3) { write_cr3(cr3); + if ( !is_hvm_vcpu(current) && !is_idle_vcpu(current) ) + { + struct desc_ptr gdt_desc = { + .limit = LAST_RESERVED_GDT_BYTE, + .base = GDT_VIRT_START(current) + }; + + asm volatile ( "lgdt %0" : : "m" (gdt_desc) ); + } irq_exit(); spin_unlock(&efi_rs_lock); }