Symbol: MIDI_BUF_CONSUMER_REFRESH
sys/dev/midi.c
1002
MIDI_BUF_CONSUMER_REFRESH(mb,idx);
sys/dev/midi.c
1013
MIDI_BUF_CONSUMER_REFRESH(mb,idx); /* what'd we get? */
sys/dev/midi.c
1015
MIDI_BUF_CONSUMER_REFRESH(mb,buf);
sys/dev/midi.c
1231
MIDI_BUF_CONSUMER_REFRESH(mb,idx); /* any more to transmit? */
sys/dev/midi.c
1232
MIDI_BUF_CONSUMER_REFRESH(mb,buf);
sys/dev/midivar.h
141
MIDI_BUF_CONSUMER_REFRESH((mb),frk))