Searched refs:efi_l0 (Results 1 – 1 of 1) sorted by relevance
61 static pd_entry_t *efi_l0; variable80 efi_l0 = NULL; in efi_destroy_1t1_map()102 l0 = &efi_l0[l0_idx]; in efi_1t1_l3()176 efi_l0 = (pd_entry_t *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(efi_l0_page)); in efi_create_1t1_map()