# Code generated by syz-sysgen. DO NOT EDIT.
arches = amd64
AT_FDCWD = ???
CONS_GETVERS = amd64:1074029386
KDDISABIO = amd64:536890173
KDENABIO = amd64:536890172
KDGETLED = amd64:1074023233
KDGKBMODE = amd64:1074023174
KDMKTONE = amd64:536890120
KDSETLED = amd64:536890178
KDSETMODE = amd64:536890122
KDSETRAD = amd64:536890179
KDSKBMODE = amd64:536890119
SYS_ioctl = amd64:54
SYS_openat = amd64:468
VT_ACTIVATE = amd64:536901125
VT_GETACTIVE = amd64:1074034183
VT_OPENQRY = amd64:1074034177
VT_RELDISP = amd64:536901124
VT_WAITACTIVE = amd64:536901126
WSCONS_EVENT_ALL_KEYS_UP = amd64:3
WSCONS_EVENT_ASCII = amd64:13
WSCONS_EVENT_KEY_DOWN = amd64:2
WSCONS_EVENT_KEY_UP = amd64:1
WSCONS_EVENT_MOUSE_ABSOLUTE_W = amd64:15
WSCONS_EVENT_MOUSE_ABSOLUTE_X = amd64:8
WSCONS_EVENT_MOUSE_ABSOLUTE_Y = amd64:9
WSCONS_EVENT_MOUSE_ABSOLUTE_Z = amd64:11
WSCONS_EVENT_MOUSE_DELTA_W = amd64:14
WSCONS_EVENT_MOUSE_DELTA_X = amd64:6
WSCONS_EVENT_MOUSE_DELTA_Y = amd64:7
WSCONS_EVENT_MOUSE_DELTA_Z = amd64:10
WSCONS_EVENT_MOUSE_DOWN = amd64:5
WSCONS_EVENT_MOUSE_UP = amd64:4
WSCONS_EVENT_SCREEN_SWITCH = amd64:12
WSDISPLAYIO_ADDSCREEN = amd64:2149078862
WSDISPLAYIO_BUS_PCI = amd64:0
WSDISPLAYIO_BUS_SBUS = amd64:1
WSDISPLAYIO_BUS_SOC = amd64:2
WSDISPLAYIO_DELSCREEN = amd64:2148030287
WSDISPLAYIO_DGSCROLL = amd64:1074550615
WSDISPLAYIO_DOBLIT = amd64:3223607145
WSDISPLAYIO_DSSCROLL = amd64:2148292440
WSDISPLAYIO_GBORDER = amd64:1074026331
WSDISPLAYIO_GCURMAX = amd64:1074288456
WSDISPLAYIO_GCURPOS = amd64:1074288454
WSDISPLAYIO_GCURSOR = amd64:3226490697
WSDISPLAYIO_GETACTIVESCREEN = amd64:1074026324
WSDISPLAYIO_GETCMAP = amd64:2149603138
WSDISPLAYIO_GETPARAM = amd64:3223344978
WSDISPLAYIO_GETWSCHAR = amd64:3222296405
WSDISPLAYIO_GET_BUSID = amd64:1076123493
WSDISPLAYIO_GET_EDID = amd64:3222296422
WSDISPLAYIO_GET_FBINFO = amd64:3225966440
WSDISPLAYIO_GINFO = amd64:1074812737
WSDISPLAYIO_GMODE = amd64:1074026315
WSDISPLAYIO_GMSGATTRS = amd64:1075337049
WSDISPLAYIO_GTYPE = amd64:1074026304
WSDISPLAYIO_GVIDEO = amd64:1074026308
WSDISPLAYIO_LDFONT = amd64:2150651725
WSDISPLAYIO_LINEBYTES = amd64:1074026335
WSDISPLAYIO_PARAM_BACKLIGHT = amd64:1
WSDISPLAYIO_PARAM_BRIGHTNESS = amd64:2
WSDISPLAYIO_PARAM_CONTRAST = amd64:3
WSDISPLAYIO_PUTCMAP = amd64:2149603139
WSDISPLAYIO_PUTWSCHAR = amd64:3222296406
WSDISPLAYIO_SBORDER = amd64:2147768156
WSDISPLAYIO_SCURPOS = amd64:2148030279
WSDISPLAYIO_SCURSOR = amd64:2152748874
WSDISPLAYIO_SETPARAM = amd64:3223344979
WSDISPLAYIO_SETVERSION = amd64:2147768160
WSDISPLAYIO_SET_POLLING = amd64:2147768167
WSDISPLAYIO_SFONT = amd64:2148030288
WSDISPLAYIO_SMODE = amd64:2147768140
WSDISPLAYIO_SMSGATTRS = amd64:2149078874
WSDISPLAYIO_SPROGRESS = amd64:2147768158
WSDISPLAYIO_SSPLASH = amd64:2147768157
WSDISPLAYIO_SVIDEO = amd64:2147768133
WSDISPLAYIO_WAITBLIT = amd64:3223607146
WSDISPLAY_CHAR_BLINK = amd64:2
WSDISPLAY_CHAR_BRIGHT = amd64:1
WSDISPLAY_CURSOR_DOALL = amd64:31
WSDISPLAY_CURSOR_DOCMAP = amd64:8
WSDISPLAY_CURSOR_DOCUR = amd64:1
WSDISPLAY_CURSOR_DOHOT = amd64:4
WSDISPLAY_CURSOR_DOPOS = amd64:2
WSDISPLAY_CURSOR_DOSHAPE = amd64:16
WSDISPLAY_DELSCR_FORCE = amd64:1
WSDISPLAY_FONTENC_IBM = amd64:1
WSDISPLAY_FONTENC_ISO = amd64:0
WSDISPLAY_FONTENC_ISO2 = amd64:4
WSDISPLAY_FONTENC_ISO7 = amd64:3
WSDISPLAY_FONTENC_KOI8_R = amd64:5
WSDISPLAY_FONTENC_PCVT = amd64:2
WSDISPLAY_FONTORDER_KNOWN = amd64:0
WSDISPLAY_FONTORDER_L2R = amd64:1
WSDISPLAY_FONTORDER_R2L = amd64:2
WSDISPLAY_SCROLL_DOALL = amd64:3
WSDISPLAY_SCROLL_DOFASTLINES = amd64:1
WSDISPLAY_SCROLL_DOSLOWLINES = amd64:2
WSFB_BLIT_COPY = amd64:2
WSFB_BLIT_FILL = amd64:1
WSFB_BLIT_TRANS = amd64:3
WSFB_CI = amd64:1
WSFB_GREYSCALE = amd64:2
WSFB_RGB = amd64:0
WSFB_VRAM_IS_RAM = amd64:1
WSFB_VRAM_IS_SPLIT = amd64:2
WSFB_YUV = amd64:3
WSKBDIO_BELL = amd64:536893185
WSKBDIO_COMPLEXBELL = amd64:2148554498
WSKBDIO_GETBELL = amd64:1074812676
WSKBDIO_GETDEFAULTBELL = amd64:1074812678
WSKBDIO_GETDEFAULTKEYREPEAT = amd64:1074550538
WSKBDIO_GETENCODING = amd64:1074026255
WSKBDIO_GETKEYCLICK = amd64:1074026262
WSKBDIO_GETKEYREPEAT = amd64:1074550536
WSKBDIO_GETLEDS = amd64:1074026252
WSKBDIO_GETMAP = amd64:3222296333
WSKBDIO_GETMODE = amd64:1074026260
WSKBDIO_GETSCROLL = amd64:1074550551
WSKBDIO_GTYPE = amd64:1074026240
WSKBDIO_SETBELL = amd64:2148554499
WSKBDIO_SETDEFAULTBELL = amd64:2148554501
WSKBDIO_SETDEFAULTKEYREPEAT = amd64:2148292361
WSKBDIO_SETENCODING = amd64:2147768080
WSKBDIO_SETKEYCLICK = amd64:2147768085
WSKBDIO_SETKEYREPEAT = amd64:2148292359
WSKBDIO_SETLEDS = amd64:2147768075
WSKBDIO_SETMAP = amd64:2148554510
WSKBDIO_SETMODE = amd64:2147768083
WSKBDIO_SETSCROLL = amd64:2148292376
WSKBDIO_SETVERSION = amd64:2147768089
WSKBD_BELL_DOALL = amd64:7
WSKBD_BELL_DOPERIOD = amd64:2
WSKBD_BELL_DOPITCH = amd64:1
WSKBD_BELL_DOVOLUME = amd64:4
WSKBD_KEYREPEAT_DOALL = amd64:3
WSKBD_KEYREPEAT_DODEL1 = amd64:1
WSKBD_KEYREPEAT_DODELN = amd64:2
WSKBD_SCROLL_DOALL = amd64:3
WSKBD_SCROLL_DOMODE = amd64:2
WSKBD_SCROLL_DOMODIFIER = amd64:1
WSKBD_SCROLL_MODE_HOLD = amd64:1
WSKBD_SCROLL_MODE_NORMAL = amd64:0
WSMOUSEIO_GCALIBCOORDS = amd64:1091852069
WSMOUSEIO_GETID = amd64:3238549286
WSMOUSEIO_GETREPEAT = amd64:1075336999
WSMOUSEIO_GTYPE = amd64:1074026272
WSMOUSEIO_SCALIBCOORDS = amd64:2165593892
WSMOUSEIO_SETREPEAT = amd64:2149078824
WSMOUSEIO_SETVERSION = amd64:2147768105
WSMOUSEIO_SRATE = amd64:2147768099
WSMOUSEIO_SRES = amd64:2147768097
WSMOUSEIO_SSCALE = amd64:2148030242
WSMOUSE_ID_TYPE_UIDSTR = amd64:0
WSMUXIO_ADD_DEVICE = amd64:2148030305
WSMUXIO_INJECTEVENT = amd64:2149078884
WSMUXIO_LIST_DEVICES = amd64:3238287203
WSMUXIO_OINJECTEVENT = amd64:2149078880
WSMUXIO_REMOVE_DEVICE = amd64:2148030306
WSMUX_BELL = amd64:4
WSMUX_KBD = amd64:2
WSMUX_MOUSE = amd64:1
WSMUX_MUX = amd64:3
_O_WSDISPLAYIO_SETKEYBOARD = amd64:3221772113
_O_WSDISPLAY_KBD_ADD = amd64:0
_O_WSDISPLAY_KBD_DEL = amd64:1