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