HAT_ISMBUSY
while (SFMMU_FLAGS_ISSET(sfmmup, HAT_ISMBUSY))
SFMMU_FLAGS_SET(sfmmup, HAT_ISMBUSY);
ASSERT(SFMMU_FLAGS_ISSET(sfmmup, HAT_ISMBUSY));
SFMMU_FLAGS_CLEAR(sfmmup, HAT_ISMBUSY);
if (SFMMU_FLAGS_ISSET(sfmmup, HAT_ISMBUSY)) {
!SFMMU_FLAGS_ISSET(sfmmup, HAT_ISMBUSY)) {
ASSERT(!SFMMU_FLAGS_ISSET(sfmmup, HAT_ISMBUSY));
SFMMU_FLAGS_ISSET(sfmmup, HAT_ISMBUSY));
while (SFMMU_FLAGS_ISSET(sfmmup, HAT_ISMBUSY) &&
SFMMU_FLAGS_SET(sfmmup, HAT_ISMBUSY);
ASSERT(SFMMU_FLAGS_ISSET(sfmmup, HAT_ISMBUSY));
SFMMU_FLAGS_CLEAR(sfmmup, HAT_ISMBUSY);
ASSERT(SFMMU_FLAGS_ISSET(sfmmup, HAT_ISMBUSY));