diff --git a/sys/linux/dev_dm_ctl.txt b/sys/linux/dev_dm_ctl.txt
new file mode 100644
index 000000000000..3b300936b664
--- /dev/null
+++ b/sys/linux/dev_dm_ctl.txt
@@ -0,0 +1,44 @@
+# Copyright 2024 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 <linux/fcntl.h>
+include <uapi/asm/ioctl.h>
+include <uapi/linux/dm-ioctl.h>
+
+resource fd_dm_ctl[fd]
+resource dm_ctl_dev[int64]
+
+openat$dm_ctl(fd const[AT_FDCWD], file ptr[in, string["/dev/mapper/control"]], flags const[O_RDWR], mode const[0]) fd_dm_ctl
+
+ioctl$DM_VERSION(fd fd_dm_ctl, cmd const[DM_VERSION], arg ptr[inout, dm_ioctl])
+ioctl$DM_DEV_CREATE(fd fd_dm_ctl, cmd const[DM_DEV_CREATE], arg ptr[inout, dm_ioctl])
+ioctl$DM_DEV_REMOVE(fd fd_dm_ctl, cmd const[DM_DEV_REMOVE], arg ptr[inout, dm_ioctl])
+ioctl$DM_DEV_SUSPEND(fd fd_dm_ctl, cmd const[DM_DEV_SUSPEND], arg ptr[inout, dm_ioctl])
+ioctl$DM_DEV_STATUS(fd fd_dm_ctl, cmd const[DM_DEV_STATUS], arg ptr[inout, dm_ioctl])
+ioctl$DM_TABLE_CLEAR(fd fd_dm_ctl, cmd const[DM_TABLE_CLEAR], arg ptr[inout, dm_ioctl])
+ioctl$DM_DEV_ARM_POLL(fd fd_dm_ctl, cmd const[DM_DEV_ARM_POLL], arg ptr[inout, dm_ioctl])
+ioctl$DM_DEV_RENAME(fd fd_dm_ctl, cmd const[DM_DEV_RENAME], arg ptr[inout, dm_ioctl])
+ioctl$DM_DEV_WAIT(fd fd_dm_ctl, cmd const[DM_DEV_WAIT], arg ptr[inout, dm_ioctl])
+ioctl$DM_TABLE_LOAD(fd fd_dm_ctl, cmd const[DM_TABLE_LOAD], arg ptr[inout, dm_ioctl])
+ioctl$DM_TABLE_DEPS(fd fd_dm_ctl, cmd const[DM_TABLE_DEPS], arg ptr[inout, dm_ioctl])
+ioctl$DM_TABLE_STATUS(fd fd_dm_ctl, cmd const[DM_TABLE_STATUS], arg ptr[inout, dm_ioctl])
+ioctl$DM_LIST_VERSIONS(fd fd_dm_ctl, cmd const[DM_LIST_VERSIONS], arg ptr[inout, dm_ioctl])
+ioctl$DM_TARGET_MSG(fd fd_dm_ctl, cmd const[DM_TARGET_MSG], arg ptr[inout, dm_ioctl])
+ioctl$DM_DEV_SET_GEOMETRY(fd fd_dm_ctl, cmd const[DM_DEV_SET_GEOMETRY], arg ptr[inout, dm_ioctl])
+ioctl$DM_GET_TARGET_VERSION(fd fd_dm_ctl, cmd const[DM_GET_TARGET_VERSION], arg ptr[inout, dm_ioctl])
+
+dm_ioctl {
+	version		array[int32, 3]
+	data_size	bytesize[dm_ioctl, int32]
+	data_start	offsetof[data, int32]
+	target_count	int32
+	open_count	int32
+	flags		int32
+	event_nr	int32
+	padding		int32
+	dev		dm_ctl_dev
+	name		array[int8, DM_NAME_LEN]
+	uuid		array[int8, DM_UUID_LEN]
+	data		array[int8, 7]
+	data1		array[int8]
+}
diff --git a/sys/linux/dev_dm_ctl.txt.const b/sys/linux/dev_dm_ctl.txt.const
new file mode 100644
index 000000000000..f123eae33197
--- /dev/null
+++ b/sys/linux/dev_dm_ctl.txt.const
@@ -0,0 +1,24 @@
+# Code generated by syz-sysgen. DO NOT EDIT.
+arches = 386, amd64, arm, arm64, mips64le, ppc64le, riscv64, s390x
+AT_FDCWD = 18446744073709551516
+DM_DEV_ARM_POLL = 3241737488
+DM_DEV_CREATE = 3241737475
+DM_DEV_REMOVE = 3241737476
+DM_DEV_RENAME = 3241737477
+DM_DEV_SET_GEOMETRY = 3241737487
+DM_DEV_STATUS = 3241737479
+DM_DEV_SUSPEND = 3241737478
+DM_DEV_WAIT = 3241737480
+DM_GET_TARGET_VERSION = 3241737489
+DM_LIST_VERSIONS = 3241737485
+DM_NAME_LEN = 128
+DM_TABLE_CLEAR = 3241737482
+DM_TABLE_DEPS = 3241737483
+DM_TABLE_LOAD = 3241737481
+DM_TABLE_STATUS = 3241737484
+DM_TARGET_MSG = 3241737486
+DM_UUID_LEN = 129
+DM_VERSION = 3241737472
+O_RDWR = 2
+__NR_ioctl = 54, amd64:16, arm64:riscv64:29, mips64le:5015
+__NR_openat = 56, 386:295, amd64:257, arm:322, mips64le:5247, ppc64le:286, s390x:288