Searched refs:efi_l0_page (Results 1 – 1 of 1) sorted by relevance
165 vm_page_t efi_l0_page; in efi_create_1t1_map() local174 efi_l0_page = efi_1t1_page(); in efi_create_1t1_map()176 efi_l0 = (pd_entry_t *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(efi_l0_page)); in efi_create_1t1_map()178 VM_PAGE_TO_PHYS(efi_l0_page); in efi_create_1t1_map()