diff options
| author | Anton Lindqvist <anton@basename.se> | 2020-06-30 18:42:52 +0200 |
|---|---|---|
| committer | Anton Lindqvist <anton@basename.se> | 2020-06-30 21:08:59 +0200 |
| commit | c0383ebe66df022abecd93d2ca79b65b58d0c090 (patch) | |
| tree | 41a184b7b9dde1c4842d17032c7e1fcc49906a8b /sys | |
| parent | 917afeaa705dfdebeebcd674db3bcba279241d5e (diff) | |
sys/openbsd: add missing wskbd ioctl descriptions
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/openbsd/wscons.txt | 55 | ||||
| -rw-r--r-- | sys/openbsd/wscons_amd64.const | 17 |
2 files changed, 72 insertions, 0 deletions
diff --git a/sys/openbsd/wscons.txt b/sys/openbsd/wscons.txt index 5df87d21e..128db9227 100644 --- a/sys/openbsd/wscons.txt +++ b/sys/openbsd/wscons.txt @@ -57,6 +57,24 @@ resource fd_wskbd[fd] openat$wskbd(fd const[AT_FDCWD], file ptr[in, string["/dev/wskbd0"]], flags flags[open_flags], mode const[0]) fd_wskbd +ioctl$WSKBDIO_BELL(fd fd_wskbd, cmd const[WSKBDIO_BELL]) +ioctl$WSKBDIO_COMPLEXBELL(fd fd_wskbd, cmd const[WSKBDIO_COMPLEXBELL], arg ptr[in, wskbd_bell_data]) +ioctl$WSKBDIO_SETBELL(fd fd_wskbd, cmd const[WSKBDIO_SETBELL], arg ptr[in, wskbd_bell_data]) +ioctl$WSKBDIO_GETBELL(fd fd_wskbd, cmd const[WSKBDIO_GETBELL], arg ptr[out, wskbd_bell_data]) +ioctl$WSKBDIO_SETDEFAULTBELL(fd fd_wskbd, cmd const[WSKBDIO_SETDEFAULTBELL], arg ptr[in, wskbd_bell_data]) +ioctl$WSKBDIO_GETDEFAULTBELL(fd fd_wskbd, cmd const[WSKBDIO_GETDEFAULTBELL], arg ptr[out, wskbd_bell_data]) +ioctl$WSKBDIO_SETKEYREPEAT(fd fd_wskbd, cmd const[WSKBDIO_SETKEYREPEAT], arg ptr[in, wskbd_keyrepeat_data]) +ioctl$WSKBDIO_GETKEYREPEAT(fd fd_wskbd, cmd const[WSKBDIO_GETKEYREPEAT], arg ptr[out, wskbd_keyrepeat_data]) +ioctl$WSKBDIO_SETDEFAULTKEYREPEAT(fd fd_wskbd, cmd const[WSKBDIO_SETDEFAULTKEYREPEAT], arg ptr[in, wskbd_keyrepeat_data]) +ioctl$WSKBDIO_GETDEFAULTKEYREPEAT(fd fd_wskbd, cmd const[WSKBDIO_GETDEFAULTKEYREPEAT], arg ptr[out, wskbd_keyrepeat_data]) +ioctl$WSKBDIO_SETMAP(fd fd_wskbd, cmd const[WSKBDIO_SETMAP], arg ptr[in, wskbd_map_data]) +ioctl$WSKBDIO_GETMAP(fd fd_wskbd, cmd const[WSKBDIO_GETMAP], arg ptr[out, wskbd_map_data]) +ioctl$WSKBDIO_GETENCODING(fd fd_wskbd, cmd const[WSKBDIO_GETENCODING], arg ptr[out, int32]) +ioctl$WSKBDIO_SETENCODING(fd fd_wskbd, cmd const[WSKBDIO_SETENCODING], arg ptr[in, int32]) +ioctl$WSKBDIO_GETENCODINGS(fd fd_wskbd, cmd const[WSKBDIO_GETENCODINGS], arg ptr[out, wskbd_encoding_data]) +ioctl$WSKBDIO_GETBACKLIGHT(fd fd_wskbd, cmd const[WSKBDIO_GETBACKLIGHT], arg ptr[out, wskbd_backlight]) +ioctl$WSKBDIO_SETBACKLIGHT(fd fd_wskbd, cmd const[WSKBDIO_SETBACKLIGHT], arg ptr[in, wskbd_backlight]) + resource fd_wsmouse[fd] openat$wsmouse(fd const[AT_FDCWD], file ptr[in, string["/dev/wsmouse0"]], flags flags[open_flags], mode const[0]) fd_wsmouse @@ -188,6 +206,43 @@ vt_mode { frsig int16 } +wskbd_bell_data { + which int32 + pitch int32 + period int32 + volume int32 +} + +wskbd_keyrepeat_data { + which int32 + del1 int32 + delN int32 +} + +wskbd_map_data { + maplen len[map, int32] + map ptr[in, array[wscons_keymap]] +} + +wscons_keymap { + command int16 + group1_0 int16 + group1_1 int16 + group2_0 int16 + group2_1 int16 +} + +wskbd_encoding_data { + nencodings len[encodings, int32] + encodings array[int32] +} + +wskbd_backlight { + min int32 + max int32 + curval int32 +} + type vt_reldisp flags[vt_reldisp_flags, int32] type kd_mode flags[kd_mode_flags, int32] diff --git a/sys/openbsd/wscons_amd64.const b/sys/openbsd/wscons_amd64.const index b390b088c..c6a365153 100644 --- a/sys/openbsd/wscons_amd64.const +++ b/sys/openbsd/wscons_amd64.const @@ -65,7 +65,24 @@ WSDISPLAY_FONTORDER_L2R = 1 WSDISPLAY_FONTORDER_R2L = 2 WSEMUL_NAME_SIZE = 16 WSFONT_NAME_SIZE = 32 +WSKBDIO_BELL = 536893185 +WSKBDIO_COMPLEXBELL = 2148554498 +WSKBDIO_GETBACKLIGHT = 1074550545 +WSKBDIO_GETBELL = 1074812676 +WSKBDIO_GETDEFAULTBELL = 1074812678 +WSKBDIO_GETDEFAULTKEYREPEAT = 1074550538 +WSKBDIO_GETENCODING = 1074026255 +WSKBDIO_GETENCODINGS = 3222296341 +WSKBDIO_GETKEYREPEAT = 1074550536 +WSKBDIO_GETMAP = 3222296333 WSKBDIO_GETMODE = 1074026260 +WSKBDIO_SETBACKLIGHT = 2148292370 +WSKBDIO_SETBELL = 2148554499 +WSKBDIO_SETDEFAULTBELL = 2148554501 +WSKBDIO_SETDEFAULTKEYREPEAT = 2148292361 +WSKBDIO_SETENCODING = 2147768080 +WSKBDIO_SETKEYREPEAT = 2148292359 +WSKBDIO_SETMAP = 2148554510 WSKBDIO_SETMODE = 2147768083 WSKBD_RAW = 1 WSMOUSECFG_BOTTOM_EDGE = 131 |