]> xenbits.xensource.com Git - xen.git/commit
x86/EFI: keep EFI runtime services top level page tables up-to-date
authorJan Beulich <jbeulich@suse.com>
Tue, 19 May 2015 09:35:30 +0000 (11:35 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 19 May 2015 09:39:09 +0000 (11:39 +0200)
commitdb83975f0fcd30370392ed288a7bd2420624ed4e
tree567ed99769d37dd64c96418657dafb27082bf9a6
parent0d7a599afff0665c74f328f6af85e556688d7908
x86/EFI: keep EFI runtime services top level page tables up-to-date

Updates to idle_pg_table[] need to be mirrored into the page tables
used for invoking EFI runtime services.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/efi/runtime.h
xen/arch/x86/efi/stub.c
xen/arch/x86/mm.c
xen/include/asm-x86/page.h