FW_RI_TPTE_VALID_G
FW_RI_TPTE_VALID_G(ntohl(tpte.valid_to_pdid)),
FW_RI_TPTE_VALID_G(ntohl(tpte.valid_to_pdid))))