PAR_PA_SHIFT
paddr_t pa = (__SHIFTOUT(par, PAR_PA) << PAR_PA_SHIFT) +
(va & __BITS(PAR_PA_SHIFT - 1, 0));
pa = (__SHIFTOUT(par, PAR_PA) << PAR_PA_SHIFT) +