Searched refs:witness_uninitialized_report (Results 1 – 1 of 1) sorted by relevance
401 int witness_uninitialized_report = 5; variable776 if (witness_uninitialized_report > 0) { in witness_checkorder()777 witness_uninitialized_report--; in witness_checkorder()