Searched refs:WITNESS_INDEX_ASSERT (Results 1 – 1 of 1) sorted by relevance
183 #define WITNESS_INDEX_ASSERT(i) \ macro1009 WITNESS_INDEX_ASSERT(w->w_index); in witness_ddb_display_descendants()1988 WITNESS_INDEX_ASSERT(pi); in adopt()1989 WITNESS_INDEX_ASSERT(ci); in adopt()2099 WITNESS_INDEX_ASSERT(i1); in _isitmyx()2100 WITNESS_INDEX_ASSERT(i2); in _isitmyx()2951 WITNESS_INDEX_ASSERT(w->w_index); in witness_add_fullgraph()3066 WITNESS_INDEX_ASSERT(key.from); in witness_lock_order_get()3067 WITNESS_INDEX_ASSERT(key.to); in witness_lock_order_get()3113 WITNESS_INDEX_ASSERT(key.from); in witness_lock_order_add()[all …]