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