TTE_IS_VALID
if (TTE_IS_VALID(&tte)) {
if (TTE_IS_VALID(orig_old)) {
if (TTE_IS_VALID(cur)) {
if (TTE_IS_VALID(new)) {
if (TTE_IS_VALID(cur)) {
if (TTE_IS_VALID(new)) {
if (!TTE_IS_VALID(new)) {
remap = TTE_IS_VALID(&tteold);
ASSERT(TTE_IS_VALID(&sfhme->hme_tte));
if (!TTE_IS_VALID(&tteold)) {
if (TTE_IS_VALID(&tteold)) {
if (!TTE_IS_VALID(&tte)) {
if (!TTE_IS_VALID(&tte)) {
ASSERT(TTE_IS_VALID(&tte));
if (TTE_IS_VALID(&tte)) {
if (TTE_IS_VALID(&tte)) {
ASSERT(TTE_IS_VALID(ttep));
if (TTE_IS_VALID(&tte)) {
if (TTE_IS_VALID(&tte)) {
if (TTE_IS_VALID(&tte)) {
ASSERT(!TTE_IS_VALID(&dtte));
if (TTE_IS_VALID(&tte)) {
ASSERT(TTE_IS_VALID(ttep));
ASSERT(TTE_IS_VALID(&tte));
if (TTE_IS_VALID(&tte)) {
if (TTE_IS_VALID(&tte)) {
if (TTE_IS_VALID(&tte) && TTE_IS_WRITABLE(&tte)) {
if (TTE_IS_VALID(ttep)) {
if (TTE_IS_VALID(ttep) ||
if (TTE_IS_VALID(ttep)) {
ASSERT(TTE_IS_VALID(&tte));
ASSERT(TTE_IS_VALID(&tte));
ASSERT(TTE_IS_VALID(&tte));
if (va_tag && TTE_IS_VALID(&tte))
ASSERT(TTE_IS_VALID(&tte));