sys/openbsd: add wscons descriptions, limited to wsdisplay for now

7 files changed, 653 insertions, 2 deletions

diff --git a/executor/defs.h b/executor/defs.h
index e04e372e5..4ce9ab6a0 100644
--- a/executor/defs.h
+++ b/executor/defs.h
@@ -130,7 +130,7 @@
 
 #if GOARCH_amd64
 #define GOARCH "amd64"
-#define SYZ_REVISION "60f5ad8b1c83995c0a87e47932b16ce569a0c5c1"
+#define SYZ_REVISION "35e246656fc7c370061141d1e48c0a7a57008792"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
diff --git a/executor/syscalls.h b/executor/syscalls.h
index b12ebefa4..b180e5d23 100644
--- a/executor/syscalls.h
+++ b/executor/syscalls.h
@@ -14280,6 +14280,14 @@ const call_t syscalls[] = {
     {"getsockopt$sock_linger", 118},
     {"getsockopt$sock_timeval", 118},
     {"getuid", 24},
+    {"ioctl$KDDISABIO", 54},
+    {"ioctl$KDENABIO", 54},
+    {"ioctl$KDGETLED", 54},
+    {"ioctl$KDGKBMODE", 54},
+    {"ioctl$KDMKTONE", 54},
+    {"ioctl$KDSETLED", 54},
+    {"ioctl$KDSETMODE", 54},
+    {"ioctl$KDSETRAD", 54},
     {"ioctl$TIOCCBRK", 54},
     {"ioctl$TIOCCDTR", 54},
     {"ioctl$TIOCCHKVERAUTH", 54},
@@ -14315,6 +14323,36 @@ const call_t syscalls[] = {
     {"ioctl$TIOCSTOP", 54},
     {"ioctl$TIOCSTSTAMP", 54},
     {"ioctl$TIOCSWINSZ", 54},
+    {"ioctl$VT_ACTIVATE", 54},
+    {"ioctl$VT_GETACTIVE", 54},
+    {"ioctl$VT_GETMODE", 54},
+    {"ioctl$VT_GETSTATE", 54},
+    {"ioctl$VT_OPENQRY", 54},
+    {"ioctl$VT_RELDISP", 54},
+    {"ioctl$VT_SETMODE", 54},
+    {"ioctl$VT_WAITACTIVE", 54},
+    {"ioctl$WSDISPLAYIO_ADDSCREEN", 54},
+    {"ioctl$WSDISPLAYIO_DELFONT", 54},
+    {"ioctl$WSDISPLAYIO_DELSCREEN", 54},
+    {"ioctl$WSDISPLAYIO_GBURNER", 54},
+    {"ioctl$WSDISPLAYIO_GETEMULTYPE", 54},
+    {"ioctl$WSDISPLAYIO_GETSCREEN", 54},
+    {"ioctl$WSDISPLAYIO_GETSCREENTYPE", 54},
+    {"ioctl$WSDISPLAYIO_GMODE", 54},
+    {"ioctl$WSDISPLAYIO_GVIDEO", 54},
+    {"ioctl$WSDISPLAYIO_LDFONT", 54},
+    {"ioctl$WSDISPLAYIO_LSFONT", 54},
+    {"ioctl$WSDISPLAYIO_SETSCREEN", 54},
+    {"ioctl$WSDISPLAYIO_SMODE", 54},
+    {"ioctl$WSDISPLAYIO_SVIDEO", 54},
+    {"ioctl$WSDISPLAYIO_USEFONT", 54},
+    {"ioctl$WSDISPLAYIO_WSMOUSED", 54},
+    {"ioctl$WSKBDIO_GETMODE", 54},
+    {"ioctl$WSKBDIO_SETMODE", 54},
+    {"ioctl$WSMUXIO_ADD_DEVICE", 54},
+    {"ioctl$WSMUXIO_INJECTEVENT", 54},
+    {"ioctl$WSMUXIO_LIST_DEVICES", 54},
+    {"ioctl$WSMUXIO_REMOVE_DEVICE", 54},
     {"kevent", 72},
     {"kqueue", 269},
     {"lchown", 254},
@@ -14350,6 +14388,7 @@ const call_t syscalls[] = {
     {"openat", 321},
     {"openat$null", 321},
     {"openat$tty", 321},
+    {"openat$wsdisplay", 321},
     {"openat$zero", 321},
     {"pipe", 263},
     {"pipe2", 101},
diff --git a/sys/openbsd/gen/amd64.go b/sys/openbsd/gen/amd64.go
index 3d9f24f1e..78e4191bc 100644
--- a/sys/openbsd/gen/amd64.go
+++ b/sys/openbsd/gen/amd64.go
@@ -15,6 +15,7 @@ var resources_amd64 = []*ResourceDesc{
 	{Name: "fd_dir", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_dir"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_kqueue", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_kqueue"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_tty", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_tty"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
+	{Name: "fd_wsdisplay", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_wsdisplay"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "gid", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"gid"}, Values: []uint64{0, 18446744073709551615}},
 	{Name: "ipc", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"ipc"}, Values: []uint64{0, 18446744073709551615}},
 	{Name: "ipc_msq", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"ipc", "ipc_msq"}, Values: []uint64{0, 18446744073709551615}},
@@ -399,6 +400,25 @@ var structDescs_amd64 = []*KeyedStruct{
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "sock_unix", FldName: "fd0", TypeSize: 4, ArgDir: 1}},
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "sock_unix", FldName: "fd1", TypeSize: 4, ArgDir: 1}},
 	}}},
