Searched refs:efi_pgd (Results 1 – 2 of 2) sorted by relevance
209 pgd_t *pgd, *efi_pgd; in efi_alloc_page_tables() local218 efi_pgd = (pgd_t *)__get_free_pages(gfp_mask, PGD_ALLOCATION_ORDER); in efi_alloc_page_tables()219 if (!efi_pgd) in efi_alloc_page_tables()222 pgd = efi_pgd + pgd_index(EFI_VA_END); in efi_alloc_page_tables()225 free_page((unsigned long)efi_pgd); in efi_alloc_page_tables()233 free_pages((unsigned long)efi_pgd, PGD_ALLOCATION_ORDER); in efi_alloc_page_tables()237 efi_mm.pgd = efi_pgd; in efi_alloc_page_tables()253 pgd_t *efi_pgd = efi_mm.pgd; in efi_sync_low_kernel_mappings() local270 pgd_efi = efi_pgd + pgd_index(PAGE_OFFSET); in efi_sync_low_kernel_mappings()283 pgd_efi = efi_pgd + pgd_index(EFI_VA_END); in efi_sync_low_kernel_mappings()
147 We map EFI runtime services in the 'efi_pgd' PGD in a 64Gb large virtual
