Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/tty/tty_io.c tiocswinsz() -> tty_do_resize()

Type Parameter Key Value
PARAM_VALUE 0 tty 4096-ptr_max
PARAM_VALUE 0 tty->ops 4096-ptr_max
PARAM_VALUE 0 tty->ops->resize 0
PARAM_VALUE 1 ws 8724948883200839680
DATA_SOURCE 0 tty $0
USER_DATA 1 ws->ws_col 0-u16max
USER_DATA 1 ws->ws_row 0-u16max
USER_DATA 1 ws->ws_xpixel 0-u16max
USER_DATA 1 ws->ws_ypixel 0-u16max

drivers/tty/hvc/hvc_console.c hvc_set_winsz() -> tty_do_resize()

Type Parameter Key Value
PARAM_VALUE 0 tty 4096-ptr_max
PARAM_VALUE 1 ws 4028517646733279232
BUF_SIZE 0 tty (-1),1-s32max
BUF_SIZE 0 tty (-1),1-s32max
DATA_SOURCE 0 tty r tty_port_tty_get
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/tty/vt/vt.c vc_do_resize() -> tty_do_resize()

Type Parameter Key Value
PARAM_VALUE 0 tty 1-u64max
PARAM_VALUE 0 tty->ops->resize 0,2815742157479378944,7598537204212207616
PARAM_VALUE 1 ws 7764584197009264640
DATA_SOURCE 0 tty $0
NOSPEC 1 ws->ws_col
MEM_ZERO 1 ws
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 ws->ws_col 1-s16max[c]
USER_DATA 1 ws->ws_row 1-s16max
USER_DATA 1 ws->ws_ypixel 1-u16max
HALF_LOCKED2 global &console_sem