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);