Searched refs:efi_pmltop_page (Results 1 – 1 of 1) sorted by relevance
67 static vm_page_t efi_pmltop_page; variable87 efi_pmltop_page = NULL; in efi_destroy_1t1_map()192 efi_pmltop_page = efi_1t1_page(); in efi_create_1t1_map()194 pml = (void *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(efi_pmltop_page)); in efi_create_1t1_map()197 pmap_pinit_pml5(efi_pmltop_page); in efi_create_1t1_map()200 pmap_pinit_pml4(efi_pmltop_page); in efi_create_1t1_map()307 load_cr3(VM_PAGE_TO_PHYS(efi_pmltop_page) | (pmap_pcid_enabled ? in efi_arch_enter()