Searched refs:efi_pgd (Results 1 – 2 of 2) sorted by relevance
206 pgd_t *pgd, *efi_pgd; in efi_alloc_page_tables() local215 efi_pgd = (pgd_t *)__get_free_pages(gfp_mask, PGD_ALLOCATION_ORDER); in efi_alloc_page_tables()216 if (!efi_pgd) in efi_alloc_page_tables()219 pgd = efi_pgd + pgd_index(EFI_VA_END); in efi_alloc_page_tables()222 free_page((unsigned long)efi_pgd); in efi_alloc_page_tables()230 free_pages((unsigned long)efi_pgd, PGD_ALLOCATION_ORDER); in efi_alloc_page_tables()234 efi_mm.pgd = efi_pgd; in efi_alloc_page_tables()250 pgd_t *efi_pgd = efi_mm.pgd; in efi_sync_low_kernel_mappings() local267 pgd_efi = efi_pgd + pgd_index(PAGE_OFFSET); in efi_sync_low_kernel_mappings()280 pgd_efi = efi_pgd + pgd_index(EFI_VA_END); in efi_sync_low_kernel_mappings()
68 We map EFI runtime services in the 'efi_pgd' PGD in a 64Gb large virtual