+	{Key: StructKey{Name: "vt_mode"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vt_mode", TypeSize: 8}, Fields: []Type{
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "vt_mode_flags", FldName: "mode", TypeSize: 1}}, Vals: []uint64{0, 1}, BitMask: true},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int8", FldName: "waitv", TypeSize: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "relsig", TypeSize: 2}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "acqsig", TypeSize: 2}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "frsig", TypeSize: 2}}},
+	}}},
+	{Key: StructKey{Name: "vt_mode", Dir: 1}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vt_mode", TypeSize: 8, ArgDir: 1}, Fields: []Type{
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "vt_mode_flags", FldName: "mode", TypeSize: 1, ArgDir: 1}}, Vals: []uint64{0, 1}, BitMask: true},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int8", FldName: "waitv", TypeSize: 1, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "relsig", TypeSize: 2, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "acqsig", TypeSize: 2, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "frsig", TypeSize: 2, ArgDir: 1}}},
+	}}},
+	{Key: StructKey{Name: "vt_stat", Dir: 1}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vt_stat", TypeSize: 6, ArgDir: 1}, Fields: []Type{
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "v_active", TypeSize: 2, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "v_signal", TypeSize: 2, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "v_state", TypeSize: 2, ArgDir: 1}}},
+	}}},
 	{Key: StructKey{Name: "winsize"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "winsize", TypeSize: 8}, Fields: []Type{
 		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "row", TypeSize: 2}}},
 		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "col", TypeSize: 2}}},
@@ -411,6 +431,76 @@ var structDescs_amd64 = []*KeyedStruct{
 		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "xpixel", TypeSize: 2, ArgDir: 1}}},
 		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "ypixel", TypeSize: 2, ArgDir: 1}}},
 	}}},
