ADDR_VSID_SHIFT
return ((vsid << ADDR_VSID_SHIFT) | (va & ADDR_PIDX));
(ADDR_VSID_SHIFT - PTE_VSID_SHIFT));
(va & ADDR_PIDX) >> (ADDR_VSID_SHIFT - PTE_VSID_SHIFT);
vpn = avpn << (ADDR_VSID_SHIFT - PTE_VSID_SHIFT - PAGE_SHIFT);