PDIR_L1_IDX
pdir = pdir_l1[PDIR_L1_IDX(va)];
j = PDIR_L1_IDX(va);
unsigned int pdir_l1_idx = PDIR_L1_IDX(va);
pdir_l1_idx = PDIR_L1_IDX(va);
pte = &(kernel_pmap->pm_root[PG_ROOT_IDX(va)][PDIR_L1_IDX(va)][PDIR_IDX(va)][PTBL_IDX(va)]);