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