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