output_records 55 tools/firmware/ihex2fw.c static int output_records(int outfd); output_records 129 tools/firmware/ihex2fw.c return output_records(outfd);