Searched refs:instr_number (Results 1 – 1 of 1) sorted by relevance
562 unsigned instr_number, unsigned cur_dest_index) in print_instr() argument565 printf("%03d:", instr_number); in print_instr()