/* This computes the AVPN and B fields of the first dword of a HPTE, for use when we want to match an existing PTE. The bottom 7 bits of the returned value are zero.  */
static unsigned long hpte_encode_avpn(unsigned long va, int psize, int ssize)
/* This computes the AVPN and B fields of the first dword of a HPTE, for use when we want to match an existing PTE. The bottom 7 bits of the returned value are zero.  */
static unsigned long hpte_encode_avpn(unsigned long va, int psize, int ssize)
{
	unsigned long v;
	v = (va >> 23) & ~(mmu_psize_defs[psize].avpnm);
	v <<= HPTE_V_AVPN_SHIFT;
	v |= ((unsigned long) ssize) << HPTE_V_SSIZE_SHIFT;
	return v;
}