L1_IDX
pl1pd = &pm->pm_l1->l1_kva[L1_IDX(va)];
l1idx = L1_IDX(va);
l1idx = L1_IDX(va);
l1idx = L1_IDX(va);
pl1pd = &l1->l1_kva[L1_IDX(pmap_curmaxkvaddr)];
l1idx = L1_IDX(va);
pte = (pt_entry_t *) kernel_pt_lookup(pde[L1_IDX(va)] & L1_C_ADDR_MASK);
pde[L1_IDX(va)] & L1_C_ADDR_MASK);
l1idx = L1_IDX(va);
l1idx = L1_IDX(va);