Searched refs:generate_arg32_record (Results 1 – 1 of 1) sorted by relevance
758 generate_arg32_record(const char *directory, const char *record_filename) in generate_arg32_record() function1141 generate_arg32_record(directory, "arg32_record"); in main()