pmap_pdpe_index
pdp_idx = pmap_pdpe_index(va);
} else if (pmap_pdpe_index(end) != pmap_pdpe_index(cur_addr)) {
j = pmap_pdpe_index(pg);
pdpe = (pdp_entry_t *)(*pml4e & PG_FRAME) + pmap_pdpe_index(KERNSTART);
pdpe = atomic_load_64(&pdp[pmap_pdpe_index(va)]);
pdpe = atomic_load_64(&pdp[pmap_pdpe_index(va)]);
return ((pdp_entry_t *)PHYS_TO_DMAP(mphys) + pmap_pdpe_index(va));
pdpe = (pdp_entry_t *)PHYS_TO_DMAP(mphys) + pmap_pdpe_index(va);
pdpe = (pdp_entry_t *)(*pml4e & PG_FRAME) + pmap_pdpe_index(va);
for (j = pmap_pdpe_index(sva); j < NPDPEPG; j++) {
return (&pdpe[pmap_pdpe_index(va)]);
kasankpdpi = pmap_pdpe_index(kasankernbase);
pdp = &pdp[pmap_pdpe_index(va)];
pdpe = &pdpe[pmap_pdpe_index(va)];