pmap_pml4e_index
pml4_idx = pmap_pml4e_index(va);
if (pmap_pml4e_index(end) != pmap_pml4e_index(cur_addr)) {
i = pmap_pml4e_index(pg);
pml4e = (pml4_entry_t *)cr3 + pmap_pml4e_index(KERNSTART);
ii = pmap_pml4e_index(va);
ii = pmap_pml4e_index(va);
pml4_idx = pmap_pml4e_index(va);
pml4_idx = pmap_pml4e_index(va);
pmap_pml4e_index(KASAN_MIN_ADDRESS + i * NBPML4);
pmap_pml4e_index(KMSAN_ORIG_MIN_ADDRESS +
pmap_pml4e_index(KMSAN_SHAD_MIN_ADDRESS +
pml4e = (pml4_entry_t *)cr3 + pmap_pml4e_index(va);
return (&pml4e[pmap_pml4e_index(va)]);
return (&pml4e[pmap_pml4e_index(va)]);
return (&pmap->pm_pmltopu[pmap_pml4e_index(va)]);
return (&pmap->pm_pmltop[pmap_pml4e_index(va)]);
pml4 = &pml4[pmap_pml4e_index(va)];
pml4index = pmap_pml4e_index(va);