Searched refs:pdp_idx (Results 1 – 1 of 1) sorted by relevance
120 vm_pindex_t pml5_idx, pml4_idx, pdp_idx, pd_idx; in efi_1t1_pte() local149 pdp_idx = pmap_pdpe_index(va); in efi_1t1_pte()150 pdpe += pdp_idx; in efi_1t1_pte()