tree 490cfc91f4a07ae31e9cbef87c2a64dad742e2e0
parent ef6bea6ddf0e76077d0798e57b374015b23a837e
author Borislav Petkov <bp@suse.de> 1390045695 +0100
committer Matt Fleming <matt.fleming@intel.com> 1393949837 +0000

x86/efi: Dump the EFI page table

This is very useful for debugging issues with the recently added
pagetable switching code for EFI virtual mode.

Signed-off-by: Borislav Petkov <bp@suse.de>
Tested-by: Toshi Kani <toshi.kani@hp.com>
Signed-off-by: Matt Fleming <matt.fleming@intel.com>