diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-12-01 19:51:52 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-12-01 19:51:52 +0100 |
| commit | f879db37f90dcefb681897d2e486c11d8298cb72 (patch) | |
| tree | a7be12f5afc5be4d3b9078259411aedcc316ace7 /sys/linux/dev_snd_midi.txt | |
| parent | 5d12311f3a7d0a0a8d96000049611322a088ba4f (diff) | |
sys/linux: more device refinements
Add some mode /dev/nodes*
Add anoter midi device.
Diffstat (limited to 'sys/linux/dev_snd_midi.txt')
| -rw-r--r-- | sys/linux/dev_snd_midi.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/linux/dev_snd_midi.txt b/sys/linux/dev_snd_midi.txt index 0abb4e13b..a9fe2cabc 100644 --- a/sys/linux/dev_snd_midi.txt +++ b/sys/linux/dev_snd_midi.txt @@ -12,6 +12,7 @@ syz_open_dev$sndmidi(dev ptr[in, string["/dev/snd/midiC#D#"]], id intptr, flags syz_open_dev$dmmidi(dev ptr[in, string["/dev/dmmidi#"]], id intptr, flags flags[open_flags]) fd_midi syz_open_dev$admmidi(dev ptr[in, string["/dev/admmidi#"]], id intptr, flags flags[open_flags]) fd_midi syz_open_dev$amidi(dev ptr[in, string["/dev/amidi#"]], id intptr, flags flags[open_flags]) fd_midi +syz_open_dev$midi(dev ptr[in, string["/dev/midi#"]], id intptr, flags flags[open_flags]) fd_midi write$midi(fd fd_midi, data ptr[in, array[int8]], len bytesize[data]) read$midi(fd fd_midi, data ptr[out, array[int8]], len bytesize[data]) |