PDSHIFT86
for (va = KERNBASE, eva = va + (nkpde << PDSHIFT86);
for (va = KERNBASE, eva = va + (nkpde << PDSHIFT86); va < eva;
l2idx = ((va & PD_MASK86) >> PDSHIFT86);