Searched full:efi_pgd (Results 1 – 3 of 3) sorted by relevance
454 * Unmap them from efi_pgd before freeing them up. in efi_unmap_boot_services()787 * Address range 0x0000 - 0x0fff is always mapped in the efi_pgd, so in efi_crash_gracefully_on_page_fault()
772 * efi_pgd page table.777 * kernel page table into efi_pgd prior to each call.
166 We map EFI runtime services in the 'efi_pgd' PGD in a 64GB large virtual