Home
last modified time | relevance | path

Searched refs:WITNESS_REVERSAL (Results 1 – 1 of 1) sorted by relevance

/freebsd-9-stable/sys/kern/
Dsubr_witness.c172 #define WITNESS_REVERSAL 0x10 /* A lock order reversal has been macro
1169 !(w_rmatrix[i][i] & WITNESS_REVERSAL)) { in witness_checkorder()
1170 w_rmatrix[i][i] |= WITNESS_REVERSAL; in witness_checkorder()
1277 if (w_rmatrix[w1->w_index][w->w_index] & WITNESS_REVERSAL) in witness_checkorder()
1281 w_rmatrix[w1->w_index][w->w_index] |= WITNESS_REVERSAL; in witness_checkorder()
1282 w_rmatrix[w->w_index][w1->w_index] |= WITNESS_REVERSAL; in witness_checkorder()
2483 if ((w_rmatrix[i][j] & WITNESS_REVERSAL) == 0 || i > j) in sysctl_debug_witness_badstacks()