Searched refs:insn_processed (Results 1 – 1 of 1) sorted by relevance
1713 int insn_processed = 0; in do_check() local1732 if (++insn_processed > 32768) { in do_check()1734 insn_processed); in do_check()