sys/linux: more tuning of tty devices

Enable /dev/tty{1-6}. These seem to be special.
Few first connected to framebuffers. But the rest
seem to be different from e.g. tty20 anyway.
Also /dev/tty is different from the rest.
/dev/ttyS3 and /dev/ttyprintk are different.
Properly pair BSD pty terminals.

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},