diff options
| author | Anton Lindqvist <anton@basename.se> | 2019-07-10 22:04:19 +0200 |
|---|---|---|
| committer | Anton Lindqvist <anton@basename.se> | 2019-07-10 22:37:39 +0200 |
| commit | ff7bf04c7ca7e08d726e35dc73780dd3c3f80b68 (patch) | |
| tree | 8b35c4ff709a6609bae84c32378ea09cbc3f31d3 /sys/openbsd/dev_diskmap.txt | |
| parent | f62e1e85cf54ccfa990868a402eca32bf4513b21 (diff) | |
sys/openbsd: add diskmap descriptions
Diffstat (limited to 'sys/openbsd/dev_diskmap.txt')
| -rw-r--r-- | sys/openbsd/dev_diskmap.txt | 23 |
1 files changed, 23 insertions, 0 deletions
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 <sys/param.h> +include <sys/ioctl.h> +include <sys/fcntl.h> + +include <sys/disk.h> +include <sys/dkio.h> + +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 |