+	{Key: StructKey{Name: "wscons_event"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "wscons_event", TypeSize: 24}, Fields: []Type{
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "type", TypeSize: 4}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "value", TypeSize: 4}}},
+		&StructType{Key: StructKey{Name: "timespec"}, FldName: "time"},
+	}}},
+	{Key: StructKey{Name: "wsdisplay_addscreendata"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "wsdisplay_addscreendata", TypeSize: 36}, Fields: []Type{
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "idx", TypeSize: 4}}},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "filename", FldName: "screentype", TypeSize: 16}, Kind: 3},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "filename", FldName: "emul", TypeSize: 16}, Kind: 3},
+	}}},
+	{Key: StructKey{Name: "wsdisplay_burner", Dir: 1}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "wsdisplay_burner", TypeSize: 12, ArgDir: 1}, Fields: []Type{
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "off", TypeSize: 4, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "on", TypeSize: 4, ArgDir: 1}}},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsdisplay_burner_flags", FldName: "flags", TypeSize: 4, ArgDir: 1}}, Vals: []uint64{1, 2, 4, 8}, BitMask: true},
+	}}},
+	{Key: StructKey{Name: "wsdisplay_delscreendata"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "wsdisplay_delscreendata", TypeSize: 8}, Fields: []Type{
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "idx", TypeSize: 4}}},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsdisplay_delscreendata_flags", FldName: "flags", TypeSize: 4}}, Vals: []uint64{1, 2}, BitMask: true},
+	}}},
+	{Key: StructKey{Name: "wsdisplay_emultype"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "wsdisplay_emultype", TypeSize: 20}, Fields: []Type{
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "idx", TypeSize: 4}}},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "filename", FldName: "name", TypeSize: 16}, Kind: 3},
+	}}},
+	{Key: StructKey{Name: "wsdisplay_font"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "wsdisplay_font", TypeSize: 88}, Fields: []Type{
+		&BufferType{TypeCommon: TypeCommon{TypeName: "filename", FldName: "name", TypeSize: 32}, Kind: 3},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "index", TypeSize: 4}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "firstchar", TypeSize: 4}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "numchars", TypeSize: 4}}},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsdisplay_font_encoding_flags", FldName: "encoding", TypeSize: 4}}, Vals: []uint64{0, 1}, BitMask: true},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "fontwidth", TypeSize: 4}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "fontheight", TypeSize: 4}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "stride", TypeSize: 4}}},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsdisplay_font_order_flags", FldName: "bitorder", TypeSize: 4}}, Vals: []uint64{0, 1, 2}, BitMask: true},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsdisplay_font_order_flags", FldName: "byteorder", TypeSize: 4}}, Vals: []uint64{0, 1, 2}, BitMask: true},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "pad", TypeSize: 4}}, IsPad: true},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "intptr", FldName: "cookie", TypeSize: 8}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "intptr", FldName: "data", TypeSize: 8}}},
+	}}},
+	{Key: StructKey{Name: "wsdisplay_font", Dir: 1}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "wsdisplay_font", TypeSize: 88, ArgDir: 1}, Fields: []Type{
+		&BufferType{TypeCommon: TypeCommon{TypeName: "filename", FldName: "name", TypeSize: 32, ArgDir: 1}, Kind: 3},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "index", TypeSize: 4, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "firstchar", TypeSize: 4, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "numchars", TypeSize: 4, ArgDir: 1}}},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsdisplay_font_encoding_flags", FldName: "encoding", TypeSize: 4, ArgDir: 1}}, Vals: []uint64{0, 1}, BitMask: true},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "fontwidth", TypeSize: 4, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "fontheight", TypeSize: 4, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "stride", TypeSize: 4, ArgDir: 1}}},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsdisplay_font_order_flags", FldName: "bitorder", TypeSize: 4, ArgDir: 1}}, Vals: []uint64{0, 1, 2}, BitMask: true},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsdisplay_font_order_flags", FldName: "byteorder", TypeSize: 4, ArgDir: 1}}, Vals: []uint64{0, 1, 2}, BitMask: true},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "pad", TypeSize: 4}}, IsPad: true},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "intptr", FldName: "cookie", TypeSize: 8, ArgDir: 1}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "intptr", FldName: "data", TypeSize: 8, ArgDir: 1}}},
+	}}},
+	{Key: StructKey{Name: "wsdisplay_screentype"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "wsdisplay_screentype", TypeSize: 40}, Fields: []Type{
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "idx", TypeSize: 4}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "nidx", TypeSize: 4}}},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "filename", FldName: "name", TypeSize: 16}, Kind: 3},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "ncols", TypeSize: 4}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "nrows", TypeSize: 4}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "fontwidth", TypeSize: 4}}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "fontheight", TypeSize: 4}}},
+	}}},
+	{Key: StructKey{Name: "wsmux_device"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "wsmux_device", TypeSize: 8}, Fields: []Type{
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsmux_device_flags", FldName: "type", TypeSize: 4}}, Vals: []uint64{1, 2, 3}},
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "idx", TypeSize: 4}}},
+	}}},
+	{Key: StructKey{Name: "wsmux_device_list"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "wsmux_device_list", TypeSize: 260}, Fields: []Type{
+		&IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", FldName: "ndevices", TypeSize: 4}}},
+		&ArrayType{TypeCommon: TypeCommon{TypeName: "array", FldName: "devices", TypeSize: 256}, Type: &StructType{Key: StructKey{Name: "wsmux_device"}}, Kind: 1, RangeBegin: 32, RangeEnd: 32},
+	}}},
 }
 
 var syscalls_amd64 = []*Syscall{
@@ -711,6 +801,42 @@ var syscalls_amd64 = []*Syscall{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "optlen", TypeSize: 8}, Type: &LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", TypeSize: 4, ArgDir: 2}}, Buf: "optval"}},
 	}},
 	{NR: 24, Name: "getuid", CallName: "getuid", Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "uid", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
+	{NR: 54, Name: "ioctl$KDDISABIO", CallName: "ioctl", MissingArgs: 1, Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 536890173},
+	}},
+	{NR: 54, Name: "ioctl$KDENABIO", CallName: "ioctl", MissingArgs: 1, Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 536890172},
+	}},
+	{NR: 54, Name: "ioctl$KDGETLED", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 1074023233},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "kd_getled_flags", TypeSize: 4}}, Vals: []uint64{0, 1}, BitMask: true}},
+	}},
+	{NR: 54, Name: "ioctl$KDGKBMODE", CallName: "ioctl", MissingArgs: 1, Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 1074023174},
+	}},
+	{NR: 54, Name: "ioctl$KDMKTONE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 536890120},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}},
+	}},
+	{NR: 54, Name: "ioctl$KDSETLED", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 536890178},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "kd_setled_flags", TypeSize: 4}}, Vals: []uint64{1, 2, 4}, BitMask: true}},
+	}},
+	{NR: 54, Name: "ioctl$KDSETMODE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 536890122},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "kd_mode_flags", TypeSize: 4}}, Vals: []uint64{1, 0}, BitMask: true}},
+	}},
+	{NR: 54, Name: "ioctl$KDSETRAD", CallName: "ioctl", MissingArgs: 1, Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 536890179},
+	}},
 	{NR: 54, Name: "ioctl$TIOCCBRK", CallName: "ioctl", MissingArgs: 1, Args: []Type{
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_tty", FldName: "fd", TypeSize: 4}},
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 536900730},
@@ -873,6 +999,156 @@ var syscalls_amd64 = []*Syscall{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2148037735},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "winsize"}}},
 	}},
