sys/linux: add /dev/fb descriptions

Framebuffer descriptions + open more tty dev nodes.

1 files changed, 120 insertions, 0 deletions

diff --git a/executor/syscalls.h b/executor/syscalls.h
index e12abbe18..23ec66d02 100644
--- a/executor/syscalls.h
+++ b/executor/syscalls.h
@@ -2729,6 +2729,16 @@ const call_t syscalls[] = {
     {"ioctl$EXT4_IOC_PRECACHE_EXTENTS", 54},
     {"ioctl$EXT4_IOC_SETFLAGS", 54},
     {"ioctl$EXT4_IOC_SWAP_BOOT", 54},
+    {"ioctl$FBIOBLANK", 54},
+    {"ioctl$FBIOGETCMAP", 54},
+    {"ioctl$FBIOGET_CON2FBMAP", 54},
+    {"ioctl$FBIOGET_FSCREENINFO", 54},
+    {"ioctl$FBIOGET_VSCREENINFO", 54},
+    {"ioctl$FBIOPAN_DISPLAY", 54},
+    {"ioctl$FBIOPUTCMAP", 54},
+    {"ioctl$FBIOPUT_CON2FBMAP", 54},
+    {"ioctl$FBIOPUT_VSCREENINFO", 54},
+    {"ioctl$FBIO_WAITFORVSYNC", 54},
     {"ioctl$FIBMAP", 54},
     {"ioctl$FICLONE", 54},
     {"ioctl$FICLONERANGE", 54},
@@ -2851,6 +2861,10 @@ const call_t syscalls[] = {
     {"ioctl$KDDELIO", 54},
     {"ioctl$KDDISABIO", 54},
     {"ioctl$KDENABIO", 54},
+    {"ioctl$KDFONTOP_COPY", 54},
+    {"ioctl$KDFONTOP_GET", 54},
+    {"ioctl$KDFONTOP_SET", 54},
+    {"ioctl$KDFONTOP_SET_DEF", 54},
     {"ioctl$KDGETKEYCODE", 54},
     {"ioctl$KDGETLED", 54},
     {"ioctl$KDGETMODE", 54},
@@ -3803,6 +3817,7 @@ const call_t syscalls[] = {
     {"mmap$IORING_OFF_SQ_RING", 192},
     {"mmap$binder", 192},
     {"mmap$dsp", 192},
+    {"mmap$fb", 192},
     {"mmap$perf", 192},
     {"mmap$snddsp", 192},
     {"mmap$snddsp_control", 192},
@@ -3973,6 +3988,7 @@ const call_t syscalls[] = {
     {"openat$trusty_km_secure", 295},
     {"openat$trusty_storage", 295},
     {"openat$ttynull", 295},
+    {"openat$ttyprintk", 295},
     {"openat$tun", 295},
     {"openat$ubi_ctrl", 295},
     {"openat$udambuf", 295},
@@ -3981,6 +3997,8 @@ const call_t syscalls[] = {
     {"openat$urandom", 295},
     {"openat$userio", 295},
     {"openat$vcs", 295},
+    {"openat$vcsa", 295},
+    {"openat$vcsu", 295},
     {"openat$vfio", 295},
     {"openat$vga_arbiter", 295},
     {"openat$vhci", 295},
@@ -4096,6 +4114,7 @@ const call_t syscalls[] = {
     {"read$char_usb", 3},
     {"read$dsp", 3},
     {"read$eventfd", 3},
+    {"read$fb", 3},
     {"read$hiddev", 3},
     {"read$hidraw", 3},
     {"read$midi", 3},
@@ -4775,6 +4794,7 @@ const call_t syscalls[] = {
     {"syz_open_dev$midi", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$mouse", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$ndb", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$ptys", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$radio", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$rtc", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$sg", 0, (syscall_t)syz_open_dev},
@@ -4787,11 +4807,14 @@ 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$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},
     {"syz_open_dev$vbi", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vcsa", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vcsn", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$vcsu", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$video", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$video4linux", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vivid", 0, (syscall_t)syz_open_dev},
@@ -5000,6 +5023,7 @@ const call_t syscalls[] = {
     {"write$dsp", 4},
     {"write$evdev", 4},
     {"write$eventfd", 4},
+    {"write$fb", 4},
     {"write$hidraw", 4},
     {"write$input_event", 4},
     {"write$midi", 4},
@@ -5735,6 +5759,16 @@ const call_t syscalls[] = {
     {"ioctl$EXT4_IOC_PRECACHE_EXTENTS", 16},
     {"ioctl$EXT4_IOC_SETFLAGS", 16},
     {"ioctl$EXT4_IOC_SWAP_BOOT", 16},
+    {"ioctl$FBIOBLANK", 16},
+    {"ioctl$FBIOGETCMAP", 16},
+    {"ioctl$FBIOGET_CON2FBMAP", 16},
+    {"ioctl$FBIOGET_FSCREENINFO", 16},
+    {"ioctl$FBIOGET_VSCREENINFO", 16},
+    {"ioctl$FBIOPAN_DISPLAY", 16},
+    {"ioctl$FBIOPUTCMAP", 16},
+    {"ioctl$FBIOPUT_CON2FBMAP", 16},
+    {"ioctl$FBIOPUT_VSCREENINFO", 16},
+    {"ioctl$FBIO_WAITFORVSYNC", 16},
     {"ioctl$FIBMAP", 16},
     {"ioctl$FICLONE", 16},
     {"ioctl$FICLONERANGE", 16},
@@ -5857,6 +5891,10 @@ const call_t syscalls[] = {
     {"ioctl$KDDELIO", 16},
     {"ioctl$KDDISABIO", 16},
     {"ioctl$KDENABIO", 16},
+    {"ioctl$KDFONTOP_COPY", 16},
+    {"ioctl$KDFONTOP_GET", 16},
+    {"ioctl$KDFONTOP_SET", 16},
+    {"ioctl$KDFONTOP_SET_DEF", 16},
     {"ioctl$KDGETKEYCODE", 16},
     {"ioctl$KDGETLED", 16},
     {"ioctl$KDGETMODE", 16},
@@ -6813,6 +6851,7 @@ const call_t syscalls[] = {
     {"mmap$IORING_OFF_SQ_RING", 9},
     {"mmap$binder", 9},
     {"mmap$dsp", 9},
+    {"mmap$fb", 9},
     {"mmap$perf", 9},
     {"mmap$snddsp", 9},
     {"mmap$snddsp_control", 9},
@@ -6983,6 +7022,7 @@ const call_t syscalls[] = {
     {"openat$trusty_km_secure", 257},
     {"openat$trusty_storage", 257},
     {"openat$ttynull", 257},
+    {"openat$ttyprintk", 257},
     {"openat$tun", 257},
     {"openat$ubi_ctrl", 257},
     {"openat$udambuf", 257},
@@ -6991,6 +7031,8 @@ const call_t syscalls[] = {
     {"openat$urandom", 257},
     {"openat$userio", 257},
     {"openat$vcs", 257},
+    {"openat$vcsa", 257},
+    {"openat$vcsu", 257},
     {"openat$vfio", 257},
     {"openat$vga_arbiter", 257},
     {"openat$vhci", 257},
@@ -7106,6 +7148,7 @@ const call_t syscalls[] = {
     {"read$char_usb", 0},
     {"read$dsp", 0},
     {"read$eventfd", 0},
+    {"read$fb", 0},
     {"read$hiddev", 0},
     {"read$hidraw", 0},
     {"read$midi", 0},
@@ -7786,6 +7829,7 @@ const call_t syscalls[] = {
     {"syz_open_dev$midi", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$mouse", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$ndb", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$ptys", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$radio", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$rtc", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$sg", 0, (syscall_t)syz_open_dev},
@@ -7798,11 +7842,14 @@ 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$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},
     {"syz_open_dev$vbi", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vcsa", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vcsn", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$vcsu", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$video", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$video4linux", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vivid", 0, (syscall_t)syz_open_dev},
@@ -8011,6 +8058,7 @@ const call_t syscalls[] = {
     {"write$dsp", 1},
     {"write$evdev", 1},
     {"write$eventfd", 1},
+    {"write$fb", 1},
     {"write$hidraw", 1},
     {"write$input_event", 1},
     {"write$midi", 1},
@@ -8734,6 +8782,16 @@ const call_t syscalls[] = {
     {"ioctl$EXT4_IOC_PRECACHE_EXTENTS", 54},
     {"ioctl$EXT4_IOC_SETFLAGS", 54},
     {"ioctl$EXT4_IOC_SWAP_BOOT", 54},
+    {"ioctl$FBIOBLANK", 54},
+    {"ioctl$FBIOGETCMAP", 54},
+    {"ioctl$FBIOGET_CON2FBMAP", 54},
+    {"ioctl$FBIOGET_FSCREENINFO", 54},
+    {"ioctl$FBIOGET_VSCREENINFO", 54},
+    {"ioctl$FBIOPAN_DISPLAY", 54},
+    {"ioctl$FBIOPUTCMAP", 54},
+    {"ioctl$FBIOPUT_CON2FBMAP", 54},
+    {"ioctl$FBIOPUT_VSCREENINFO", 54},
+    {"ioctl$FBIO_WAITFORVSYNC", 54},
     {"ioctl$FIBMAP", 54},
     {"ioctl$FICLONE", 54},
     {"ioctl$FICLONERANGE", 54},
@@ -8855,6 +8913,10 @@ const call_t syscalls[] = {
     {"ioctl$KDDELIO", 54},
     {"ioctl$KDDISABIO", 54},
     {"ioctl$KDENABIO", 54},
+    {"ioctl$KDFONTOP_COPY", 54},
+    {"ioctl$KDFONTOP_GET", 54},
+    {"ioctl$KDFONTOP_SET", 54},
+    {"ioctl$KDFONTOP_SET_DEF", 54},
     {"ioctl$KDGETKEYCODE", 54},
     {"ioctl$KDGETLED", 54},
     {"ioctl$KDGETMODE", 54},
@@ -9782,6 +9844,7 @@ const call_t syscalls[] = {
     {"mmap$IORING_OFF_SQ_RING", 192},
     {"mmap$binder", 192},
     {"mmap$dsp", 192},
+    {"mmap$fb", 192},
     {"mmap$perf", 192},
     {"mmap$snddsp", 192},
     {"mmap$snddsp_control", 192},
@@ -9948,6 +10011,7 @@ const call_t syscalls[] = {
     {"openat$trusty_km_secure", 322},
     {"openat$trusty_storage", 322},
     {"openat$ttynull", 322},
+    {"openat$ttyprintk", 322},
     {"openat$tun", 322},
     {"openat$ubi_ctrl", 322},
     {"openat$udambuf", 322},
@@ -9956,6 +10020,8 @@ const call_t syscalls[] = {
     {"openat$urandom", 322},
     {"openat$userio", 322},
     {"openat$vcs", 322},
+    {"openat$vcsa", 322},
+    {"openat$vcsu", 322},
     {"openat$vfio", 322},
     {"openat$vga_arbiter", 322},
     {"openat$vhci", 322},
@@ -10071,6 +10137,7 @@ const call_t syscalls[] = {
     {"read$char_usb", 3},
     {"read$dsp", 3},
     {"read$eventfd", 3},
+    {"read$fb", 3},
     {"read$hiddev", 3},
     {"read$hidraw", 3},
     {"read$midi", 3},
@@ -10749,6 +10816,7 @@ const call_t syscalls[] = {
     {"syz_open_dev$midi", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$mouse", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$ndb", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$ptys", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$radio", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$rtc", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$sg", 0, (syscall_t)syz_open_dev},
@@ -10761,11 +10829,14 @@ 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$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},
     {"syz_open_dev$vbi", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vcsa", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vcsn", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$vcsu", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$video", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$video4linux", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vivid", 0, (syscall_t)syz_open_dev},
@@ -10972,6 +11043,7 @@ const call_t syscalls[] = {
     {"write$dsp", 4},
     {"write$evdev", 4},
     {"write$eventfd", 4},
+    {"write$fb", 4},
     {"write$hidraw", 4},
     {"write$input_event", 4},
     {"write$midi", 4},
@@ -11686,6 +11758,16 @@ const call_t syscalls[] = {
     {"ioctl$EXT4_IOC_PRECACHE_EXTENTS", 29},
     {"ioctl$EXT4_IOC_SETFLAGS", 29},
     {"ioctl$EXT4_IOC_SWAP_BOOT", 29},
+    {"ioctl$FBIOBLANK", 29},
+    {"ioctl$FBIOGETCMAP", 29},
+    {"ioctl$FBIOGET_CON2FBMAP", 29},
+    {"ioctl$FBIOGET_FSCREENINFO", 29},
+    {"ioctl$FBIOGET_VSCREENINFO", 29},
+    {"ioctl$FBIOPAN_DISPLAY", 29},
+    {"ioctl$FBIOPUTCMAP", 29},
+    {"ioctl$FBIOPUT_CON2FBMAP", 29},
+    {"ioctl$FBIOPUT_VSCREENINFO", 29},
+    {"ioctl$FBIO_WAITFORVSYNC", 29},
     {"ioctl$FIBMAP", 29},
     {"ioctl$FICLONE", 29},
     {"ioctl$FICLONERANGE", 29},
@@ -11808,6 +11890,10 @@ const call_t syscalls[] = {
     {"ioctl$KDDELIO", 29},
     {"ioctl$KDDISABIO", 29},
     {"ioctl$KDENABIO", 29},
+    {"ioctl$KDFONTOP_COPY", 29},
+    {"ioctl$KDFONTOP_GET", 29},
+    {"ioctl$KDFONTOP_SET", 29},
+    {"ioctl$KDFONTOP_SET_DEF", 29},
     {"ioctl$KDGETKEYCODE", 29},
     {"ioctl$KDGETLED", 29},
     {"ioctl$KDGETMODE", 29},
@@ -12733,6 +12819,7 @@ const call_t syscalls[] = {
     {"mmap$IORING_OFF_SQ_RING", 222},
     {"mmap$binder", 222},
     {"mmap$dsp", 222},
+    {"mmap$fb", 222},
     {"mmap$perf", 222},
     {"mmap$snddsp", 222},
     {"mmap$snddsp_control", 222},
@@ -12897,6 +12984,7 @@ const call_t syscalls[] = {
     {"openat$trusty_km_secure", 56},
     {"openat$trusty_storage", 56},
     {"openat$ttynull", 56},
+    {"openat$ttyprintk", 56},
     {"openat$tun", 56},
     {"openat$ubi_ctrl", 56},
     {"openat$udambuf", 56},
@@ -12905,6 +12993,8 @@ const call_t syscalls[] = {
     {"openat$urandom", 56},
     {"openat$userio", 56},
     {"openat$vcs", 56},
+    {"openat$vcsa", 56},
+    {"openat$vcsu", 56},
     {"openat$vfio", 56},
     {"openat$vga_arbiter", 56},
     {"openat$vhci", 56},
@@ -13017,6 +13107,7 @@ const call_t syscalls[] = {
     {"read$char_usb", 63},
     {"read$dsp", 63},
     {"read$eventfd", 63},
+    {"read$fb", 63},
     {"read$hiddev", 63},
     {"read$hidraw", 63},
     {"read$midi", 63},
@@ -13686,6 +13777,7 @@ const call_t syscalls[] = {
     {"syz_open_dev$midi", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$mouse", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$ndb", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$ptys", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$radio", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$rtc", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$sg", 0, (syscall_t)syz_open_dev},
@@ -13698,11 +13790,14 @@ 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$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},
     {"syz_open_dev$vbi", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vcsa", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vcsn", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$vcsu", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$video", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$video4linux", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vivid", 0, (syscall_t)syz_open_dev},
@@ -13905,6 +14000,7 @@ const call_t syscalls[] = {
     {"write$dsp", 64},
     {"write$evdev", 64},
     {"write$eventfd", 64},
+    {"write$fb", 64},
     {"write$hidraw", 64},
     {"write$input_event", 64},
     {"write$midi", 64},
@@ -14631,6 +14727,16 @@ const call_t syscalls[] = {
     {"ioctl$EXT4_IOC_PRECACHE_EXTENTS", 54},
     {"ioctl$EXT4_IOC_SETFLAGS", 54},
     {"ioctl$EXT4_IOC_SWAP_BOOT", 54},
+    {"ioctl$FBIOBLANK", 54},
+    {"ioctl$FBIOGETCMAP", 54},
+    {"ioctl$FBIOGET_CON2FBMAP", 54},
+    {"ioctl$FBIOGET_FSCREENINFO", 54},
+    {"ioctl$FBIOGET_VSCREENINFO", 54},
+    {"ioctl$FBIOPAN_DISPLAY", 54},
+    {"ioctl$FBIOPUTCMAP", 54},
+    {"ioctl$FBIOPUT_CON2FBMAP", 54},
+    {"ioctl$FBIOPUT_VSCREENINFO", 54},
+    {"ioctl$FBIO_WAITFORVSYNC", 54},
     {"ioctl$FIBMAP", 54},
     {"ioctl$FICLONE", 54},
     {"ioctl$FICLONERANGE", 54},
@@ -14752,6 +14858,10 @@ const call_t syscalls[] = {
     {"ioctl$KDDELIO", 54},
     {"ioctl$KDDISABIO", 54},
     {"ioctl$KDENABIO", 54},
+    {"ioctl$KDFONTOP_COPY", 54},
+    {"ioctl$KDFONTOP_GET", 54},
+    {"ioctl$KDFONTOP_SET", 54},
+    {"ioctl$KDFONTOP_SET_DEF", 54},
     {"ioctl$KDGETKEYCODE", 54},
     {"ioctl$KDGETLED", 54},
     {"ioctl$KDGETMODE", 54},
@@ -15671,6 +15781,7 @@ const call_t syscalls[] = {
     {"mmap$IORING_OFF_SQ_RING", 90},
     {"mmap$binder", 90},
     {"mmap$dsp", 90},
+    {"mmap$fb", 90},
     {"mmap$perf", 90},
     {"mmap$snddsp", 90},
     {"mmap$snddsp_control", 90},
@@ -15841,6 +15952,7 @@ const call_t syscalls[] = {
     {"openat$trusty_km_secure", 286},
     {"openat$trusty_storage", 286},
     {"openat$ttynull", 286},
+    {"openat$ttyprintk", 286},
     {"openat$tun", 286},
     {"openat$ubi_ctrl", 286},
     {"openat$udambuf", 286},
@@ -15849,6 +15961,8 @@ const call_t syscalls[] = {
     {"openat$urandom", 286},
     {"openat$userio", 286},
     {"openat$vcs", 286},
+    {"openat$vcsa", 286},
+    {"openat$vcsu", 286},
     {"openat$vfio", 286},
     {"openat$vga_arbiter", 286},
     {"openat$vhci", 286},
@@ -15964,6 +16078,7 @@ const call_t syscalls[] = {
     {"read$char_usb", 3},
     {"read$dsp", 3},
     {"read$eventfd", 3},
+    {"read$fb", 3},
     {"read$hiddev", 3},
     {"read$hidraw", 3},
     {"read$midi", 3},
@@ -16641,6 +16756,7 @@ const call_t syscalls[] = {
     {"syz_open_dev$midi", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$mouse", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$ndb", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$ptys", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$radio", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$rtc", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$sg", 0, (syscall_t)syz_open_dev},
@@ -16653,11 +16769,14 @@ 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$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},
     {"syz_open_dev$vbi", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vcsa", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vcsn", 0, (syscall_t)syz_open_dev},
+    {"syz_open_dev$vcsu", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$video", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$video4linux", 0, (syscall_t)syz_open_dev},
     {"syz_open_dev$vivid", 0, (syscall_t)syz_open_dev},
@@ -16866,6 +16985,7 @@ const call_t syscalls[] = {
     {"write$dsp", 4},
     {"write$evdev", 4},
     {"write$eventfd", 4},
+    {"write$fb", 4},
     {"write$hidraw", 4},
     {"write$input_event", 4},
     {"write$midi", 4},