Symbol: WITNESS_REVERSAL
sys/kern/subr_witness.c
1011
if (w_rmatrix[w1->w_index][w->w_index] & WITNESS_REVERSAL)
sys/kern/subr_witness.c
1015
w_rmatrix[w1->w_index][w->w_index] |= WITNESS_REVERSAL;
sys/kern/subr_witness.c
1016
w_rmatrix[w->w_index][w1->w_index] |= WITNESS_REVERSAL;
sys/kern/subr_witness.c
2273
if ((w_rmatrix[i][j] & WITNESS_REVERSAL) == 0 || i > j)
sys/kern/subr_witness.c
917
!(w_rmatrix[i][i] & WITNESS_REVERSAL)) {
sys/kern/subr_witness.c
918
w_rmatrix[i][i] |= WITNESS_REVERSAL;