ADDR_PIDX_SHFT
ADDR_PIDX_SHFT);
pvo->pvo_vpn = (uint64_t)((va & ADDR_PIDX) >> ADDR_PIDX_SHFT)
shift = ADDR_PIDX_SHFT;
return ((pvo->pvo_vpn >> (ADDR_API_SHFT64 - ADDR_PIDX_SHFT)) &
(16 - (ADDR_API_SHFT64 - ADDR_PIDX_SHFT)))
vpn <<= ADDR_PIDX_SHFT;
(ADDR_PIDX >> ADDR_PIDX_SHFT);
va = ((k >> 3) ^ va) & (ADDR_PIDX >> ADDR_PIDX_SHFT);
(ADDR_API_SHFT64 - ADDR_PIDX_SHFT);
((pvo->pvo_vpn >> (ADDR_API_SHFT64 - ADDR_PIDX_SHFT)) &
vsid = (old.pte_hi << (ADDR_API_SHFT64 - ADDR_PIDX_SHFT)) >> 28;
((pvo->pvo_vpn >> (ADDR_API_SHFT64 - ADDR_PIDX_SHFT)) &