| # 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 |
| } |