|
@@ -242,3 +242,12 @@ void __init efi_runtime_mkexec(void)
|
|
|
if (__supported_pte_mask & _PAGE_NX)
|
|
|
runtime_code_page_mkexec();
|
|
|
}
|
|
|
+
|
|
|
+void __init efi_dump_pagetable(void)
|
|
|
+{
|
|
|
+#ifdef CONFIG_EFI_PGT_DUMP
|
|
|
+ pgd_t *pgd = (pgd_t *)__va(real_mode_header->trampoline_pgd);
|
|
|
+
|
|
|
+ ptdump_walk_pgd_level(NULL, pgd);
|
|
|
+#endif
|
|
|
+}
|