Searched refs:pdp_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() local143 pdp_idx = pmap_pdpe_index(va); in efi_1t1_pte()144 pdpe += pdp_idx; in efi_1t1_pte()