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