Searched refs:pdp_idx (Results 1 – 1 of 1) sorted by relevance
117 vm_pindex_t pml4_idx, pdp_idx, pd_idx; in efi_1t1_pte() local131 pdp_idx = pmap_pdpe_index(va); in efi_1t1_pte()132 pdpe += pdp_idx; in efi_1t1_pte()