Searched refs:pml5_idx (Results 1 – 1 of 1) sorted by relevance
114 vm_pindex_t pml5_idx, pml4_idx, pdp_idx, pd_idx; in efi_1t1_pte() local119 pml5_idx = pmap_pml5e_index(va); in efi_1t1_pte()120 pml5e = &efi_pml5[pml5_idx]; in efi_1t1_pte()