1 files changed, 20 insertions, 5 deletions
diff --git a/executor/syscalls.h b/executor/syscalls.h
index 444cc8531..05580e4e1 100644
--- a/executor/syscalls.h
+++ b/executor/syscalls.h
@@ -3989,6 +3989,8 @@ const call_t syscalls[] = {
     {"openat$trusty_km", 295},
     {"openat$trusty_km_secure", 295},
     {"openat$trusty_storage", 295},
+    {"openat$tty", 295},
+    {"openat$ttyS3", 295},
     {"openat$ttynull", 295},
     {"openat$ttyprintk", 295},
     {"openat$tun", 295},
@@ -4809,7 +4811,8 @@ const call_t syscalls[] = {
     {"syz_open_dev$sndtimer", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$swradio", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$tlk_device", 0, (syscall_t)syz_open_dev},
-    {"syz_open_dev$tty", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$tty1", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$tty20", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$ttys", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$usbfs", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$usbmon", 0, (syscall_t)syz_open_dev},
@@ -7025,6 +7028,8 @@ const call_t syscalls[] = {
     {"openat$trusty_km", 257},
     {"openat$trusty_km_secure", 257},
     {"openat$trusty_storage", 257},
+    {"openat$tty", 257},
+    {"openat$ttyS3", 257},
     {"openat$ttynull", 257},
     {"openat$ttyprintk", 257},
     {"openat$tun", 257},
@@ -7846,7 +7851,8 @@ const call_t syscalls[] = {
     {"syz_open_dev$sndtimer", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$swradio", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$tlk_device", 0, (syscall_t)syz_open_dev},
-    {"syz_open_dev$tty", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$tty1", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$tty20", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$ttys", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$usbfs", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$usbmon", 0, (syscall_t)syz_open_dev},
@@ -10016,6 +10022,8 @@ const call_t syscalls[] = {
     {"openat$trusty_km", 322},
     {"openat$trusty_km_secure", 322},
     {"openat$trusty_storage", 322},
+    {"openat$tty", 322},
+    {"openat$ttyS3", 322},
     {"openat$ttynull", 322},
     {"openat$ttyprintk", 322},
     {"openat$tun", 322},
@@ -10835,7 +10843,8 @@ const call_t syscalls[] = {
     {"syz_open_dev$sndtimer", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$swradio", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$tlk_device", 0, (syscall_t)syz_open_dev},
-    {"syz_open_dev$tty", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$tty1", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$tty20", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$ttys", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$usbfs", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$usbmon", 0, (syscall_t)syz_open_dev},
@@ -12991,6 +13000,8 @@ const call_t syscalls[] = {
     {"openat$trusty_km", 56},
     {"openat$trusty_km_secure", 56},
     {"openat$trusty_storage", 56},
+    {"openat$tty", 56},
+    {"openat$ttyS3", 56},
     {"openat$ttynull", 56},
     {"openat$ttyprintk", 56},
     {"openat$tun", 56},
@@ -13798,7 +13809,8 @@ const call_t syscalls[] = {
     {"syz_open_dev$sndtimer", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$swradio", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$tlk_device", 0, (syscall_t)syz_open_dev},
-    {"syz_open_dev$tty", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$tty1", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$tty20", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$ttys", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$usbfs", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$usbmon", 0, (syscall_t)syz_open_dev},
@@ -15961,6 +15973,8 @@ const call_t syscalls[] = {
     {"openat$trusty_km", 286},
     {"openat$trusty_km_secure", 286},
     {"openat$trusty_storage", 286},
+    {"openat$tty", 286},
+    {"openat$ttyS3", 286},
     {"openat$ttynull", 286},
     {"openat$ttyprintk", 286},
     {"openat$tun", 286},
@@ -16779,7 +16793,8 @@ const call_t syscalls[] = {
     {"syz_open_dev$sndtimer", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$swradio", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$tlk_device", 0, (syscall_t)syz_open_dev},
-    {"syz_open_dev$tty", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$tty1", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$tty20", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$ttys", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$usbfs", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$usbmon", 0, (syscall_t)syz_open_dev},