hpte_encode_avpn
v = hpte_encode_avpn(vpn, base_psize, ssize);
want_v = hpte_encode_avpn(vpn, bpsize, ssize);
want_v = hpte_encode_avpn(vpn, psize, ssize);
want_v = hpte_encode_avpn(vpn, bpsize, ssize);
want_v = hpte_encode_avpn(vpn, psize, ssize);
want_v = hpte_encode_avpn(vpn, psize, ssize);
want_v = hpte_encode_avpn(vpn, psize, ssize);
want_v = hpte_encode_avpn(vpn, psize, ssize);
want_v = hpte_encode_avpn(vpn, psize, ssize);
want_v = hpte_encode_avpn(vpn, psize, ssize);
param[0] = hpte_encode_avpn(vpn[i], psize, ssize);
param[pix+1] = hpte_encode_avpn(vpn[i], psize, ssize);
param[0] = hpte_encode_avpn(vpn, psize,
param[pix+1] = hpte_encode_avpn(vpn, psize,
want_v = hpte_encode_avpn(vpn, psize, ssize);
want_v = hpte_encode_avpn(vpn, psize, ssize);