Searched refs:wrtieee_header (Results 1 – 1 of 1) sorted by relevance
244 int wrtieee_header(unsigned int n, FILE *output);979 if (header && output_type == IEEE) wrtieee_header(i, dump_file); in main()984 if (header && output_type == IEEE) wrtieee_header(i, dump_file); in main()990 if (header && output_type == IEEE) wrtieee_header(i, dump_file); in main()995 if (header && output_type == IEEE) wrtieee_header(i, dump_file); in main()1614 int wrtieee_header(unsigned int n, FILE *output) { in wrtieee_header() function