diff options
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/defs.h | 2 | ||||
| -rw-r--r-- | executor/syscalls.h | 39 |
2 files changed, 40 insertions, 1 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}, |