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