INVALID_CONTEXT
ctxtype == INVALID_CONTEXT);
if (ctxtype != INVALID_CONTEXT && traptype != T_DATA_PROT) {
} else if (ctxtype == INVALID_CONTEXT) {
if (cnum == INVALID_CONTEXT) {
sfmmup->sfmmu_ctxs[i].cnum = INVALID_CONTEXT;
(uint64_t)sfmmup, INVALID_CONTEXT);
(currcnum != INVALID_CONTEXT)) {
sfmmu_setctx_sec(INVALID_CONTEXT);
ASSERT(sfmmup->sfmmu_ctxs[mmu_ctxp->mmu_idx].cnum == INVALID_CONTEXT);
!= INVALID_CONTEXT)) {
scsfmmup->sfmmu_ctxs[i].cnum = INVALID_CONTEXT;
cnum = INVALID_CONTEXT;
sfmmu_setctx_sec(INVALID_CONTEXT);
!= INVALID_CONTEXT);
INVALID_CONTEXT, INVALID_CONTEXT);
if (sfmmu_getctx_sec() != INVALID_CONTEXT) {
sfmmu_setctx_sec(INVALID_CONTEXT);
if (cnum != INVALID_CONTEXT) {
ASSERT(curcnum == cnum || curcnum == INVALID_CONTEXT);
ASSERT(sfmmup->sfmmu_ctxs[i].cnum == INVALID_CONTEXT);
ASSERT(hat->sfmmu_ctxs[i].cnum == INVALID_CONTEXT);
if ((cnum < 0) || (cnum == INVALID_CONTEXT) ||
ASSERT(hat->sfmmu_ctxs[i].cnum == INVALID_CONTEXT);
m_info.mmu_ctx_sec = INVALID_CONTEXT;
ASSERT(sfmmup->sfmmu_ctxs[i].cnum == INVALID_CONTEXT);