HAT_ALLCTX_INVALID
SFMMU_FLAGS_SET(sfmmup, HAT_ALLCTX_INVALID);
ASSERT(SFMMU_FLAGS_ISSET(sfmmup, HAT_ALLCTX_INVALID));
sfmmup->sfmmu_flags = HAT_SWAPPED | HAT_ALLCTX_INVALID;
if (SFMMU_FLAGS_ISSET(sfmmup, HAT_ALLCTX_INVALID)) {
SFMMU_FLAGS_CLEAR(sfmmup, HAT_ALLCTX_INVALID);