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