hpte_old_to_new_r
rpte = hpte_old_to_new_r(vpte, rpte);
r = hpte_old_to_new_r(hpte[0], r);
ptel = hpte_old_to_new_r(pteh, ptel);
hpte_r = hpte_old_to_new_r(hpte_v, hpte_r);