blob: 64c937a6e0fea14773a924f7665f55f1e674f33e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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
|