+	{NR: 54, Name: "ioctl$VT_ACTIVATE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 536901125},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}},
+	}},
+	{NR: 54, Name: "ioctl$VT_GETACTIVE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 1074034183},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4, ArgDir: 1}}}},
+	}},
+	{NR: 54, Name: "ioctl$VT_GETMODE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 1074296323},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "vt_mode", Dir: 1}}},
+	}},
+	{NR: 54, Name: "ioctl$VT_GETSTATE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 1074165348},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "vt_stat", Dir: 1}}},
+	}},
+	{NR: 54, Name: "ioctl$VT_OPENQRY", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 1074034177},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4, ArgDir: 1}}}},
+	}},
+	{NR: 54, Name: "ioctl$VT_RELDISP", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 536901124},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "vt_reldisp_flags", TypeSize: 4}}, Vals: []uint64{0, 1, 2}, BitMask: true}},
+	}},
+	{NR: 54, Name: "ioctl$VT_SETMODE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2148038146},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "vt_mode"}}},
+	}},
+	{NR: 54, Name: "ioctl$VT_WAITACTIVE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 536901126},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_ADDSCREEN", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2149865299},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsdisplay_addscreendata"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_DELFONT", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2153273167},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsdisplay_font"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_DELSCREEN", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2148030292},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsdisplay_delscreendata"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_GBURNER", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 1074550610},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsdisplay_burner", Dir: 1}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_GETEMULTYPE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 3222558558},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsdisplay_emultype"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_GETSCREEN", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 3223607125},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsdisplay_addscreendata"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_GETSCREENTYPE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 3223869277},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsdisplay_screentype"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_GMODE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 1074026315},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4, ArgDir: 1}}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_GVIDEO", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 1074026308},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4, ArgDir: 1}}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_LDFONT", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2153273165},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsdisplay_font"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_LSFONT", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 3227014990},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsdisplay_font", Dir: 1}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_SETSCREEN", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2147768150},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_SMODE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2147768140},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsdisplay_mode_flags", TypeSize: 4}}, Vals: []uint64{0, 1, 2}, BitMask: true}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_SVIDEO", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2147768133},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wsdisplay_svideo_flags", TypeSize: 4}}, Vals: []uint64{0, 1}, BitMask: true}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_USEFONT", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2153273168},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsdisplay_font"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSDISPLAYIO_WSMOUSED", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2149078872},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wscons_event"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSKBDIO_GETMODE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 1074026260},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4, ArgDir: 1}}}},
+	}},
+	{NR: 54, Name: "ioctl$WSKBDIO_SETMODE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2147768083},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "wskbd_mode_flags", TypeSize: 4}}, Vals: []uint64{1}, BitMask: true}},
+	}},
+	{NR: 54, Name: "ioctl$WSMUXIO_ADD_DEVICE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2148030305},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsmux_device"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSMUXIO_INJECTEVENT", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2149078880},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wscons_event"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSMUXIO_LIST_DEVICES", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 3238287203},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsmux_device_list"}}},
+	}},
+	{NR: 54, Name: "ioctl$WSMUXIO_REMOVE_DEVICE", CallName: "ioctl", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "fd", TypeSize: 4}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 8}}, Val: 2148030306},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "arg", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "wsmux_device"}}},
+	}},
 	{NR: 72, Name: "kevent", CallName: "kevent", Args: []Type{
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_kqueue", FldName: "kd", TypeSize: 4}},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "changelist", TypeSize: 8}, Type: &ArrayType{TypeCommon: TypeCommon{TypeName: "array", IsVarlen: true}, Type: &StructType{Key: StructKey{Name: "kevent"}}}},
@@ -1043,6 +1319,12 @@ var syscalls_amd64 = []*Syscall{
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 8}}, Vals: []uint64{0, 1, 2, 8, 512, 1024, 2048, 16, 32, 256, 65536, 128, 128, 128, 32768, 131072, 64}},
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 8}}},
 	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd_tty", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
+	{NR: 321, Name: "openat$wsdisplay", CallName: "openat", Args: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 8}}, Val: 18446744073709551516},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 13}, Kind: 2, Values: []string{"/dev/ttyCcfg\x00"}}},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 8}}, Vals: []uint64{0, 1, 2, 8, 512, 1024, 2048, 16, 32, 256, 65536, 128, 128, 128, 32768, 131072, 64}},
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 8}}},
+	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd_wsdisplay", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
 	{NR: 321, Name: "openat$zero", CallName: "openat", Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 8}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 10}, Kind: 2, Values: []string{"/dev/zero\x00"}}},
