Symbol: playfile
usr.bin/midiplay/midiplay.c
808
playfile(stdin, "<stdin>");
usr.bin/midiplay/midiplay.c
815
playfile(f, *argv);
usr.bin/midiplay/midiplay.c
99
static void playfile(FILE *, const char *);