sys/freebsd: added kbd(4)

3 files changed, 206 insertions, 1 deletions

diff --git a/sys/freebsd/dev_bpf.txt b/sys/freebsd/dev_bpf.txt
index b548d56d6..b7819a446 100644
--- a/sys/freebsd/dev_bpf.txt
+++ b/sys/freebsd/dev_bpf.txt
@@ -11,7 +11,7 @@ include <net/bpf.h>
 
 resource fd_bpf[fd]
 
-openat$bpd(fd const[AT_FDCWD], file ptr[in, string["/dev/bpf"]], flags flags[open_flags], mode const[0]) fd_bpf
+openat$bpf(fd const[AT_FDCWD], file ptr[in, string["/dev/bpf"]], flags flags[open_flags], mode const[0]) fd_bpf
 
 define BIOCGDLTLIST32	3221766777
 define BIOCSRTIMEOUT32	2148024941
diff --git a/sys/freebsd/dev_kbd.txt b/sys/freebsd/dev_kbd.txt
new file mode 100644
index 000000000..9cf6834de
--- /dev/null
+++ b/sys/freebsd/dev_kbd.txt
@@ -0,0 +1,107 @@
+# 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/types.h>
+include <kbio.h>
+include <consio.h>
+include <fcntl.h>
+
+resource fd_kbd[fd]
+
+openat$kbd(fd const[AT_FDCWD], file ptr[in, string["/dev/kbd"]], flags flags[open_flags], mode const[0]) fd_kbd
+
+ioctl$KDGKBMODE(fd fd_kbd, cmd const[KDGKBMODE], arg int32)
+ioctl$KDSKBMODE(fd fd_kbd, cmd const[KDSKBMODE])
+ioctl$KDMKTONE(fd fd_kbd, cmd const[KDMKTONE])
+ioctl$KDGETMODE(fd fd_kbd, cmd const[KDGETMODE], arg int32)
+ioctl$KDSETMODE(fd fd_kbd, cmd const[KDSETMODE])
+ioctl$KDSBORDER(fd fd_kbd, cmd const[KDSBORDER])
+ioctl$KDGKBSTATE(fd fd_kbd, cmd const[KDGKBSTATE], arg int32)
+ioctl$KDSKBSTATE(fd fd_kbd, cmd const[KDSKBSTATE])
+ioctl$KDENABIO(fd fd_kbd, cmd const[KDENABIO])
+ioctl$KDDISABIO(fd fd_kbd, cmd const[KDDISABIO])
+ioctl$KIOCSOUND(fd fd_kbd, cmd const[KIOCSOUND])
+ioctl$KDGKBTYPE(fd fd_kbd, cmd const[KDGKBTYPE], arg int32)
+ioctl$KDGETLED(fd fd_kbd, cmd const[KDGETLED], arg int32)
+ioctl$KDSETLED(fd fd_kbd, cmd const[KDSETLED])
+ioctl$KDSETRAD(fd fd_kbd, cmd const[KDSETRAD])
+ioctl$KBADDKBD(fd fd_kbd, cmd const[KBADDKBD], arg ptr[in, keyboard_info])
+ioctl$KBRELKBD(fd fd_kbd, cmd const[KBRELKBD], arg ptr[in, keyboard_info])
+ioctl$KDRASTER(fd fd_kbd, cmd const[KDRASTER], arg ptr[in, scr_size])
+ioctl$KDGKBINFO(fd fd_kbd, cmd const[KDGKBINFO], arg ptr[out, keyboard_info])
+ioctl$KDSETREPEAT(fd fd_kbd, cmd const[KDSETREPEAT], arg ptr[in, keyboard_repeat])
+ioctl$KDGETREPEAT(fd fd_kbd, cmd const[KDGETREPEAT], arg ptr[out, keyboard_repeat])
+ioctl$GETFKEY(fd fd_kbd, cmd const[GETFKEY], arg ptr[inout, fkeyarg])
+ioctl$SETFKEY(fd fd_kbd, cmd const[SETFKEY], arg ptr[inout, fkeyarg])
+ioctl$GIO_SCRNMAP(fd fd_kbd, cmd const[GIO_SCRNMAP], arg ptr[out, scrmap])
+ioctl$PIO_SCRNMAP(fd fd_kbd, cmd const[PIO_SCRNMAP], arg ptr[in, scrmap])
+ioctl$GIO_KEYMAP(fd fd_kbd, cmd const[GIO_KEYMAP])
+ioctl$PIO_KEYMAP(fd fd_kbd, cmd const[PIO_KEYMAP])
+ioctl$OGIO_KEYMAP(fd fd_kbd, cmd const[OGIO_KEYMAP], arg ptr[out, okeymap])
+ioctl$OPIO_KEYMAP(fd fd_kbd, cmd const[OPIO_KEYMAP], arg ptr[in, okeymap])
+ioctl$GIO_DEADKEYMAP(fd fd_kbd, cmd const[GIO_DEADKEYMAP], arg ptr[out, accentmap])
+ioctl$PIO_DEADKEYMAP(fd fd_kbd, cmd const[PIO_DEADKEYMAP], arg ptr[in, accentmap])
+ioctl$GIO_KEYMAPENT(fd fd_kbd, cmd const[GIO_KEYMAPENT], arg ptr[inout, keyarg])
+ioctl$PIO_KEYMAPENT(fd fd_kbd, cmd const[PIO_KEYMAPENT], arg ptr[in, keyarg])
+
+keyboard_info {
+	kb_index	int32
+	kb_name		array[int8, MAXFK]
+	kb_unit		int32
+	kb_type		int32
+	kb_config	int32
+	kb_flags	int32
+}
+
+keyboard_repeat {
+	kb_repeat	array[int32, 2]
+}
+
+fkeyarg {
+	keynum	int16
+	keydef	array[int8, MAXFK]
+	flen	int8
+}
+
+okeymap {
+	n_keys	int16
+	key	array[okeyent_t, NUM_KEYS]
+}
+
+okeyent_t {
+	map	array[int8, NUM_STATES]
+	spcl	flags[special_keys, int8]
+	flgs	int8
+}
+
+accentmap {
+	n_accs	int16
+	acc	array[acc_t, NUM_DEADKEYS]
+}
+
+acc_t {
+	accchar	int8
+	map	array[int8, 104]
+}
+
+keyarg {
+	keynum	int16
+	key	keyent_t
+}
+
+keyent_t {
+	map	array[int32, NUM_STATES]
+	spcl	int8
+	flgs	flags[keyent_flags, int8]
+}
+
+scrmap {
+	scrmap	array[int8, 256]
+}
+
+scr_size {
+	scr_size	array[int32, 3]
+}
+
+keyent_flags = FLAG_LOCK_O, FLAG_LOCK_C, FLAG_LOCK_N
+special_keys = NOP, LSH, RSH, CLK, NLK, SLK, LALT, BTAB, LCTR, NEXT, F_SCR, L_SCR, F_FN, L_FN, RCTR, RALT, ALK, ASH, META, RBT, DBG, SUSP, SPSC, F_ACC, DGRA, DACU, DCIR, DTIL, DMAC, DBRE, DDOT, DUML, DDIA, DSLA, DRIN, DCED, DAPO, DDAC, DOGO, DCAR, L_ACC, STBY, PREV, PNC, LSHA, RSHA, LCTRA, RCTRA, LALTA, RALTA, HALT, PDWN, PASTE
diff --git a/sys/freebsd/dev_kbd.txt.const b/sys/freebsd/dev_kbd.txt.const
new file mode 100644
index 000000000..5c599ed99
--- /dev/null
+++ b/sys/freebsd/dev_kbd.txt.const
@@ -0,0 +1,98 @@
+# Code generated by syz-sysgen. DO NOT EDIT.
+arches = 386, amd64
+ALK = 130
+ASH = 131
+AT_FDCWD = 18446744073709551516
+BTAB = 8
+CLK = 4
+DACU = 138
+DAPO = 148
+DBG = 134
+DBRE = 142
+DCAR = 151
+DCED = 147
+DCIR = 139
+DDAC = 149
+DDIA = 144
+DDOT = 143
+DGRA = 137
+DMAC = 141
+DOGO = 150
+DRIN = 146
+DSLA = 145
+DTIL = 140
+DUML = 144
+FLAG_LOCK_C = 1
+FLAG_LOCK_N = 2
+FLAG_LOCK_O = 0
+F_ACC = 137
+F_FN = 27
+F_SCR = 11
+GETFKEY = 3222563584
+GIO_DEADKEYMAP = 1177185032
+GIO_KEYMAP = 536898310
+GIO_KEYMAPENT = 3223874314
+GIO_SCRNMAP = 1090546434
+HALT = 161
+KBADDKBD = 2149862212
+KBRELKBD = 2149862213
+KDDISABIO = 536890173
+KDENABIO = 536890172
+KDGETLED = 1074023233
+KDGETMODE = 1074023177
+KDGETREPEAT = 1074285415
+KDGKBINFO = 1076120421
+KDGKBMODE = 1074023174
+KDGKBSTATE = 1074023187
+KDGKBTYPE = 1074023232
+KDMKTONE = 537152264
+KDRASTER = 2148289380
+KDSBORDER = 537152269
+KDSETLED = 537152322
+KDSETMODE = 537152266
+KDSETRAD = 537152323
+KDSETREPEAT = 2148027238
+KDSKBMODE = 537152263
+KDSKBSTATE = 537152276
+KIOCSOUND = 537152319
+LALT = 7
+LALTA = 159
+LCTR = 9
+LCTRA = 157
+LSH = 2
+LSHA = 155
+L_ACC = 151
+L_FN = 122
+L_SCR = 26
+MAXFK = 16
+META = 132
+NEXT = 10
+NLK = 5
+NOP = 0
+NUM_DEADKEYS = 15
+NUM_KEYS = 256
+NUM_STATES = 8
+OGIO_KEYMAP = 1241672454
+OPIO_KEYMAP = 2315414279
+PASTE = 163
+PDWN = 162
+PIO_DEADKEYMAP = 2250926857
+PIO_KEYMAP = 536898311
+PIO_KEYMAPENT = 2150132491
+PIO_SCRNMAP = 2164288259
+PNC = 154
+PREV = 153
+RALT = 129
+RALTA = 160
+RBT = 133
+RCTR = 128
+RCTRA = 158
+RSH = 3
+RSHA = 156
+SETFKEY = 3222563585
+SLK = 6
+SPSC = 136
+STBY = 152
+SUSP = 135
+SYS_ioctl = 54
+SYS_openat = 499