1 files changed, 30 insertions, 0 deletions
diff --git a/sys/openbsd/dev_vnd.txt b/sys/openbsd/dev_vnd.txt
new file mode 100644
index 000000000..328581343
--- /dev/null
+++ b/sys/openbsd/dev_vnd.txt
@@ -0,0 +1,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
+}