Searched refs:nr_insns_visited (Results 1 – 1 of 1) sorted by relevance
356 static unsigned long nr_insns_visited; variable3372 nr_insns_visited++; in validate_branch()4340 printf("nr_insns_visited: %ld\n", nr_insns_visited); in check()