diff options
| -rw-r--r-- | sys/openbsd/dev_vnd.txt | 30 | ||||
| -rw-r--r-- | sys/openbsd/dev_vnd.txt.const | 9 | ||||
| -rw-r--r-- | sys/openbsd/wscons.txt | 2 |
3 files changed, 40 insertions, 1 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 +} diff --git a/sys/openbsd/dev_vnd.txt.const b/sys/openbsd/dev_vnd.txt.const new file mode 100644 index 000000000..3f2392ed9 --- /dev/null +++ b/sys/openbsd/dev_vnd.txt.const @@ -0,0 +1,9 @@ +# Code generated by syz-sysgen. DO NOT EDIT. +arches = amd64 +AT_FDCWD = amd64:18446744073709551516 +SYS_ioctl = amd64:54 +SYS_openat = amd64:321 +VNDIOCCLR = amd64:2151171585 +VNDIOCGET = amd64:3289400835 +VNDIOCSET = amd64:3224913408 +VNDNLEN = amd64:1024 diff --git a/sys/openbsd/wscons.txt b/sys/openbsd/wscons.txt index a2cc9784c..9219b70e5 100644 --- a/sys/openbsd/wscons.txt +++ b/sys/openbsd/wscons.txt @@ -281,6 +281,6 @@ wsdisplay_burner_flags = WSDISPLAY_BURN_VBLANK, WSDISPLAY_BURN_KBD, WSDISPLAY_BU wsmouse_mode_flags = WSMOUSE_COMPAT, WSMOUSE_NATIVE -wsmousecfg_flags = WSMOUSECFG_DX_SCALE, WSMOUSECFG_DY_SCALE, WSMOUSECFG_PRESSURE_LO, WSMOUSECFG_PRESSURE_HI, WSMOUSECFG_TRKMAXDIST, WSMOUSECFG_SWAPXY, WSMOUSECFG_X_INV, WSMOUSECFG_Y_INV, WSMOUSECFG_DX_MAX, WSMOUSECFG_DY_MAX, WSMOUSECFG_X_HYSTERESIS, WSMOUSECFG_Y_HYSTERESIS, WSMOUSECFG_DECELERATION, WSMOUSECFG_STRONG_HYSTERESIS, WSMOUSECFG_SMOOTHING, WSMOUSECFG_SOFTBUTTONS, WSMOUSECFG_SOFTMBTN, WSMOUSECFG_TOPBUTTONS, WSMOUSECFG_TWOFINGERSCROLL, WSMOUSECFG_EDGESCROLL, WSMOUSECFG_HORIZSCROLL, WSMOUSECFG_SWAPSIDES, WSMOUSECFG_DISABLE, WSMOUSECFG_TAPPING, WSMOUSECFG_LEFT_EDGE, WSMOUSECFG_RIGHT_EDGE, WSMOUSECFG_TOP_EDGE, WSMOUSECFG_BOTTOM_EDGE, WSMOUSECFG_CENTERWIDTH, WSMOUSECFG_HORIZSCROLLDIST, WSMOUSECFG_VERTSCROLLDIST, WSMOUSECFG_F2WIDTH, WSMOUSECFG_F2PRESSURE, WSMOUSECFG_TAP_MAXTIME, WSMOUSECFG_TAP_CLICKTIME, WSMOUSECFG_TAP_LOCKTIME, WSMOUSECFG_LOG_INPUT, WSMOUSECFG_LOG_EVENTS +wsmousecfg_flags = WSMOUSECFG_DX_SCALE, WSMOUSECFG_DY_SCALE, WSMOUSECFG_PRESSURE_LO, WSMOUSECFG_PRESSURE_HI, WSMOUSECFG_TRKMAXDIST, WSMOUSECFG_SWAPXY, WSMOUSECFG_X_INV, WSMOUSECFG_Y_INV, WSMOUSECFG_REVERSE_SCROLLING, WSMOUSECFG_DX_MAX, WSMOUSECFG_DY_MAX, WSMOUSECFG_X_HYSTERESIS, WSMOUSECFG_Y_HYSTERESIS, WSMOUSECFG_DECELERATION, WSMOUSECFG_STRONG_HYSTERESIS, WSMOUSECFG_SMOOTHING, WSMOUSECFG_SOFTBUTTONS, WSMOUSECFG_SOFTMBTN, WSMOUSECFG_TOPBUTTONS, WSMOUSECFG_TWOFINGERSCROLL, WSMOUSECFG_EDGESCROLL, WSMOUSECFG_HORIZSCROLL, WSMOUSECFG_SWAPSIDES, WSMOUSECFG_DISABLE, WSMOUSECFG_LEFT_EDGE, WSMOUSECFG_RIGHT_EDGE, WSMOUSECFG_TOP_EDGE, WSMOUSECFG_BOTTOM_EDGE, WSMOUSECFG_CENTERWIDTH, WSMOUSECFG_HORIZSCROLLDIST, WSMOUSECFG_VERTSCROLLDIST, WSMOUSECFG_F2WIDTH, WSMOUSECFG_F2PRESSURE, WSMOUSECFG_TAP_MAXTIME, WSMOUSECFG_TAP_CLICKTIME, WSMOUSECFG_TAP_LOCKTIME, WSMOUSECFG_TAP_ONE_BTNMAP, WSMOUSECFG_TAP_TWO_BTNMAP, WSMOUSECFG_TAP_THREE_BTNMAP, WSMOUSECFG_LOG_INPUT, WSMOUSECFG_LOG_EVENTS wsmux_device_flags = WSMUX_MOUSE, WSMUX_KBD, WSMUX_MUX |