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