TLB_CTX_FLAGS
KASSERT((TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_ASM) == 0);
if (TLB_CTX_FLAGS(tlbctx) & (TLB_CTX_F_ASM | TLB_CTX_F_MULTI)) {
if (__predict_false(TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_PV)) {
KASSERT((TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_PV) == 0);
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_PV) {
KASSERT(TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_PV);
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_ASM) {
if (TLB_CTX_FLAGS(tlbctx) & (TLB_CTX_F_IMB | TLB_CTX_F_KIMB)) {
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_KIMB) {
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_MULTI) {
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_ASM) {
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_IMB) {
if (TLB_CTX_FLAGS(tlbctx) & TLB_CTX_F_IMB) {