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