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