Searched refs:efi_l0_page (Results 1 – 1 of 1) sorted by relevance
168 vm_page_t efi_l0_page; in efi_create_1t1_map() local177 efi_l0_page = efi_1t1_page(); in efi_create_1t1_map()179 efi_l0 = (pd_entry_t *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(efi_l0_page)); in efi_create_1t1_map()181 VM_PAGE_TO_PHYS(efi_l0_page); in efi_create_1t1_map()