SFMMU_FLAGS_CLEAR
SFMMU_FLAGS_CLEAR(sfmmup, HAT_ISMBUSY);
SFMMU_FLAGS_CLEAR(sfmmup, HAT_SWAPPED|HAT_SWAPIN);
SFMMU_FLAGS_CLEAR(sfmmup, HAT_SWAPPED|HAT_SWAPIN);
SFMMU_FLAGS_CLEAR(sfmmup, HAT_JOIN_SCD);
SFMMU_FLAGS_CLEAR(sfmmup, HAT_JOIN_SCD);
SFMMU_FLAGS_CLEAR(sfmmup, HAT_ISMBUSY);
SFMMU_FLAGS_CLEAR(sfmmup, HAT_ALLCTX_INVALID);
SFMMU_FLAGS_CLEAR(sfmmup, HAT_BUSY);
SFMMU_FLAGS_CLEAR(sfmmup, HAT_BUSY);
SFMMU_FLAGS_CLEAR(sfmmup, HAT_BUSY);