write_file 131 include/mm.h void write_file (char *filename, char *text, size_t text_size); write_file 985 modules/mm/mm.c write_file(filename,text,text_size); write_file 131 modules/mm/mm.h void write_file (char *filename, char *text, size_t text_size);