Searched refs:efi_pgd (Results 1 – 2 of 2) sorted by relevance
73 pgd_t *pgd, *efi_pgd; in efi_alloc_page_tables() local79 efi_pgd = (pgd_t *)__get_free_pages(gfp_mask, PGD_ALLOCATION_ORDER); in efi_alloc_page_tables()80 if (!efi_pgd) in efi_alloc_page_tables()83 pgd = efi_pgd + pgd_index(EFI_VA_END); in efi_alloc_page_tables()92 efi_mm.pgd = efi_pgd; in efi_alloc_page_tables()102 free_pages((unsigned long)efi_pgd, PGD_ALLOCATION_ORDER); in efi_alloc_page_tables()116 pgd_t *efi_pgd = efi_mm.pgd; in efi_sync_low_kernel_mappings() local118 pgd_efi = efi_pgd + pgd_index(PAGE_OFFSET); in efi_sync_low_kernel_mappings()124 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