Searched refs:efi_pgd (Results 1 – 2 of 2) sorted by relevance
70 pgd_t *pgd, *efi_pgd; in efi_alloc_page_tables() local76 efi_pgd = (pgd_t *)__get_free_pages(gfp_mask, PGD_ALLOCATION_ORDER); in efi_alloc_page_tables()77 if (!efi_pgd) in efi_alloc_page_tables()80 pgd = efi_pgd + pgd_index(EFI_VA_END); in efi_alloc_page_tables()89 efi_mm.pgd = efi_pgd; in efi_alloc_page_tables()99 free_pages((unsigned long)efi_pgd, PGD_ALLOCATION_ORDER); in efi_alloc_page_tables()113 pgd_t *efi_pgd = efi_mm.pgd; in efi_sync_low_kernel_mappings() local115 pgd_efi = efi_pgd + pgd_index(PAGE_OFFSET); in efi_sync_low_kernel_mappings()121 pgd_efi = efi_pgd + pgd_index(EFI_VA_END); in efi_sync_low_kernel_mappings()
143 We map EFI runtime services in the 'efi_pgd' PGD in a 64GB large virtual