TLB_CTX_F_ASM
KASSERT((TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_ASM) == 0);
if (TLB_CTX_FLAGS(tlbctx) & (TLB_CTX_F_ASM | TLB_CTX_F_MULTI)) {
TLB_CTX_SET_FLAG(tlbctx, TLB_CTX_F_ASM);
flags |= TLB_CTX_F_ASM;
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_ASM) {
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_ASM) {