Searched refs:w_data (Results 1 – 1 of 1) sorted by relevance
471 static struct witness *w_data; variable805 w_data = (void *)p; in witness_startup()828 w = &w_data[i]; in witness_startup()830 w_data[i].w_index = i; /* Witness index never changes. */ in witness_startup()989 witness_ddb_level_descendants(&w_data[i], l); in witness_ddb_level_descendants()1020 witness_ddb_display_descendants(prnt, &w_data[i], in witness_ddb_display_descendants()1189 w1 = &w_data[from]; in sbuf_print_verbose_witness_chains()1190 w2 = &w_data[to]; in sbuf_print_verbose_witness_chains()1215 t->t_w1 = w_data[t->recursion_list[i]]; in sbuf_print_verbose_witness_chains()1253 if (isitmychild(&w_data[t->iter[recursion_count]], in sbuf_print_verbose_witness_chains()[all …]