KCPC_CTX_INVALID_STOPPED
!(CPU->cpu_cpc_ctx->kc_flags & KCPC_CTX_INVALID_STOPPED)) {
ctx->kc_flags &= ~(KCPC_CTX_INVALID | KCPC_CTX_INVALID_STOPPED);
!(CPU->cpu_cpc_ctx->kc_flags & KCPC_CTX_INVALID_STOPPED)) {
!(curthread->t_cpc_ctx->kc_flags & KCPC_CTX_INVALID_STOPPED)) {
ASSERT(ctx->kc_flags & KCPC_CTX_INVALID_STOPPED);
} else if (ctx->kc_flags & KCPC_CTX_INVALID_STOPPED) {
if (ctx->kc_flags & KCPC_CTX_INVALID_STOPPED) {
if ((ctx->kc_flags & (KCPC_CTX_INVALID | KCPC_CTX_INVALID_STOPPED)) ==
KCPC_CTX_FLAG_SET(ctx, KCPC_CTX_INVALID_STOPPED);
if ((ctx->kc_flags & KCPC_CTX_INVALID_STOPPED) == 0) {
KCPC_CTX_INVALID | KCPC_CTX_INVALID_STOPPED);
(ctx->kc_flags & KCPC_CTX_INVALID_STOPPED) != 0) {
KCPC_CTX_FLAG_SET(ctx, KCPC_CTX_INVALID_STOPPED);
if (!(ctx->kc_flags & KCPC_CTX_INVALID_STOPPED))
if ((ctx->kc_flags & KCPC_CTX_INVALID_STOPPED) == 0)
ASSERT(ctx->kc_flags & KCPC_CTX_INVALID_STOPPED);
KCPC_CTX_INVALID | KCPC_CTX_INVALID_STOPPED);