@@ -1593,6 +1875,21 @@ var consts_amd64 = []ConstValue{
 	{Name: "ITIMER_PROF", Value: 2},
 	{Name: "ITIMER_REAL"},
 	{Name: "ITIMER_VIRTUAL", Value: 1},
+	{Name: "KDDISABIO", Value: 536890173},
+	{Name: "KDENABIO", Value: 536890172},
+	{Name: "KDGETLED", Value: 1074023233},
+	{Name: "KDGKBMODE", Value: 1074023174},
+	{Name: "KDMKTONE", Value: 536890120},
+	{Name: "KDSETLED", Value: 536890178},
+	{Name: "KDSETMODE", Value: 536890122},
+	{Name: "KDSETRAD", Value: 536890179},
+	{Name: "KD_GRAPHICS", Value: 1},
+	{Name: "KD_TEXT"},
+	{Name: "K_RAW"},
+	{Name: "K_XLATE", Value: 1},
+	{Name: "LED_CAP", Value: 1},
+	{Name: "LED_NUM", Value: 2},
+	{Name: "LED_SCR", Value: 4},
 	{Name: "LOCK_EX", Value: 2},
 	{Name: "LOCK_NB", Value: 4},
 	{Name: "LOCK_SH", Value: 1},
@@ -1901,11 +2198,70 @@ var consts_amd64 = []ConstValue{
 	{Name: "TIOCSTOP", Value: 536900719},
 	{Name: "TIOCSTSTAMP", Value: 2148037722},
 	{Name: "TIOCSWINSZ", Value: 2148037735},
+	{Name: "VT_ACKACQ", Value: 2},
+	{Name: "VT_ACTIVATE", Value: 536901125},
+	{Name: "VT_AUTO"},
+	{Name: "VT_FALSE"},
+	{Name: "VT_GETACTIVE", Value: 1074034183},
+	{Name: "VT_GETMODE", Value: 1074296323},
+	{Name: "VT_GETSTATE", Value: 1074165348},
+	{Name: "VT_OPENQRY", Value: 1074034177},
+	{Name: "VT_PROCESS", Value: 1},
+	{Name: "VT_RELDISP", Value: 536901124},
+	{Name: "VT_SETMODE", Value: 2148038146},
+	{Name: "VT_TRUE", Value: 1},
+	{Name: "VT_WAITACTIVE", Value: 536901126},
 	{Name: "WCONTINUED", Value: 8},
 	{Name: "WNOHANG", Value: 1},
+	{Name: "WSDISPLAYIO_ADDSCREEN", Value: 2149865299},
+	{Name: "WSDISPLAYIO_DELFONT", Value: 2153273167},
+	{Name: "WSDISPLAYIO_DELSCREEN", Value: 2148030292},
+	{Name: "WSDISPLAYIO_GBURNER", Value: 1074550610},
+	{Name: "WSDISPLAYIO_GETEMULTYPE", Value: 3222558558},
+	{Name: "WSDISPLAYIO_GETSCREEN", Value: 3223607125},
+	{Name: "WSDISPLAYIO_GETSCREENTYPE", Value: 3223869277},
+	{Name: "WSDISPLAYIO_GMODE", Value: 1074026315},
+	{Name: "WSDISPLAYIO_GVIDEO", Value: 1074026308},
+	{Name: "WSDISPLAYIO_LDFONT", Value: 2153273165},
+	{Name: "WSDISPLAYIO_LSFONT", Value: 3227014990},
+	{Name: "WSDISPLAYIO_MODE_DUMBFB", Value: 2},
+	{Name: "WSDISPLAYIO_MODE_EMUL"},
+	{Name: "WSDISPLAYIO_MODE_MAPPED", Value: 1},
+	{Name: "WSDISPLAYIO_SETSCREEN", Value: 2147768150},
+	{Name: "WSDISPLAYIO_SMODE", Value: 2147768140},
+	{Name: "WSDISPLAYIO_SVIDEO", Value: 2147768133},
+	{Name: "WSDISPLAYIO_USEFONT", Value: 2153273168},
+	{Name: "WSDISPLAYIO_VIDEO_OFF"},
+	{Name: "WSDISPLAYIO_VIDEO_ON", Value: 1},
+	{Name: "WSDISPLAYIO_WSMOUSED", Value: 2149078872},
+	{Name: "WSDISPLAY_BURN_KBD", Value: 2},
+	{Name: "WSDISPLAY_BURN_MOUSE", Value: 4},
+	{Name: "WSDISPLAY_BURN_OUTPUT", Value: 8},
+	{Name: "WSDISPLAY_BURN_VBLANK", Value: 1},
+	{Name: "WSDISPLAY_DELSCR_FORCE", Value: 1},
+	{Name: "WSDISPLAY_DELSCR_QUIET", Value: 2},
+	{Name: "WSDISPLAY_FONTENC_IBM", Value: 1},
+	{Name: "WSDISPLAY_FONTENC_ISO"},
+	{Name: "WSDISPLAY_FONTORDER_KNOWN"},
+	{Name: "WSDISPLAY_FONTORDER_L2R", Value: 1},
+	{Name: "WSDISPLAY_FONTORDER_R2L", Value: 2},
+	{Name: "WSEMUL_NAME_SIZE", Value: 16},
+	{Name: "WSFONT_NAME_SIZE", Value: 32},
+	{Name: "WSKBDIO_GETMODE", Value: 1074026260},
+	{Name: "WSKBDIO_SETMODE", Value: 2147768083},
+	{Name: "WSKBD_RAW", Value: 1},
+	{Name: "WSMUXIO_ADD_DEVICE", Value: 2148030305},
+	{Name: "WSMUXIO_INJECTEVENT", Value: 2149078880},
+	{Name: "WSMUXIO_LIST_DEVICES", Value: 3238287203},
+	{Name: "WSMUXIO_REMOVE_DEVICE", Value: 2148030306},
+	{Name: "WSMUX_KBD", Value: 2},
+	{Name: "WSMUX_MAXDEV", Value: 32},
+	{Name: "WSMUX_MOUSE", Value: 1},
+	{Name: "WSMUX_MUX", Value: 3},
+	{Name: "WSSCREEN_NAME_SIZE", Value: 16},
 	{Name: "WUNTRACED", Value: 2},
 	{Name: "__MAP_NOFAULT", Value: 8192},
 	{Name: "__MAP_NOREPLACE", Value: 2048},
 }
 
-const revision_amd64 = "60f5ad8b1c83995c0a87e47932b16ce569a0c5c1"
+const revision_amd64 = "35e246656fc7c370061141d1e48c0a7a57008792"
diff --git a/sys/openbsd/sys_amd64.const b/sys/openbsd/sys_amd64.const
index 5acde94d1..96f56304d 100644
--- a/sys/openbsd/sys_amd64.const
+++ b/sys/openbsd/sys_amd64.const
@@ -1,5 +1,6 @@
 # AUTOGENERATED FILE
 AT_EACCESS = 1
+AT_FDCWD = 18446744073709551516
 AT_REMOVEDIR = 8
 AT_SYMLINK_FOLLOW = 4
 AT_SYMLINK_NOFOLLOW = 2
@@ -95,6 +96,7 @@ SYS_mkdirat = 318
 SYS_mknod = 14
 SYS_mknodat = 320
 SYS_nanosleep = 91
+SYS_openat = 321
 SYS_pipe = 263
 SYS_pledge = 108
 SYS_poll = 252
diff --git a/sys/openbsd/tty_amd64.const b/sys/openbsd/tty_amd64.const
index caf6a3981..85dd090fa 100644
--- a/sys/openbsd/tty_amd64.const
+++ b/sys/openbsd/tty_amd64.const
@@ -1,6 +1,8 @@
 # AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
 NCCS = 20
 SYS_ioctl = 54
+SYS_openat = 321
 TIOCCBRK = 536900730
 TIOCCDTR = 536900728
 TIOCCHKVERAUTH = 536900638
diff --git a/sys/openbsd/wscons.txt b/sys/openbsd/wscons.txt
new file mode 100644
index 000000000..ef8fd3937
--- /dev/null
+++ b/sys/openbsd/wscons.txt
@@ -0,0 +1,174 @@
+# Copyright 2019 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 <time.h>
+include <sys/tty.h>
+include <fcntl.h>
+
+include <dev/wscons/wsconsio.h>
+include <dev/wscons/wsdisplay_usl_io.h>
+
+resource fd_wsdisplay[fd]
+
+openat$wsdisplay(fd const[AT_FDCWD], file ptr[in, string["/dev/ttyCcfg"]], flags flags[open_flags], mode const[0]) fd_wsdisplay
+
+ioctl$KDDISABIO(fd fd_wsdisplay, cmd const[KDDISABIO])
+ioctl$KDENABIO(fd fd_wsdisplay, cmd const[KDENABIO])
+ioctl$KDGETLED(fd fd_wsdisplay, cmd const[KDGETLED], arg ptr[in, kd_getled])
+ioctl$KDGKBMODE(fd fd_wsdisplay, cmd const[KDGKBMODE])
+ioctl$KDMKTONE(fd fd_wsdisplay, cmd const[KDMKTONE], arg ptr[in, int32])
+ioctl$KDSETLED(fd fd_wsdisplay, cmd const[KDSETLED], arg ptr[in, kd_setled])
+ioctl$KDSETMODE(fd fd_wsdisplay, cmd const[KDSETMODE], arg ptr[in, kd_mode])
+ioctl$KDSETRAD(fd fd_wsdisplay, cmd const[KDSETRAD])
+ioctl$VT_ACTIVATE(fd fd_wsdisplay, cmd const[VT_ACTIVATE], arg ptr[in, int32])
+ioctl$VT_GETACTIVE(fd fd_wsdisplay, cmd const[VT_GETACTIVE], arg ptr[out, int32])
+ioctl$VT_GETMODE(fd fd_wsdisplay, cmd const[VT_GETMODE], arg ptr[out, vt_mode])
+ioctl$VT_GETSTATE(fd fd_wsdisplay, cmd const[VT_GETSTATE], arg ptr[out, vt_stat])
+ioctl$VT_OPENQRY(fd fd_wsdisplay, cmd const[VT_OPENQRY], arg ptr[out, int32])
+ioctl$VT_RELDISP(fd fd_wsdisplay, cmd const[VT_RELDISP], arg ptr[in, vt_reldisp])
+ioctl$VT_SETMODE(fd fd_wsdisplay, cmd const[VT_SETMODE], arg ptr[in, vt_mode])
+ioctl$VT_WAITACTIVE(fd fd_wsdisplay, cmd const[VT_WAITACTIVE], arg ptr[in, int32])
+ioctl$WSDISPLAYIO_ADDSCREEN(fd fd_wsdisplay, cmd const[WSDISPLAYIO_ADDSCREEN], arg ptr[in, wsdisplay_addscreendata])
+ioctl$WSDISPLAYIO_DELFONT(fd fd_wsdisplay, cmd const[WSDISPLAYIO_DELFONT], arg ptr[in, wsdisplay_font])
+ioctl$WSDISPLAYIO_DELSCREEN(fd fd_wsdisplay, cmd const[WSDISPLAYIO_DELSCREEN], arg ptr[in, wsdisplay_delscreendata])
+ioctl$WSDISPLAYIO_GBURNER(fd fd_wsdisplay, cmd const[WSDISPLAYIO_GBURNER], arg ptr[out, wsdisplay_burner])
+ioctl$WSDISPLAYIO_GETEMULTYPE(fd fd_wsdisplay, cmd const[WSDISPLAYIO_GETEMULTYPE], arg ptr[in, wsdisplay_emultype])
+ioctl$WSDISPLAYIO_GETSCREEN(fd fd_wsdisplay, cmd const[WSDISPLAYIO_GETSCREEN], arg ptr[in, wsdisplay_addscreendata])
+ioctl$WSDISPLAYIO_GETSCREENTYPE(fd fd_wsdisplay, cmd const[WSDISPLAYIO_GETSCREENTYPE], arg ptr[in, wsdisplay_screentype])
+ioctl$WSDISPLAYIO_GMODE(fd fd_wsdisplay, cmd const[WSDISPLAYIO_GMODE], arg ptr[out, int32])
+ioctl$WSDISPLAYIO_GVIDEO(fd fd_wsdisplay, cmd const[WSDISPLAYIO_GVIDEO], arg ptr[out, int32])
+ioctl$WSDISPLAYIO_LDFONT(fd fd_wsdisplay, cmd const[WSDISPLAYIO_LDFONT], arg ptr[in, wsdisplay_font])
+ioctl$WSDISPLAYIO_LSFONT(fd fd_wsdisplay, cmd const[WSDISPLAYIO_LSFONT], arg ptr[out, wsdisplay_font])
+ioctl$WSDISPLAYIO_SETSCREEN(fd fd_wsdisplay, cmd const[WSDISPLAYIO_SETSCREEN], arg ptr[in, int32])
+ioctl$WSDISPLAYIO_SMODE(fd fd_wsdisplay, cmd const[WSDISPLAYIO_SMODE], arg ptr[in, wsdisplay_mode])
+ioctl$WSDISPLAYIO_SVIDEO(fd fd_wsdisplay, cmd const[WSDISPLAYIO_SVIDEO], arg ptr[in, wsdisplay_svideo])
+ioctl$WSDISPLAYIO_USEFONT(fd fd_wsdisplay, cmd const[WSDISPLAYIO_USEFONT], arg ptr[in, wsdisplay_font])
+ioctl$WSDISPLAYIO_WSMOUSED(fd fd_wsdisplay, cmd const[WSDISPLAYIO_WSMOUSED], arg ptr[in, wscons_event])
+ioctl$WSKBDIO_GETMODE(fd fd_wsdisplay, cmd const[WSKBDIO_GETMODE], arg ptr[out, int32])
+ioctl$WSKBDIO_SETMODE(fd fd_wsdisplay, cmd const[WSKBDIO_SETMODE], arg ptr[in, wskbd_mode])
+ioctl$WSMUXIO_ADD_DEVICE(fd fd_wsdisplay, cmd const[WSMUXIO_ADD_DEVICE], arg ptr[in, wsmux_device])
+ioctl$WSMUXIO_INJECTEVENT(fd fd_wsdisplay, cmd const[WSMUXIO_INJECTEVENT], arg ptr[in, wscons_event])
+ioctl$WSMUXIO_LIST_DEVICES(fd fd_wsdisplay, cmd const[WSMUXIO_LIST_DEVICES], arg ptr[in, wsmux_device_list])
+ioctl$WSMUXIO_REMOVE_DEVICE(fd fd_wsdisplay, cmd const[WSMUXIO_REMOVE_DEVICE], arg ptr[in, wsmux_device])
+
+wsmux_device {
+	type	flags[wsmux_device_flags, int32]
+	idx	int32
+}
+
+wsmux_device_list {
+	ndevices	int32
+	devices		array[wsmux_device, WSMUX_MAXDEV]
+}
+
+wscons_event {
+	type	int32
+	value	int32
+	time	timespec
+}
+
+wsdisplay_addscreendata {
+	idx		int32
+# NEED: random string of given max size
+	screentype	string[filename, WSSCREEN_NAME_SIZE]
+# NEED: random string of given max size
+	emul		string[filename, WSEMUL_NAME_SIZE]
+}
+
+wsdisplay_burner {
+	off	int32
+	on	int32
+	flags	flags[wsdisplay_burner_flags, int32]
+}
+
+wsdisplay_delscreendata {
+	idx	int32
+	flags	flags[wsdisplay_delscreendata_flags, int32]
+}
+
+wsdisplay_emultype {
+	idx	int32
+	name	string[filename, WSSCREEN_NAME_SIZE]
+}
+
+wsdisplay_font {
+# NEED: random string of given max size
+	name		string[filename, WSFONT_NAME_SIZE]
+	index		int32
+	firstchar	int32
+	numchars	int32
+	encoding	flags[wsdisplay_font_encoding_flags, int32]
+	fontwidth	int32
+	fontheight	int32
+	stride		int32
+	bitorder	flags[wsdisplay_font_order_flags, int32]
+	byteorder	flags[wsdisplay_font_order_flags, int32]
+	cookie		intptr
+	data		intptr
+}
+
+wsdisplay_screentype {
+	idx		int32
+	nidx		int32
+# NEED: random string of given max size
+	name		string[filename, WSSCREEN_NAME_SIZE]
+	ncols		int32
+	nrows		int32
+	fontwidth	int32
+	fontheight	int32
+}
+
+vt_stat {
+	v_active	int16
+	v_signal	int16
+	v_state		int16
+}
+
+vt_mode {
+	mode	flags[vt_mode_flags, int8]
+	waitv	int8
+	relsig	int16
+	acqsig	int16
+	frsig	int16
+}
+
+type vt_reldisp flags[vt_reldisp_flags, int32]
+
+type kd_mode flags[kd_mode_flags, int32]
+
+type kd_setled flags[kd_setled_flags, int32]
+
+type kd_getled flags[kd_getled_flags, int32]
+
+type wskbd_mode flags[wskbd_mode_flags, int32]
+
+type wsdisplay_mode flags[wsdisplay_mode_flags, int32]
+
+type wsdisplay_svideo flags[wsdisplay_svideo_flags, int32]
+
+vt_mode_flags = VT_AUTO, VT_PROCESS
+
+vt_reldisp_flags = VT_FALSE, VT_TRUE, VT_ACKACQ
+
+kd_mode_flags = KD_GRAPHICS, KD_TEXT
+
+kd_setled_flags = LED_CAP, LED_NUM, LED_SCR
+
+kd_getled_flags = K_RAW, K_XLATE
+
+wskbd_mode_flags = WSKBD_RAW
+
+wsdisplay_delscreendata_flags = WSDISPLAY_DELSCR_FORCE, WSDISPLAY_DELSCR_QUIET
+
+wsdisplay_mode_flags = WSDISPLAYIO_MODE_EMUL, WSDISPLAYIO_MODE_MAPPED, WSDISPLAYIO_MODE_DUMBFB
+
+wsdisplay_font_encoding_flags = WSDISPLAY_FONTENC_ISO, WSDISPLAY_FONTENC_IBM
+
+wsdisplay_font_order_flags = WSDISPLAY_FONTORDER_KNOWN, WSDISPLAY_FONTORDER_L2R, WSDISPLAY_FONTORDER_R2L
+
+wsdisplay_svideo_flags = WSDISPLAYIO_VIDEO_OFF, WSDISPLAYIO_VIDEO_ON
+
+wsdisplay_burner_flags = WSDISPLAY_BURN_VBLANK, WSDISPLAY_BURN_KBD, WSDISPLAY_BURN_MOUSE, WSDISPLAY_BURN_OUTPUT
+
+wsmux_device_flags = WSMUX_MOUSE, WSMUX_KBD, WSMUX_MUX
diff --git a/sys/openbsd/wscons_amd64.const b/sys/openbsd/wscons_amd64.const
new file mode 100644
index 000000000..2a49e18c9
--- /dev/null
+++ b/sys/openbsd/wscons_amd64.const
@@ -0,0 +1,78 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+KDDISABIO = 536890173
+KDENABIO = 536890172
+KDGETLED = 1074023233
+KDGKBMODE = 1074023174
+KDMKTONE = 536890120
+KDSETLED = 536890178
+KDSETMODE = 536890122
+KDSETRAD = 536890179
+KD_GRAPHICS = 1
+KD_TEXT = 0
+K_RAW = 0
+K_XLATE = 1
+LED_CAP = 1
+LED_NUM = 2
+LED_SCR = 4
+SYS_ioctl = 54
+SYS_openat = 321
+VT_ACKACQ = 2
+VT_ACTIVATE = 536901125
+VT_AUTO = 0
+VT_FALSE = 0
+VT_GETACTIVE = 1074034183
+VT_GETMODE = 1074296323
+VT_GETSTATE = 1074165348
+VT_OPENQRY = 1074034177
+VT_PROCESS = 1
+VT_RELDISP = 536901124
+VT_SETMODE = 2148038146
+VT_TRUE = 1
+VT_WAITACTIVE = 536901126
+WSDISPLAYIO_ADDSCREEN = 2149865299
+WSDISPLAYIO_DELFONT = 2153273167
+WSDISPLAYIO_DELSCREEN = 2148030292
+WSDISPLAYIO_GBURNER = 1074550610
+WSDISPLAYIO_GETEMULTYPE = 3222558558
+WSDISPLAYIO_GETSCREEN = 3223607125
+WSDISPLAYIO_GETSCREENTYPE = 3223869277
+WSDISPLAYIO_GMODE = 1074026315
+WSDISPLAYIO_GVIDEO = 1074026308
+WSDISPLAYIO_LDFONT = 2153273165
+WSDISPLAYIO_LSFONT = 3227014990
+WSDISPLAYIO_MODE_DUMBFB = 2
+WSDISPLAYIO_MODE_EMUL = 0
+WSDISPLAYIO_MODE_MAPPED = 1
+WSDISPLAYIO_SETSCREEN = 2147768150
+WSDISPLAYIO_SMODE = 2147768140
+WSDISPLAYIO_SVIDEO = 2147768133
+WSDISPLAYIO_USEFONT = 2153273168
+WSDISPLAYIO_VIDEO_OFF = 0
+WSDISPLAYIO_VIDEO_ON = 1
+WSDISPLAYIO_WSMOUSED = 2149078872
+WSDISPLAY_BURN_KBD = 2
+WSDISPLAY_BURN_MOUSE = 4
+WSDISPLAY_BURN_OUTPUT = 8
+WSDISPLAY_BURN_VBLANK = 1
+WSDISPLAY_DELSCR_FORCE = 1
+WSDISPLAY_DELSCR_QUIET = 2
+WSDISPLAY_FONTENC_IBM = 1
+WSDISPLAY_FONTENC_ISO = 0
+WSDISPLAY_FONTORDER_KNOWN = 0
+WSDISPLAY_FONTORDER_L2R = 1
+WSDISPLAY_FONTORDER_R2L = 2
+WSEMUL_NAME_SIZE = 16
+WSFONT_NAME_SIZE = 32
+WSKBDIO_GETMODE = 1074026260
+WSKBDIO_SETMODE = 2147768083
+WSKBD_RAW = 1
+WSMUXIO_ADD_DEVICE = 2148030305
+WSMUXIO_INJECTEVENT = 2149078880
+WSMUXIO_LIST_DEVICES = 3238287203
+WSMUXIO_REMOVE_DEVICE = 2148030306
+WSMUX_KBD = 2
+WSMUX_MAXDEV = 32
+WSMUX_MOUSE = 1
+WSMUX_MUX = 3
+WSSCREEN_NAME_SIZE = 16