1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
# Copyright 2021 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 <dev/vndioctl.h>
resource fd_vnd[fd]
openat$vnd(fd const[AT_FDCWD], file ptr[in, string["/dev/rvnd0c"]], flags flags[open_flags], mode const[0]) fd_vnd
ioctl$VNDIOCGET(fd fd_vnd, cmd const[VNDIOCGET], arg ptr[in, vnd_user])
ioctl$VNDIOCSET(fd fd_vnd, cmd const[VNDIOCSET], arg ptr[in, vnd_ioctl])
ioctl$VNDIOCCLR(fd fd_vnd, cmd const[VNDIOCCLR], arg ptr[in, vnd_ioctl])
vnd_ioctl {
vnd_file ptr[in, filename]
vnd_size int64
vnd_key ptr[in, filename]
vnd_keylen len[vnd_key, int32]
}
vnd_user {
vnufile string[filename, VNDNLEN]
vnu_unit int32
vnu_dev int32
vnu_ino int64
}
|
