HAT_256M_FLAG
ismhatflag = HAT_256M_FLAG;
!SFMMU_TTEFLAGS_ISSET(hat, HAT_256M_FLAG));
ASSERT(!SFMMU_TTEFLAGS_ISSET(hat, HAT_256M_FLAG) ||
} else if (SFMMU_TTEFLAGS_ISSET(hat, HAT_256M_FLAG) ||