github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/openbsd/dev_vnd.txt (about)

     1  # Copyright 2021 syzkaller project authors. All rights reserved.
     2  # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
     3  
     4  include <sys/param.h>
     5  include <sys/ioctl.h>
     6  include <sys/fcntl.h>
     7  
     8  include <dev/vndioctl.h>
     9  
    10  resource fd_vnd[fd]
    11  
    12  openat$vnd(fd const[AT_FDCWD], file ptr[in, string["/dev/rvnd0c"]], flags flags[open_flags], mode const[0]) fd_vnd
    13  
    14  ioctl$VNDIOCGET(fd fd_vnd, cmd const[VNDIOCGET], arg ptr[in, vnd_user])
    15  ioctl$VNDIOCSET(fd fd_vnd, cmd const[VNDIOCSET], arg ptr[in, vnd_ioctl])
    16  ioctl$VNDIOCCLR(fd fd_vnd, cmd const[VNDIOCCLR], arg ptr[in, vnd_ioctl])
    17  
    18  vnd_ioctl {
    19  	vnd_file	ptr[in, filename]
    20  	vnd_size	int64
    21  	vnd_key		ptr[in, filename]
    22  	vnd_keylen	len[vnd_key, int32]
    23  }
    24  
    25  vnd_user {
    26  	vnufile		string[filename, VNDNLEN]
    27  	vnu_unit	int32
    28  	vnu_dev		int32
    29  	vnu_ino		int64
    30  }