TLB_CTX_F_IMB
TLB_CTX_SET_FLAG(tlbctx, TLB_CTX_F_IMB);
TLB_CTX_SET_FLAG(tlbctx, TLB_CTX_F_IMB);
flags |= TLB_CTX_F_IMB;
if (TLB_CTX_FLAGS(tlbctx) & (TLB_CTX_F_IMB | TLB_CTX_F_KIMB)) {
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_IMB) {
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_IMB) {