Searched refs:write_mp_options (Results 1 – 4 of 4) sorted by relevance
70 extern void write_mp_options (FILE *fp);
777 write_mp_options (fp);
850 write_mp_options (fp);
564 write_mp_options (FILE *fp) in write_mp_options() function