Symbol: MIDI_BUF_PRODUCER_REFRESH
sys/dev/midi.c
1400
MIDI_BUF_PRODUCER_REFRESH(mb,idx); /* get the most */
sys/dev/midi.c
1401
MIDI_BUF_PRODUCER_REFRESH(mb,buf); /* current facts */
sys/dev/midi.c
1480
idxspace = MIDI_BUF_PRODUCER_REFRESH(mb,idx) - idx_cur;
sys/dev/midi.c
1481
bufspace = MIDI_BUF_PRODUCER_REFRESH(mb,buf) - buf_cur;
sys/dev/midivar.h
146
MIDI_BUF_PRODUCER_REFRESH((mb),frk))