HAT_256M_ISM
if (!SFMMU_FLAGS_ISSET(sfmmup, HAT_256M_ISM)) {
SFMMU_FLAGS_SET(sfmmup, HAT_256M_ISM);
!SFMMU_FLAGS_ISSET(hat, HAT_256M_ISM));
ASSERT(!SFMMU_FLAGS_ISSET(hat, HAT_256M_ISM) ||
SFMMU_FLAGS_ISSET(hat, HAT_256M_ISM)) {