From ff7bf04c7ca7e08d726e35dc73780dd3c3f80b68 Mon Sep 17 00:00:00 2001 From: Anton Lindqvist Date: Wed, 10 Jul 2019 22:04:19 +0200 Subject: sys/openbsd: add diskmap descriptions --- sys/openbsd/dev_diskmap.txt | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 sys/openbsd/dev_diskmap.txt (limited to 'sys/openbsd/dev_diskmap.txt') diff --git a/sys/openbsd/dev_diskmap.txt b/sys/openbsd/dev_diskmap.txt new file mode 100644 index 000000000..64c937a6e --- /dev/null +++ b/sys/openbsd/dev_diskmap.txt @@ -0,0 +1,23 @@ +# Copyright 2019 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 +include +include + +include +include + +resource fd_diskmap[fd] + +openat$diskmap(fd const[AT_FDCWD], file ptr[in, string["/dev/diskmap"]], flags flags[open_flags], mode const[0]) fd_diskmap + +ioctl$DIOCMAP(fd fd_diskmap, cmd const[DIOCMAP], arg ptr[in, dk_diskmap]) + +dk_diskmap { + device ptr[in, filename] + fd fd + flags flags[dk_diskmap_flags, int32] +} + +dk_diskmap_flags = DM_OPENPART, DM_OPENBLCK -- cgit mrf-deployment