HPTE_V_AVPN_VAL
avpn = HPTE_V_AVPN_VAL(vpte) & ~(((1ul << pshift) - 1) >> 23);
avpn = (HPTE_V_AVPN_VAL(hpte_v) & ~mmu_psize_defs[size].avpnm);
seq_printf(st->seq, "AVPN:%llx\t", HPTE_V_AVPN_VAL(v));