aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux/dev_snd_midi.txt
diff options
context:
space:
mode:
Diffstat (limited to 'sys/linux/dev_snd_midi.txt')
-rw-r--r--sys/linux/dev_snd_midi.txt5
1 files changed, 5 insertions, 0 deletions
diff --git a/sys/linux/dev_snd_midi.txt b/sys/linux/dev_snd_midi.txt
index e0f339114..0abb4e13b 100644
--- a/sys/linux/dev_snd_midi.txt
+++ b/sys/linux/dev_snd_midi.txt
@@ -9,7 +9,12 @@ include <uapi/sound/asound.h>
resource fd_midi[fd]
syz_open_dev$sndmidi(dev ptr[in, string["/dev/snd/midiC#D#"]], id intptr, flags flags[open_flags]) fd_midi
+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
+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])
ioctl$SNDRV_RAWMIDI_IOCTL_PVERSION(fd fd_midi, cmd const[SNDRV_RAWMIDI_IOCTL_PVERSION], arg ptr[out, int32])
ioctl$SNDRV_RAWMIDI_IOCTL_INFO(fd fd_midi, cmd const[SNDRV_RAWMIDI_IOCTL_INFO], arg ptr[out, snd_rawmidi_info_raw])
ioctl$SNDRV_RAWMIDI_IOCTL_PARAMS(fd fd_midi, cmd const[SNDRV_RAWMIDI_IOCTL_PARAMS], arg ptr[inout, snd_rawmidi_params])