Home
last modified time | relevance | path

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

/openbsd/src/sys/kern/
Dsubr_witness.c159 #define WITNESS_REVERSAL 0x10 /* A lock order reversal has been macro
912 !(w_rmatrix[i][i] & WITNESS_REVERSAL)) { in witness_checkorder()
913 w_rmatrix[i][i] |= WITNESS_REVERSAL; in witness_checkorder()
1006 if (w_rmatrix[w1->w_index][w->w_index] & WITNESS_REVERSAL) in witness_checkorder()
1010 w_rmatrix[w1->w_index][w->w_index] |= WITNESS_REVERSAL; in witness_checkorder()
1011 w_rmatrix[w->w_index][w1->w_index] |= WITNESS_REVERSAL; in witness_checkorder()
2222 if ((w_rmatrix[i][j] & WITNESS_REVERSAL) == 0 || i > j) in witness_print_badstacks()