aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux/midi.txt
diff options
context:
space:
mode:
authorAndrey Konovalov <andreyknvl@google.com>2019-02-01 01:08:17 +0100
committerAndrey Konovalov <andreyknvl@gmail.com>2019-02-01 14:40:17 +0100
commit9f528bbcc8a3d94c9be27a0eecc12022d4b3bfaa (patch)
tree59bcdb899b42ba9d793d5bbac6cf58a4a9132143 /sys/linux/midi.txt
parentaa53be276dc84aa8b3825b3416542447ff82b41a (diff)
sys/linux: rename dev descriptions files
Prefix file names of descriptions of /dev/* files with dev_. And give some of them more appropriate names.
Diffstat (limited to 'sys/linux/midi.txt')
-rw-r--r--sys/linux/midi.txt48
1 files changed, 0 insertions, 48 deletions
diff --git a/sys/linux/midi.txt b/sys/linux/midi.txt
deleted file mode 100644
index a1dcedf9d..000000000
--- a/sys/linux/midi.txt
+++ /dev/null
@@ -1,48 +0,0 @@
-# Copyright 2018 syzkaller project authors. All rights reserved.
-# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
-
-include <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
-
-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])
-ioctl$SNDRV_RAWMIDI_IOCTL_STATUS(fd fd_midi, cmd const[SNDRV_RAWMIDI_IOCTL_STATUS], arg ptr[inout, snd_rawmidi_status])
-ioctl$SNDRV_RAWMIDI_IOCTL_DROP(fd fd_midi, cmd const[SNDRV_RAWMIDI_IOCTL_DROP], arg ptr[in, int32])
-ioctl$SNDRV_RAWMIDI_IOCTL_DRAIN(fd fd_midi, cmd const[SNDRV_RAWMIDI_IOCTL_DRAIN], arg ptr[in, int32])
-
-snd_rawmidi_info_raw {
- device int32
- subdevice int32
- stream flags[sndrv_rawmidi_stream, int32]
- card int32
- flags flags[snd_rawmidi_info_flags, int32]
- id array[int8, 64]
- name array[int8, 80]
- subname array[int8, 32]
- subdevices_count int32
- subdevices_avail int32
- reserved array[const[0, int8], 64]
-}
-
-snd_rawmidi_params {
- stream flags[sndrv_rawmidi_stream, int32]
- buffer_size int32
- avail_min int32
- no_active_sensing int32
- reserved array[const[0, int8], 16]
-}
-
-snd_rawmidi_status {
- stream flags[sndrv_rawmidi_stream, int32]
- tstamp timespec
- avail int32
- xruns int32
- reserved array[const[0, int8], 16]
-}
-
-sndrv_rawmidi_stream = SNDRV_RAWMIDI_STREAM_OUTPUT, SNDRV_RAWMIDI_STREAM_INPUT, SNDRV_RAWMIDI_STREAM_LAST
-snd_rawmidi_info_flags = SNDRV_RAWMIDI_INFO_OUTPUT, SNDRV_RAWMIDI_INFO_INPUT, SNDRV_RAWMIDI_INFO_DUPLEX