Searched refs:witness_count (Results 1 – 1 of 1) sorted by relevance
400 int witness_count = WITNESS_COUNT; variable489 witness_count); in witness_initialize()490 memset(w_data, 0, sizeof(struct witness) * witness_count); in witness_initialize()493 (witness_count + 1)); in witness_initialize()495 for (i = 0; i < witness_count + 1; i++) { in witness_initialize()497 sizeof(*w_rmatrix[i]) * (witness_count + 1)); in witness_initialize()499 (witness_count + 1)); in witness_initialize()503 for (i = witness_count - 1; i >= 0; i--) { in witness_initialize()516 for (i = 0; i < witness_count; i++) { in witness_initialize()518 (witness_count + 1)); in witness_initialize()[all …]