From dc01aea0031d3e38fdd4124b28197c7597ab39c3 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 2 Dec 2019 18:17:04 +0100 Subject: sys/linux: add /dev/fb descriptions Framebuffer descriptions + open more tty dev nodes. --- sys/linux/dev_ptmx.txt | 29 +++++++++++++++++++++++++++-- 1 file changed, 27 insertions(+), 2 deletions(-) (limited to 'sys/linux/dev_ptmx.txt') diff --git a/sys/linux/dev_ptmx.txt b/sys/linux/dev_ptmx.txt index 03421f947..baf607eea 100644 --- a/sys/linux/dev_ptmx.txt +++ b/sys/linux/dev_ptmx.txt @@ -13,6 +13,12 @@ resource fd_tty[fd] openat$ptmx(fd const[AT_FDCWD], file ptr[in, string["/dev/ptmx"]], flags flags[open_flags], mode const[0]) fd_tty syz_open_pts(fd fd_tty, flags flags[open_flags]) fd_tty +openat$ttynull(fd const[AT_FDCWD], file ptr[in, string["/dev/ttynull"]], flags flags[open_flags], mode const[0]) fd_tty +openat$ttyprintk(fd const[AT_FDCWD], file ptr[in, string["/dev/ttyprintk"]], flags flags[open_flags], mode const[0]) fd_tty +syz_open_dev$tty(dev ptr[in, string["/dev/tty1#"]], id intptr, flags flags[open_flags]) fd_tty +syz_open_dev$ttys(dev ptr[in, string["/dev/ttys#"]], id intptr, flags flags[open_flags]) fd_tty +syz_open_dev$ptys(dev ptr[in, string["/dev/ptys#"]], id intptr, flags flags[open_flags]) fd_tty + ioctl$TCGETS(fd fd_tty, cmd const[TCGETS], arg ptr[out, termios]) ioctl$TCSETS(fd fd_tty, cmd const[TCSETS], arg ptr[in, termios]) ioctl$TCSETSW(fd fd_tty, cmd const[TCSETSW], arg ptr[in, termios]) @@ -71,10 +77,14 @@ ioctl$KIOCSOUND(fd fd_tty, cmd const[KIOCSOUND], arg intptr) ioctl$GIO_CMAP(fd fd_tty, cmd const[GIO_CMAP], arg ptr[out, io_cmap]) ioctl$PIO_CMAP(fd fd_tty, cmd const[PIO_CMAP], arg ptr[in, io_cmap]) ioctl$GIO_FONT(fd fd_tty, cmd const[GIO_FONT], arg buffer[out]) -ioctl$GIO_FONTX(fd fd_tty, cmd const[GIO_FONTX], arg buffer[out]) +ioctl$GIO_FONTX(fd fd_tty, cmd const[GIO_FONTX], arg ptr[in, consolefontdesc[out]]) ioctl$PIO_FONT(fd fd_tty, cmd const[PIO_FONT], arg buffer[in]) -ioctl$PIO_FONTX(fd fd_tty, cmd const[PIO_FONTX], arg buffer[in]) +ioctl$PIO_FONTX(fd fd_tty, cmd const[PIO_FONTX], arg ptr[in, consolefontdesc[in]]) ioctl$PIO_FONTRESET(fd fd_tty, cmd const[PIO_FONTRESET], arg const[0]) +ioctl$KDFONTOP_SET(fd fd_tty, cmd const[KDFONTOP], arg ptr[in, console_font_op[KD_FONT_OP_SET, in]]) +ioctl$KDFONTOP_GET(fd fd_tty, cmd const[KDFONTOP], arg ptr[in, console_font_op[KD_FONT_OP_GET, out]]) +ioctl$KDFONTOP_SET_DEF(fd fd_tty, cmd const[KDFONTOP], arg ptr[in, console_font_op[KD_FONT_OP_SET_DEFAULT, in]]) +ioctl$KDFONTOP_COPY(fd fd_tty, cmd const[KDFONTOP], arg ptr[in, console_font_op[KD_FONT_OP_COPY, out]]) ioctl$GIO_SCRNMAP(fd fd_tty, cmd const[GIO_SCRNMAP], arg buffer[out]) ioctl$GIO_UNISCRNMAP(fd fd_tty, cmd const[GIO_UNISCRNMAP], arg buffer[out]) ioctl$PIO_SCRNMAP(fd fd_tty, cmd const[PIO_SCRNMAP], arg buffer[in]) @@ -317,3 +327,18 @@ serial_iso7816 { clk int32 reserved array[const[0, int32], 5] } + +type consolefontdesc[DIR] { + charcount int16[0:512] + charheight int16[0:32] + chardata ptr[DIR, array[int8, 1024]] +} + +type console_font_op[OP, DIR] { + op const[OP, int32] + flags bool32 + width int32[0:32] + height int32[0:32] + charcount int32[0:512] + data ptr[DIR, array[int8, 1024]] +} -- cgit mrf-deployment