__rpte_to_hidx
return !(hpte_soft_invalid(__rpte_to_hidx(rpte, index)));
hidx = __rpte_to_hidx(pte, index);
hidx = __rpte_to_hidx(rpte, subpg_index);