sys/linux: descriptions for /dev/sequencer

10 files changed, 846 insertions, 2 deletions

diff --git a/sys/linux/dev_sequencer.txt b/sys/linux/dev_sequencer.txt
new file mode 100644
index 000000000..b6ac19c2e
--- /dev/null
+++ b/sys/linux/dev_sequencer.txt
@@ -0,0 +1,212 @@
+# Copyright 2020 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 <uapi/asm/ioctl.h>
+include <uapi/linux/fcntl.h>
+include <uapi/linux/soundcard.h>
+include <sound/core/seq/oss/seq_oss_device.h>
+include <sound/asoundef.h>
+include <uapi/sound/sfnt_info.h>
+include <sound/core/seq/oss/seq_oss_event.h>
+
+resource fd_seq[fd]
+
+openat$sequencer(fd const[AT_FDCWD], file ptr[in, string["/dev/sequencer"]], flags flags[open_flags], mode const[0]) fd_seq
+openat$sequencer2(fd const[AT_FDCWD], file ptr[in, string["/dev/sequencer2"]], flags flags[open_flags], mode const[0]) fd_seq
+read$sequencer(fd fd_seq, buffer ptr[out, array[int8]], count bytesize[buffer])
+write$sequencer(fd fd_seq, buffer ptr[in, array[evrec_write]], count bytesize[buffer])
+
+define MIN_OSS_TEMPO	8
+define MAX_OSS_TEMPO	360
+define MIN_OSS_TIMEBASE	1
+define MAX_OSS_TIMEBASE	1000
+
+ioctl$SNDCTL_TMR_TIMEBASE(fd fd_seq, cmd const[SNDCTL_TMR_TIMEBASE], carg ptr[in, int32[MIN_OSS_TIMEBASE:MAX_OSS_TIMEBASE]])
+ioctl$SNDCTL_TMR_TEMPO(fd fd_seq, cmd const[SNDCTL_TMR_TEMPO], carg ptr[in, int32[MIN_OSS_TEMPO:MAX_OSS_TEMPO]])
+ioctl$SNDCTL_TMR_START(fd fd_seq, cmd const[SNDCTL_TMR_START])
+ioctl$SNDCTL_TMR_STOP(fd fd_seq, cmd const[SNDCTL_TMR_STOP])
+ioctl$SNDCTL_TMR_CONTINUE(fd fd_seq, cmd const[SNDCTL_TMR_CONTINUE])
+ioctl$SNDCTL_TMR_METRONOME(fd fd_seq, cmd const[SNDCTL_TMR_METRONOME])
+ioctl$SNDCTL_TMR_SOURCE(fd fd_seq, cmd const[SNDCTL_TMR_SOURCE])
+ioctl$SNDCTL_TMR_SELECT(fd fd_seq, cmd const[SNDCTL_TMR_SELECT])
+ioctl$SNDCTL_SEQ_CTRLRATE(fd fd_seq, cmd const[SNDCTL_SEQ_CTRLRATE], carg ptr[inout, int32])
+ioctl$SNDCTL_SEQ_PANIC(fd fd_seq, cmd const[SNDCTL_SEQ_PANIC])
+ioctl$SNDCTL_SEQ_SYNC(fd fd_seq, cmd const[SNDCTL_SEQ_SYNC])
+ioctl$SNDCTL_SEQ_RESET(fd fd_seq, cmd const[SNDCTL_SEQ_RESET])
+ioctl$SNDCTL_SEQ_TESTMIDI(fd fd_seq, cmd const[SNDCTL_SEQ_TESTMIDI], carg ptr[in, int32])
+ioctl$SNDCTL_SEQ_GETINCOUNT(fd fd_seq, cmd const[SNDCTL_SEQ_GETINCOUNT], carg ptr[out, int32])
+ioctl$SNDCTL_SEQ_GETOUTCOUNT(fd fd_seq, cmd const[SNDCTL_SEQ_GETOUTCOUNT], carg ptr[out, int32])
+ioctl$SNDCTL_SEQ_GETTIME(fd fd_seq, cmd const[SNDCTL_SEQ_GETTIME], carg ptr[out, int32])
+ioctl$SNDCTL_SEQ_RESETSAMPLES(fd fd_seq, cmd const[SNDCTL_SEQ_RESETSAMPLES], carg ptr[in, int32])
+ioctl$SNDCTL_SEQ_NRSYNTHS(fd fd_seq, cmd const[SNDCTL_SEQ_NRSYNTHS], carg ptr[out, int32])
+ioctl$SNDCTL_SEQ_NRMIDIS(fd fd_seq, cmd const[SNDCTL_SEQ_NRMIDIS], carg ptr[out, int32])
+ioctl$SNDCTL_SYNTH_MEMAVL(fd fd_seq, cmd const[SNDCTL_SYNTH_MEMAVL], carg ptr[inout, int32])
+ioctl$SNDCTL_FM_4OP_ENABLE(fd fd_seq, cmd const[SNDCTL_FM_4OP_ENABLE], carg ptr[in, int32])
+ioctl$SNDCTL_SYNTH_INFO(fd fd_seq, cmd const[SNDCTL_SYNTH_INFO], carg ptr[inout, synth_info])
+ioctl$SNDCTL_SYNTH_ID(fd fd_seq, cmd const[SNDCTL_SYNTH_ID], carg ptr[inout, synth_info])
+ioctl$SNDCTL_SEQ_OUTOFBAND(fd fd_seq, cmd const[SNDCTL_SEQ_OUTOFBAND], carg ptr[in, evrec])
+ioctl$SNDCTL_MIDI_INFO(fd fd_seq, cmd const[SNDCTL_MIDI_INFO], carg ptr[inout, midi_info])
+ioctl$SNDCTL_SEQ_THRESHOLD(fd fd_seq, cmd const[SNDCTL_SEQ_THRESHOLD], carg ptr[in, int32])
+ioctl$SNDCTL_MIDI_PRETIME(fd fd_seq, cmd const[SNDCTL_MIDI_PRETIME], carg ptr[inout, int32])
+ioctl$SNDCTL_FM_LOAD_INSTR(fd fd_seq, cmd const[SNDCTL_FM_LOAD_INSTR])
+
+synth_info {
+	name		array[int8, 30]
+	device		int32
+	synth_type	flags[synth_type_flags, int32]
+	synth_subtype	flags[synth_subtype_flags, int32]
+	perc_mode	int32
+	nr_voices	int32
+	nr_drums	int32
+	instr_bank_size	int32
+	capabilities	flags[capabilities_flags, int32]
+	dummies		array[int32, 19]
+}
+
+midi_info {
+	name		array[int8, 30]
+	device		int32
+	capabilities	int32
+	dev_type	int32
+	dummies		array[int32, 18]
+}
+
+evrec_write [
+	s	evrec_short
+	n	evrec_note
+	l	evrec_long
+	v	evrec_voice
+	t	evrec_timer
+	e	evrec_extended
+	x	evrec_sysex
+	echo	int32
+	raw	evrec_raw
+	generic	evrec_generic
+] [varlen]
+
+evrec [
+	s	evrec_short
+	n	evrec_note
+	l	evrec_long
+	v	evrec_voice
+	t	evrec_timer
+	e	evrec_extended
+	x	evrec_sysex
+	echo	int32
+	raw	evrec_raw
+	generic	evrec_generic
+]
+
+evrec_short {
+	code	const[SEQ_MIDIPUTC, int8]
+	parm1	evrec_short_parm1
+	dev	int8[0:SNDRV_SEQ_OSS_MAX_MIDI_DEVS]
+	parm2	int8
+}
+
+evrec_short_parm1 [
+	SEQ_MIDIPUTC	int8[MIDI_CMD_NOTE_OFF:MIDI_CMD_COMMON_RESET]
+	generic		int8
+]
+
+evrec_note {
+	code	flags[evrec_note_code, int8]
+	chn	int8
+	note	evrec_note_note
+	vel	int8
+}
+
+evrec_note_note [
+	SEQ_NOTEON	midi_note
+	generic		int8
+]
+
+midi_note [
+	note	int8[0:127]
+	special	const[255, int8]
+]
+
+evrec_timer {
+	code	flags[evrec_timer_code, int8]
+	cmd	flags[evrec_timer_cmd, int8]
+	dummy1	int8
+	dummy2	int8
+	time	evrec_timer_time
+}
+
+evrec_timer_time [
+	TMR_WAIT_ABS	const[0, int32]
+	generic		int32
+]
+
+evrec_extended {
+	code	const[SEQ_EXTENDED, int8]
+	cmd	flags[evrec_extended_cmd, int8]
+	dev	int8[0:15]
+	chn	int8
+	p1	evrec_extended_p1
+	p2	int8
+	p3	int8
+	p4	int8
+}
+
+evrec_extended_p1 [
+	SEQ_CONTROLLER	flags[evrec_extended_p1_flags, int8]
+	SEQ_NOTEON	midi_note
+	generic		int8
+]
+
+evrec_long {
+	code	const[EV_CHN_COMMON, int8]
+	dev	int8[0:15]
+	cmd	flags[evrec_long_cmd, int8]
+	chn	int8[0:31]
+	p1	int8
+	p2	int8
+	val	int16
+}
+
+evrec_voice {
+	code	const[EV_CHN_VOICE, int8]
+	dev	int8[0:15]
+	cmd	flags[evrec_voice_cmd, int8]
+	chn	int8[0:31]
+	note	evrec_voice_note
+	parm	int8
+	dummy	int16
+}
+
+evrec_voice_note [
+	MIDI_NOTEON	midi_note
+	generic		int8
+]
+
+evrec_sysex {
+	code	const[EV_SYSEX, int8]
+	dev	int8[0:15]
+	buf	array[int8, 6]
+}
+
+evrec_raw {
+	code	flags[evrec_raw_code, int8]
+	dev	int8[0:15]
+	arr	array[int8, 6]
+}
+
+evrec_generic {
+	code	flags[evrec_generic_flags, int8]
+}
+
+synth_type_flags = SYNTH_TYPE_FM, SYNTH_TYPE_SAMPLE, SYNTH_TYPE_MIDI
+synth_subtype_flags = FM_TYPE_ADLIB, FM_TYPE_OPL3, MIDI_TYPE_MPU401
+capabilities_flags = SYNTH_CAP_PERCMODE, SYNTH_CAP_OPL3, SYNTH_CAP_INPUT
+
+evrec_extended_cmd = SEQ_NOTEOFF, SEQ_NOTEON, SEQ_PGMCHANGE, SEQ_AFTERTOUCH, SEQ_BALANCE, SEQ_CONTROLLER, SEQ_VOLMODE
+evrec_extended_p1_flags = CTRL_PITCH_BENDER, CTRL_PITCH_BENDER_RANGE
+evrec_voice_cmd = MIDI_NOTEON, MIDI_NOTEOFF, MIDI_KEY_PRESSURE
+evrec_timer_code = EV_TIMING, SEQ_SYNCTIMER
+evrec_timer_cmd = TMR_ECHO, TMR_STOP, TMR_CONTINUE, TMR_TEMPO, TMR_WAIT_REL, TMR_WAIT_ABS, TMR_START
+evrec_long_cmd = MIDI_PGM_CHANGE, MIDI_CTL_CHANGE, MIDI_PITCH_BEND, MIDI_CHN_PRESSURE
+evrec_note_code = SEQ_NOTEOFF, SEQ_NOTEON, SEQ_PGMCHANGE
+evrec_generic_flags = EV_SEQ_LOCAL, SEQ_ECHO, SEQ_WAIT
+evrec_raw_code = SEQ_VOLMODE, SEQ_PRIVATE
diff --git a/sys/linux/dev_sequencer_386.const b/sys/linux/dev_sequencer_386.const
new file mode 100644
index 000000000..ce1daa98a
--- /dev/null
+++ b/sys/linux/dev_sequencer_386.const
@@ -0,0 +1,84 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+CTRL_PITCH_BENDER = 255
+CTRL_PITCH_BENDER_RANGE = 254
+EV_CHN_COMMON = 146
+EV_CHN_VOICE = 147
+EV_SEQ_LOCAL = 128
+EV_SYSEX = 148
+EV_TIMING = 129
+FM_TYPE_ADLIB = 0
+FM_TYPE_OPL3 = 1
+MAX_OSS_TEMPO = 360
+MAX_OSS_TIMEBASE = 1000
+MIDI_CHN_PRESSURE = 208
+MIDI_CMD_COMMON_RESET = 255
+MIDI_CMD_NOTE_OFF = 128
+MIDI_CTL_CHANGE = 176
+MIDI_KEY_PRESSURE = 160
+MIDI_NOTEOFF = 128
+MIDI_NOTEON = 144
+MIDI_PGM_CHANGE = 192
+MIDI_PITCH_BEND = 224
+MIDI_TYPE_MPU401 = 1025
+MIN_OSS_TEMPO = 8
+MIN_OSS_TIMEBASE = 1
+SEQ_AFTERTOUCH = 9
+SEQ_BALANCE = 11
+SEQ_CONTROLLER = 10
+SEQ_ECHO = 8
+SEQ_EXTENDED = 255
+SEQ_MIDIPUTC = 5
+SEQ_NOTEOFF = 0
+SEQ_NOTEON = 1
+SEQ_PGMCHANGE = 3
+SEQ_PRIVATE = 254
+SEQ_SYNCTIMER = 4
+SEQ_VOLMODE = 12
+SEQ_WAIT = 2
+SNDCTL_FM_4OP_ENABLE = 1074024719
+SNDCTL_FM_LOAD_INSTR = 1076384007
+SNDCTL_MIDI_INFO = 3228848396
+SNDCTL_MIDI_PRETIME = 3221515520
+SNDCTL_SEQ_CTRLRATE = 3221508355
+SNDCTL_SEQ_GETINCOUNT = 2147766533
+SNDCTL_SEQ_GETOUTCOUNT = 2147766532
+SNDCTL_SEQ_GETTIME = 2147766547
+SNDCTL_SEQ_NRMIDIS = 2147766539
+SNDCTL_SEQ_NRSYNTHS = 2147766538
+SNDCTL_SEQ_OUTOFBAND = 1074286866
+SNDCTL_SEQ_PANIC = 20753
+SNDCTL_SEQ_RESET = 20736
+SNDCTL_SEQ_RESETSAMPLES = 1074024713
+SNDCTL_SEQ_SYNC = 20737
+SNDCTL_SEQ_TESTMIDI = 1074024712
+SNDCTL_SEQ_THRESHOLD = 1074024717
+SNDCTL_SYNTH_ID = 3230421268
+SNDCTL_SYNTH_INFO = 3230421250
+SNDCTL_SYNTH_MEMAVL = 3221508366
+SNDCTL_TMR_CONTINUE = 21508
+SNDCTL_TMR_METRONOME = 1074025479
+SNDCTL_TMR_SELECT = 1074025480
+SNDCTL_TMR_SOURCE = 3221509126
+SNDCTL_TMR_START = 21506
+SNDCTL_TMR_STOP = 21507
+SNDCTL_TMR_TEMPO = 3221509125
+SNDCTL_TMR_TIMEBASE = 3221509121
+SNDRV_SEQ_OSS_MAX_MIDI_DEVS = 32
+SYNTH_CAP_INPUT = 4
+SYNTH_CAP_OPL3 = 2
+SYNTH_CAP_PERCMODE = 1
+SYNTH_TYPE_FM = 0
+SYNTH_TYPE_MIDI = 2
+SYNTH_TYPE_SAMPLE = 1
+TMR_CONTINUE = 5
+TMR_ECHO = 8
+TMR_START = 4
+TMR_STOP = 3
+TMR_TEMPO = 6
+TMR_WAIT_ABS = 2
+TMR_WAIT_REL = 1
+__NR_ioctl = 54
+__NR_openat = 295
+__NR_read = 3
+__NR_write = 4
diff --git a/sys/linux/dev_sequencer_amd64.const b/sys/linux/dev_sequencer_amd64.const
new file mode 100644
index 000000000..e4af1940f
--- /dev/null
+++ b/sys/linux/dev_sequencer_amd64.const
@@ -0,0 +1,84 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+CTRL_PITCH_BENDER = 255
+CTRL_PITCH_BENDER_RANGE = 254
+EV_CHN_COMMON = 146
+EV_CHN_VOICE = 147
+EV_SEQ_LOCAL = 128
+EV_SYSEX = 148
+EV_TIMING = 129
+FM_TYPE_ADLIB = 0
+FM_TYPE_OPL3 = 1
+MAX_OSS_TEMPO = 360
+MAX_OSS_TIMEBASE = 1000
+MIDI_CHN_PRESSURE = 208
+MIDI_CMD_COMMON_RESET = 255
+MIDI_CMD_NOTE_OFF = 128
+MIDI_CTL_CHANGE = 176
+MIDI_KEY_PRESSURE = 160
+MIDI_NOTEOFF = 128
+MIDI_NOTEON = 144
+MIDI_PGM_CHANGE = 192
+MIDI_PITCH_BEND = 224
+MIDI_TYPE_MPU401 = 1025
+MIN_OSS_TEMPO = 8
+MIN_OSS_TIMEBASE = 1
+SEQ_AFTERTOUCH = 9
+SEQ_BALANCE = 11
+SEQ_CONTROLLER = 10
+SEQ_ECHO = 8
+SEQ_EXTENDED = 255
+SEQ_MIDIPUTC = 5
+SEQ_NOTEOFF = 0
+SEQ_NOTEON = 1
+SEQ_PGMCHANGE = 3
+SEQ_PRIVATE = 254
+SEQ_SYNCTIMER = 4
+SEQ_VOLMODE = 12
+SEQ_WAIT = 2
+SNDCTL_FM_4OP_ENABLE = 1074024719
+SNDCTL_FM_LOAD_INSTR = 1076384007
+SNDCTL_MIDI_INFO = 3228848396
+SNDCTL_MIDI_PRETIME = 3221515520
+SNDCTL_SEQ_CTRLRATE = 3221508355
+SNDCTL_SEQ_GETINCOUNT = 2147766533
+SNDCTL_SEQ_GETOUTCOUNT = 2147766532
+SNDCTL_SEQ_GETTIME = 2147766547
+SNDCTL_SEQ_NRMIDIS = 2147766539
+SNDCTL_SEQ_NRSYNTHS = 2147766538
+SNDCTL_SEQ_OUTOFBAND = 1074286866
+SNDCTL_SEQ_PANIC = 20753
+SNDCTL_SEQ_RESET = 20736
+SNDCTL_SEQ_RESETSAMPLES = 1074024713
+SNDCTL_SEQ_SYNC = 20737
+SNDCTL_SEQ_TESTMIDI = 1074024712
+SNDCTL_SEQ_THRESHOLD = 1074024717
+SNDCTL_SYNTH_ID = 3230421268
+SNDCTL_SYNTH_INFO = 3230421250
+SNDCTL_SYNTH_MEMAVL = 3221508366
+SNDCTL_TMR_CONTINUE = 21508
+SNDCTL_TMR_METRONOME = 1074025479
+SNDCTL_TMR_SELECT = 1074025480
+SNDCTL_TMR_SOURCE = 3221509126
+SNDCTL_TMR_START = 21506
+SNDCTL_TMR_STOP = 21507
+SNDCTL_TMR_TEMPO = 3221509125
+SNDCTL_TMR_TIMEBASE = 3221509121
+SNDRV_SEQ_OSS_MAX_MIDI_DEVS = 32
+SYNTH_CAP_INPUT = 4
+SYNTH_CAP_OPL3 = 2
+SYNTH_CAP_PERCMODE = 1
+SYNTH_TYPE_FM = 0
+SYNTH_TYPE_MIDI = 2
+SYNTH_TYPE_SAMPLE = 1
+TMR_CONTINUE = 5
+TMR_ECHO = 8
+TMR_START = 4
+TMR_STOP = 3
+TMR_TEMPO = 6
+TMR_WAIT_ABS = 2
+TMR_WAIT_REL = 1
+__NR_ioctl = 16
+__NR_openat = 257
+__NR_read = 0
+__NR_write = 1
diff --git a/sys/linux/dev_sequencer_arm.const b/sys/linux/dev_sequencer_arm.const
new file mode 100644
index 000000000..227502a07
--- /dev/null
+++ b/sys/linux/dev_sequencer_arm.const
@@ -0,0 +1,84 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+CTRL_PITCH_BENDER = 255
+CTRL_PITCH_BENDER_RANGE = 254
+EV_CHN_COMMON = 146
+EV_CHN_VOICE = 147
+EV_SEQ_LOCAL = 128
+EV_SYSEX = 148
+EV_TIMING = 129
+FM_TYPE_ADLIB = 0
+FM_TYPE_OPL3 = 1
+MAX_OSS_TEMPO = 360
+MAX_OSS_TIMEBASE = 1000
+MIDI_CHN_PRESSURE = 208
+MIDI_CMD_COMMON_RESET = 255
+MIDI_CMD_NOTE_OFF = 128
+MIDI_CTL_CHANGE = 176
+MIDI_KEY_PRESSURE = 160
+MIDI_NOTEOFF = 128
+MIDI_NOTEON = 144
+MIDI_PGM_CHANGE = 192
+MIDI_PITCH_BEND = 224
+MIDI_TYPE_MPU401 = 1025
+MIN_OSS_TEMPO = 8
+MIN_OSS_TIMEBASE = 1
+SEQ_AFTERTOUCH = 9
+SEQ_BALANCE = 11
+SEQ_CONTROLLER = 10
+SEQ_ECHO = 8
+SEQ_EXTENDED = 255
+SEQ_MIDIPUTC = 5
+SEQ_NOTEOFF = 0
+SEQ_NOTEON = 1
+SEQ_PGMCHANGE = 3
+SEQ_PRIVATE = 254
+SEQ_SYNCTIMER = 4
+SEQ_VOLMODE = 12
+SEQ_WAIT = 2
+SNDCTL_FM_4OP_ENABLE = 1074024719
+SNDCTL_FM_LOAD_INSTR = 1076384007
+SNDCTL_MIDI_INFO = 3228848396
+SNDCTL_MIDI_PRETIME = 3221515520
+SNDCTL_SEQ_CTRLRATE = 3221508355
+SNDCTL_SEQ_GETINCOUNT = 2147766533
+SNDCTL_SEQ_GETOUTCOUNT = 2147766532
+SNDCTL_SEQ_GETTIME = 2147766547
+SNDCTL_SEQ_NRMIDIS = 2147766539
+SNDCTL_SEQ_NRSYNTHS = 2147766538
+SNDCTL_SEQ_OUTOFBAND = 1074286866
+SNDCTL_SEQ_PANIC = 20753
+SNDCTL_SEQ_RESET = 20736
+SNDCTL_SEQ_RESETSAMPLES = 1074024713
+SNDCTL_SEQ_SYNC = 20737
+SNDCTL_SEQ_TESTMIDI = 1074024712
+SNDCTL_SEQ_THRESHOLD = 1074024717
+SNDCTL_SYNTH_ID = 3230421268
+SNDCTL_SYNTH_INFO = 3230421250
+SNDCTL_SYNTH_MEMAVL = 3221508366
+SNDCTL_TMR_CONTINUE = 21508
+SNDCTL_TMR_METRONOME = 1074025479
+SNDCTL_TMR_SELECT = 1074025480
+SNDCTL_TMR_SOURCE = 3221509126
+SNDCTL_TMR_START = 21506
+SNDCTL_TMR_STOP = 21507
+SNDCTL_TMR_TEMPO = 3221509125
+SNDCTL_TMR_TIMEBASE = 3221509121
+SNDRV_SEQ_OSS_MAX_MIDI_DEVS = 32
+SYNTH_CAP_INPUT = 4
+SYNTH_CAP_OPL3 = 2
+SYNTH_CAP_PERCMODE = 1
+SYNTH_TYPE_FM = 0
+SYNTH_TYPE_MIDI = 2
+SYNTH_TYPE_SAMPLE = 1
+TMR_CONTINUE = 5
+TMR_ECHO = 8
+TMR_START = 4
+TMR_STOP = 3
+TMR_TEMPO = 6
+TMR_WAIT_ABS = 2
+TMR_WAIT_REL = 1
+__NR_ioctl = 54
+__NR_openat = 322
+__NR_read = 3
+__NR_write = 4
diff --git a/sys/linux/dev_sequencer_arm64.const b/sys/linux/dev_sequencer_arm64.const
new file mode 100644
index 000000000..566f7eda6
--- /dev/null
+++ b/sys/linux/dev_sequencer_arm64.const
@@ -0,0 +1,84 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+CTRL_PITCH_BENDER = 255
+CTRL_PITCH_BENDER_RANGE = 254
+EV_CHN_COMMON = 146
+EV_CHN_VOICE = 147
+EV_SEQ_LOCAL = 128
+EV_SYSEX = 148
+EV_TIMING = 129
+FM_TYPE_ADLIB = 0
+FM_TYPE_OPL3 = 1
+MAX_OSS_TEMPO = 360
+MAX_OSS_TIMEBASE = 1000
+MIDI_CHN_PRESSURE = 208
+MIDI_CMD_COMMON_RESET = 255
+MIDI_CMD_NOTE_OFF = 128
+MIDI_CTL_CHANGE = 176
+MIDI_KEY_PRESSURE = 160
+MIDI_NOTEOFF = 128
+MIDI_NOTEON = 144
+MIDI_PGM_CHANGE = 192
+MIDI_PITCH_BEND = 224
+MIDI_TYPE_MPU401 = 1025
+MIN_OSS_TEMPO = 8
+MIN_OSS_TIMEBASE = 1
+SEQ_AFTERTOUCH = 9
+SEQ_BALANCE = 11
+SEQ_CONTROLLER = 10
+SEQ_ECHO = 8
+SEQ_EXTENDED = 255
+SEQ_MIDIPUTC = 5
+SEQ_NOTEOFF = 0
+SEQ_NOTEON = 1
+SEQ_PGMCHANGE = 3
+SEQ_PRIVATE = 254
+SEQ_SYNCTIMER = 4
+SEQ_VOLMODE = 12
+SEQ_WAIT = 2
+SNDCTL_FM_4OP_ENABLE = 1074024719
+SNDCTL_FM_LOAD_INSTR = 1076384007
+SNDCTL_MIDI_INFO = 3228848396
+SNDCTL_MIDI_PRETIME = 3221515520
+SNDCTL_SEQ_CTRLRATE = 3221508355
+SNDCTL_SEQ_GETINCOUNT = 2147766533
+SNDCTL_SEQ_GETOUTCOUNT = 2147766532
+SNDCTL_SEQ_GETTIME = 2147766547
+SNDCTL_SEQ_NRMIDIS = 2147766539
+SNDCTL_SEQ_NRSYNTHS = 2147766538
+SNDCTL_SEQ_OUTOFBAND = 1074286866
+SNDCTL_SEQ_PANIC = 20753
+SNDCTL_SEQ_RESET = 20736
+SNDCTL_SEQ_RESETSAMPLES = 1074024713
+SNDCTL_SEQ_SYNC = 20737
+SNDCTL_SEQ_TESTMIDI = 1074024712
+SNDCTL_SEQ_THRESHOLD = 1074024717
+SNDCTL_SYNTH_ID = 3230421268
+SNDCTL_SYNTH_INFO = 3230421250
+SNDCTL_SYNTH_MEMAVL = 3221508366
+SNDCTL_TMR_CONTINUE = 21508
+SNDCTL_TMR_METRONOME = 1074025479
+SNDCTL_TMR_SELECT = 1074025480
+SNDCTL_TMR_SOURCE = 3221509126
+SNDCTL_TMR_START = 21506
+SNDCTL_TMR_STOP = 21507
+SNDCTL_TMR_TEMPO = 3221509125
+SNDCTL_TMR_TIMEBASE = 3221509121
+SNDRV_SEQ_OSS_MAX_MIDI_DEVS = 32
+SYNTH_CAP_INPUT = 4
+SYNTH_CAP_OPL3 = 2
+SYNTH_CAP_PERCMODE = 1
+SYNTH_TYPE_FM = 0
+SYNTH_TYPE_MIDI = 2
+SYNTH_TYPE_SAMPLE = 1
+TMR_CONTINUE = 5
+TMR_ECHO = 8
+TMR_START = 4
+TMR_STOP = 3
+TMR_TEMPO = 6
+TMR_WAIT_ABS = 2
+TMR_WAIT_REL = 1
+__NR_ioctl = 29
+__NR_openat = 56
+__NR_read = 63
+__NR_write = 64
diff --git a/sys/linux/dev_sequencer_mips64le.const b/sys/linux/dev_sequencer_mips64le.const
new file mode 100644
index 000000000..0abe7a076
--- /dev/null
+++ b/sys/linux/dev_sequencer_mips64le.const
@@ -0,0 +1,46 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+FM_TYPE_ADLIB = 0
+FM_TYPE_OPL3 = 1
+MIDI_TYPE_MPU401 = 1025
+SAMPLE_TYPE_BASIC = 16
+SAMPLE_TYPE_GUS = 16
+SAMPLE_TYPE_WAVEFRONT = 17
+SNDCTL_FM_4OP_ENABLE = 2147766543
+SNDCTL_FM_LOAD_INSTR = 2150125831
+SNDCTL_MIDI_INFO = 3228848396
+SNDCTL_MIDI_PRETIME = 3221515520
+SNDCTL_SEQ_CTRLRATE = 3221508355
+SNDCTL_SEQ_GETINCOUNT = 1074024709
+SNDCTL_SEQ_GETOUTCOUNT = 1074024708
+SNDCTL_SEQ_GETTIME = 1074024723
+SNDCTL_SEQ_NRMIDIS = 1074024715
+SNDCTL_SEQ_NRSYNTHS = 1074024714
+SNDCTL_SEQ_OUTOFBAND = 2148028690
+SNDCTL_SEQ_PANIC = 536891665
+SNDCTL_SEQ_RESET = 536891648
+SNDCTL_SEQ_RESETSAMPLES = 2147766537
+SNDCTL_SEQ_SYNC = 536891649
+SNDCTL_SEQ_TESTMIDI = 2147766536
+SNDCTL_SEQ_THRESHOLD = 2147766541
+SNDCTL_SYNTH_ID = 3230421268
+SNDCTL_SYNTH_INFO = 3230421250
+SNDCTL_SYNTH_MEMAVL = 3221508366
+SNDCTL_TMR_CONTINUE = 536892420
+SNDCTL_TMR_METRONOME = 2147767303
+SNDCTL_TMR_SELECT = 2147767304
+SNDCTL_TMR_SOURCE = 3221509126
+SNDCTL_TMR_START = 536892418
+SNDCTL_TMR_STOP = 536892419
+SNDCTL_TMR_TEMPO = 3221509125
+SNDCTL_TMR_TIMEBASE = 3221509121
+SYNTH_CAP_INPUT = 4
+SYNTH_CAP_OPL3 = 2
+SYNTH_CAP_PERCMODE = 1
+SYNTH_TYPE_FM = 0
+SYNTH_TYPE_MIDI = 2
+SYNTH_TYPE_SAMPLE = 1
+__NR_ioctl = 5015
+__NR_openat = 5247
+__NR_read = 5000
+__NR_write = 5001
diff --git a/sys/linux/dev_sequencer_ppc64le.const b/sys/linux/dev_sequencer_ppc64le.const
new file mode 100644
index 000000000..6e2f62544
--- /dev/null
+++ b/sys/linux/dev_sequencer_ppc64le.const
@@ -0,0 +1,84 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+CTRL_PITCH_BENDER = 255
+CTRL_PITCH_BENDER_RANGE = 254
+EV_CHN_COMMON = 146
+EV_CHN_VOICE = 147
+EV_SEQ_LOCAL = 128
+EV_SYSEX = 148
+EV_TIMING = 129
+FM_TYPE_ADLIB = 0
+FM_TYPE_OPL3 = 1
+MAX_OSS_TEMPO = 360
+MAX_OSS_TIMEBASE = 1000
+MIDI_CHN_PRESSURE = 208
+MIDI_CMD_COMMON_RESET = 255
+MIDI_CMD_NOTE_OFF = 128
+MIDI_CTL_CHANGE = 176
+MIDI_KEY_PRESSURE = 160
+MIDI_NOTEOFF = 128
+MIDI_NOTEON = 144
+MIDI_PGM_CHANGE = 192
+MIDI_PITCH_BEND = 224
+MIDI_TYPE_MPU401 = 1025
+MIN_OSS_TEMPO = 8
+MIN_OSS_TIMEBASE = 1
+SEQ_AFTERTOUCH = 9
+SEQ_BALANCE = 11
+SEQ_CONTROLLER = 10
+SEQ_ECHO = 8
+SEQ_EXTENDED = 255
+SEQ_MIDIPUTC = 5
+SEQ_NOTEOFF = 0
+SEQ_NOTEON = 1
+SEQ_PGMCHANGE = 3
+SEQ_PRIVATE = 254
+SEQ_SYNCTIMER = 4
+SEQ_VOLMODE = 12
+SEQ_WAIT = 2
+SNDCTL_FM_4OP_ENABLE = 2147766543
+SNDCTL_FM_LOAD_INSTR = 2150125831
+SNDCTL_MIDI_INFO = 3228848396
+SNDCTL_MIDI_PRETIME = 3221515520
+SNDCTL_SEQ_CTRLRATE = 3221508355
+SNDCTL_SEQ_GETINCOUNT = 1074024709
+SNDCTL_SEQ_GETOUTCOUNT = 1074024708
+SNDCTL_SEQ_GETTIME = 1074024723
+SNDCTL_SEQ_NRMIDIS = 1074024715
+SNDCTL_SEQ_NRSYNTHS = 1074024714
+SNDCTL_SEQ_OUTOFBAND = 2148028690
+SNDCTL_SEQ_PANIC = 536891665
+SNDCTL_SEQ_RESET = 536891648
+SNDCTL_SEQ_RESETSAMPLES = 2147766537
+SNDCTL_SEQ_SYNC = 536891649
+SNDCTL_SEQ_TESTMIDI = 2147766536
+SNDCTL_SEQ_THRESHOLD = 2147766541
+SNDCTL_SYNTH_ID = 3230421268
+SNDCTL_SYNTH_INFO = 3230421250
+SNDCTL_SYNTH_MEMAVL = 3221508366
+SNDCTL_TMR_CONTINUE = 536892420
+SNDCTL_TMR_METRONOME = 2147767303
+SNDCTL_TMR_SELECT = 2147767304
+SNDCTL_TMR_SOURCE = 3221509126
+SNDCTL_TMR_START = 536892418
+SNDCTL_TMR_STOP = 536892419
+SNDCTL_TMR_TEMPO = 3221509125
+SNDCTL_TMR_TIMEBASE = 3221509121
+SNDRV_SEQ_OSS_MAX_MIDI_DEVS = 32
+SYNTH_CAP_INPUT = 4
+SYNTH_CAP_OPL3 = 2
+SYNTH_CAP_PERCMODE = 1
+SYNTH_TYPE_FM = 0
+SYNTH_TYPE_MIDI = 2
+SYNTH_TYPE_SAMPLE = 1
+TMR_CONTINUE = 5
+TMR_ECHO = 8
+TMR_START = 4
+TMR_STOP = 3
+TMR_TEMPO = 6
+TMR_WAIT_ABS = 2
+TMR_WAIT_REL = 1
+__NR_ioctl = 54
+__NR_openat = 286
+__NR_read = 3
+__NR_write = 4
diff --git a/sys/linux/dev_sequencer_riscv64.const b/sys/linux/dev_sequencer_riscv64.const
new file mode 100644
index 000000000..566f7eda6
--- /dev/null
+++ b/sys/linux/dev_sequencer_riscv64.const
@@ -0,0 +1,84 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+CTRL_PITCH_BENDER = 255
+CTRL_PITCH_BENDER_RANGE = 254
+EV_CHN_COMMON = 146
+EV_CHN_VOICE = 147
+EV_SEQ_LOCAL = 128
+EV_SYSEX = 148
+EV_TIMING = 129
+FM_TYPE_ADLIB = 0
+FM_TYPE_OPL3 = 1
+MAX_OSS_TEMPO = 360
+MAX_OSS_TIMEBASE = 1000
+MIDI_CHN_PRESSURE = 208
+MIDI_CMD_COMMON_RESET = 255
+MIDI_CMD_NOTE_OFF = 128
+MIDI_CTL_CHANGE = 176
+MIDI_KEY_PRESSURE = 160
+MIDI_NOTEOFF = 128
+MIDI_NOTEON = 144
+MIDI_PGM_CHANGE = 192
+MIDI_PITCH_BEND = 224
+MIDI_TYPE_MPU401 = 1025
+MIN_OSS_TEMPO = 8
+MIN_OSS_TIMEBASE = 1
+SEQ_AFTERTOUCH = 9
+SEQ_BALANCE = 11
+SEQ_CONTROLLER = 10
+SEQ_ECHO = 8
+SEQ_EXTENDED = 255
+SEQ_MIDIPUTC = 5
+SEQ_NOTEOFF = 0
+SEQ_NOTEON = 1
+SEQ_PGMCHANGE = 3
+SEQ_PRIVATE = 254
+SEQ_SYNCTIMER = 4
+SEQ_VOLMODE = 12
+SEQ_WAIT = 2
+SNDCTL_FM_4OP_ENABLE = 1074024719
+SNDCTL_FM_LOAD_INSTR = 1076384007
+SNDCTL_MIDI_INFO = 3228848396
+SNDCTL_MIDI_PRETIME = 3221515520
+SNDCTL_SEQ_CTRLRATE = 3221508355
+SNDCTL_SEQ_GETINCOUNT = 2147766533
+SNDCTL_SEQ_GETOUTCOUNT = 2147766532
+SNDCTL_SEQ_GETTIME = 2147766547
+SNDCTL_SEQ_NRMIDIS = 2147766539
+SNDCTL_SEQ_NRSYNTHS = 2147766538
+SNDCTL_SEQ_OUTOFBAND = 1074286866
+SNDCTL_SEQ_PANIC = 20753
+SNDCTL_SEQ_RESET = 20736
+SNDCTL_SEQ_RESETSAMPLES = 1074024713
+SNDCTL_SEQ_SYNC = 20737
+SNDCTL_SEQ_TESTMIDI = 1074024712
+SNDCTL_SEQ_THRESHOLD = 1074024717
+SNDCTL_SYNTH_ID = 3230421268
+SNDCTL_SYNTH_INFO = 3230421250
+SNDCTL_SYNTH_MEMAVL = 3221508366
+SNDCTL_TMR_CONTINUE = 21508
+SNDCTL_TMR_METRONOME = 1074025479
+SNDCTL_TMR_SELECT = 1074025480
+SNDCTL_TMR_SOURCE = 3221509126
+SNDCTL_TMR_START = 21506
+SNDCTL_TMR_STOP = 21507
+SNDCTL_TMR_TEMPO = 3221509125
+SNDCTL_TMR_TIMEBASE = 3221509121
+SNDRV_SEQ_OSS_MAX_MIDI_DEVS = 32
+SYNTH_CAP_INPUT = 4
+SYNTH_CAP_OPL3 = 2
+SYNTH_CAP_PERCMODE = 1
+SYNTH_TYPE_FM = 0
+SYNTH_TYPE_MIDI = 2
+SYNTH_TYPE_SAMPLE = 1
+TMR_CONTINUE = 5
+TMR_ECHO = 8
+TMR_START = 4
+TMR_STOP = 3
+TMR_TEMPO = 6
+TMR_WAIT_ABS = 2
+TMR_WAIT_REL = 1
+__NR_ioctl = 29
+__NR_openat = 56
+__NR_read = 63
+__NR_write = 64
diff --git a/sys/linux/dev_sequencer_s390x.const b/sys/linux/dev_sequencer_s390x.const
new file mode 100644
index 000000000..80597827f
--- /dev/null
+++ b/sys/linux/dev_sequencer_s390x.const
@@ -0,0 +1,84 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+CTRL_PITCH_BENDER = 255
+CTRL_PITCH_BENDER_RANGE = 254
+EV_CHN_COMMON = 146
+EV_CHN_VOICE = 147
+EV_SEQ_LOCAL = 128
+EV_SYSEX = 148
+EV_TIMING = 129
+FM_TYPE_ADLIB = 0
+FM_TYPE_OPL3 = 1
+MAX_OSS_TEMPO = 360
+MAX_OSS_TIMEBASE = 1000
+MIDI_CHN_PRESSURE = 208
+MIDI_CMD_COMMON_RESET = 255
+MIDI_CMD_NOTE_OFF = 128
+MIDI_CTL_CHANGE = 176
+MIDI_KEY_PRESSURE = 160
+MIDI_NOTEOFF = 128
+MIDI_NOTEON = 144
+MIDI_PGM_CHANGE = 192
+MIDI_PITCH_BEND = 224
+MIDI_TYPE_MPU401 = 1025
+MIN_OSS_TEMPO = 8
+MIN_OSS_TIMEBASE = 1
+SEQ_AFTERTOUCH = 9
+SEQ_BALANCE = 11
+SEQ_CONTROLLER = 10
+SEQ_ECHO = 8
+SEQ_EXTENDED = 255
+SEQ_MIDIPUTC = 5
+SEQ_NOTEOFF = 0
+SEQ_NOTEON = 1
+SEQ_PGMCHANGE = 3
+SEQ_PRIVATE = 254
+SEQ_SYNCTIMER = 4
+SEQ_VOLMODE = 12
+SEQ_WAIT = 2
+SNDCTL_FM_4OP_ENABLE = 1074024719
+SNDCTL_FM_LOAD_INSTR = 1076384007
+SNDCTL_MIDI_INFO = 3228848396
+SNDCTL_MIDI_PRETIME = 3221515520
+SNDCTL_SEQ_CTRLRATE = 3221508355
+SNDCTL_SEQ_GETINCOUNT = 2147766533
+SNDCTL_SEQ_GETOUTCOUNT = 2147766532
+SNDCTL_SEQ_GETTIME = 2147766547
+SNDCTL_SEQ_NRMIDIS = 2147766539
+SNDCTL_SEQ_NRSYNTHS = 2147766538
+SNDCTL_SEQ_OUTOFBAND = 1074286866
+SNDCTL_SEQ_PANIC = 20753
+SNDCTL_SEQ_RESET = 20736
+SNDCTL_SEQ_RESETSAMPLES = 1074024713
+SNDCTL_SEQ_SYNC = 20737
+SNDCTL_SEQ_TESTMIDI = 1074024712
+SNDCTL_SEQ_THRESHOLD = 1074024717
+SNDCTL_SYNTH_ID = 3230421268
+SNDCTL_SYNTH_INFO = 3230421250
+SNDCTL_SYNTH_MEMAVL = 3221508366
+SNDCTL_TMR_CONTINUE = 21508
+SNDCTL_TMR_METRONOME = 1074025479
+SNDCTL_TMR_SELECT = 1074025480
+SNDCTL_TMR_SOURCE = 3221509126
+SNDCTL_TMR_START = 21506
+SNDCTL_TMR_STOP = 21507
+SNDCTL_TMR_TEMPO = 3221509125
+SNDCTL_TMR_TIMEBASE = 3221509121
+SNDRV_SEQ_OSS_MAX_MIDI_DEVS = 32
+SYNTH_CAP_INPUT = 4
+SYNTH_CAP_OPL3 = 2
+SYNTH_CAP_PERCMODE = 1
+SYNTH_TYPE_FM = 0
+SYNTH_TYPE_MIDI = 2
+SYNTH_TYPE_SAMPLE = 1
+TMR_CONTINUE = 5
+TMR_ECHO = 8
+TMR_START = 4
+TMR_STOP = 3
+TMR_TEMPO = 6
+TMR_WAIT_ABS = 2
+TMR_WAIT_REL = 1
+__NR_ioctl = 54
+__NR_openat = 288
+__NR_read = 3
+__NR_write = 4
diff --git a/sys/linux/sys.txt b/sys/linux/sys.txt
index 5370e5508..f567e4fa9 100644
--- a/sys/linux/sys.txt
+++ b/sys/linux/sys.txt
@@ -565,8 +565,6 @@ openat$zygote(fd const[AT_FDCWD], file ptr[in, string["/dev/socket/zygote"]], fl
 openat$sw_sync(fd const[AT_FDCWD], file ptr[in, string["/dev/sw_sync"]], flags flags[open_flags], mode const[0]) fd
 openat$pktcdvd(fd const[AT_FDCWD], file ptr[in, string["/dev/pktcdvd/control"]], flags flags[open_flags], mode const[0]) fd
 openat$lightnvm(fd const[AT_FDCWD], file ptr[in, string["/dev/lightnvm/control"]], flags flags[open_flags], mode const[0]) fd
-openat$sequencer(fd const[AT_FDCWD], file ptr[in, string["/dev/sequencer"]], flags flags[open_flags], mode const[0]) fd
-openat$sequencer2(fd const[AT_FDCWD], file ptr[in, string["/dev/sequencer2"]], flags flags[open_flags], mode const[0]) fd
 openat$xenevtchn(fd const[AT_FDCWD], file ptr[in, string["/dev/xen/evtchn"]], flags flags[open_flags], mode const[0]) fd
 openat$dlm_control(fd const[AT_FDCWD], file ptr[in, string["/dev/dlm-control"]], flags flags[open_flags], mode const[0]) fd
 openat$dlm_monitor(fd const[AT_FDCWD], file ptr[in, string["/dev/dlm-monitor"]], flags flags[open_flags], mode const[0]) fd