Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/vt/vt.c csi_DEC() -> cursor_report()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_bell_duration | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_size_row | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_state | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_num | 0-62 |
| PARAM_VALUE | 0 | vc->vc_par | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_priv | 1 |
| PARAM_VALUE | 0 | vc->vc_state | 0 |
| PARAM_VALUE | 0 | vc->vc_sw->con_cursor | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_sw->con_putc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_sw->owner | 0 |
| PARAM_VALUE | 0 | *vc->vc_par | 0-4294967295 |
| PARAM_VALUE | 1 | tty | 4096-ptr_max |
| PARAM_VALUE | 1 | tty->driver_data | 4096-ptr_max |
| PARAM_VALUE | 1 | tty->flow.stopped | 0 |
| PARAM_VALUE | 1 | tty->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->break_ctl | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->chars_in_buffer | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->cleanup | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->close | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->compat_ioctl | 0,1607379221601308672,5008286898947497984,6364353445524312064 |
| PARAM_VALUE | 1 | tty->ops->flush_buffer | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->flush_chars | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->get_icount | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->get_serial | 0,1330961132715589632,1458729389619781632,4039553157414182912,4811237459575484416,4871069280902643712,5552263133363023872,6182381990465540096 |
| PARAM_VALUE | 1 | tty->ops->hangup | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->install | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->ioctl | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->ldisc_ok | 0,6843386834578624512 |
| PARAM_VALUE | 1 | tty->ops->lookup | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->open | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->poll_get_char | 0,4172584550987694080,8810588628199956480 |
| PARAM_VALUE | 1 | tty->ops->poll_init | 0,1455831725284642816,7005422354281586688 |
| PARAM_VALUE | 1 | tty->ops->poll_put_char | 0,317088091350007808,4944462343817641984 |
| PARAM_VALUE | 1 | tty->ops->proc_show | 0,356236415985979392,5729891321464528896,9011853526131630080 |
| PARAM_VALUE | 1 | tty->ops->put_char | 0,46317935159074816,946511232463630336,5234932001147445248,6499862429192966144,7134038662404317184 |
| PARAM_VALUE | 1 | tty->ops->remove | 0,384629141214146560,3489019467251376128 |
| PARAM_VALUE | 1 | tty->ops->resize | 0,2815742157479378944,7598537204212207616 |
| PARAM_VALUE | 1 | tty->ops->send_xchar | 0,2462859047340216320,4708555404674125824,8710759130855649280 |
| PARAM_VALUE | 1 | tty->ops->set_ldisc | 0,1741587377620623360 |
| PARAM_VALUE | 1 | tty->ops->set_serial | 0,1094580457323642880,1874457111024828416,3044275849337626624,3389915277632028672,4342027950721310720,4577945029913939968,6749800265494245376 |
| PARAM_VALUE | 1 | tty->ops->set_termios | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->show_fdinfo | 0,5525676422896762880 |
| PARAM_VALUE | 1 | tty->ops->shutdown | 0,3518621193109893120,5469287042401259520 |
| PARAM_VALUE | 1 | tty->ops->start | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->stop | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->throttle | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->tiocmget | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->tiocmset | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->unthrottle | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->wait_until_sent | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->write | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->write_room | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->termios_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | tty->termios_rwsem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | tty | (-1),1-s32max |
| BUF_SIZE | 1 | tty | (-1),1-s32max |
| BUF_SIZE | 1 | tty->disc_data | (-1),16 |
| BUF_SIZE | 1 | tty->ldisc | (-1),4,16,24,64,168-s32max |
| BUF_SIZE | 1 | tty->port->itty | (-1),8-s32max |
| BUF_SIZE | 1 | tty->write_buf | (-1),1024-65536 |
| CAPPED_DATA | 0 | vc | 1 |
| CAPPED_DATA | 0 | vc->vc_num | 1 |
| DATA_SOURCE | 0 | vc | $1 |
| DATA_SOURCE | 1 | tty | $0 |
| STR_LEN | 0 | vc | (-1)-18 |
| STR_LEN | 1 | tty | (-1)-18 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vc->vc_pos | 4096-u64max |
| USER_DATA | 0 | vc->vc_utf_char | s32min-s32max[c] |
| USER_DATA | 1 | tty->termios.c_cflag | 0-u32max[c] |
| USER_DATA | 1 | tty->termios.c_iflag | 0-u32max[c] |
| USER_DATA | 1 | tty->termios.c_ispeed | 0-u32max |
| USER_DATA | 1 | tty->termios.c_lflag | 0-u32max[c] |
| USER_DATA | 1 | tty->termios.c_line | 0-255 |
| USER_DATA | 1 | tty->termios.c_oflag | 0-u32max[c] |
| USER_DATA | 1 | tty->termios.c_ospeed | 0-u32max |
| USER_DATA | 1 | tty->write_cnt | 1025-u16max[c] |
| NO_OVERFLOW_SIMPLE | 0 | vc->state.y | |
| NO_OVERFLOW_SIMPLE | 1 | tty->driver_data->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 1 | tty->driver_data->d_fsdata->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 1 | tty->name | |
| UNITS | 0 | vc | unit_byte |
| USER_PTR | 1 | tty->disc_data->priv->rx_skb->data | |
| LOCK2 | global &console_sem | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | 1 | &tty->atomic_write_lock | |
| HALF_LOCKED2 | 1 | &tty->ldisc_sem | |
| HALF_LOCKED2 | 1 | &tty->legacy_mutex | |
| HALF_LOCKED2 | 1 | &tty->port->buf.lock | |
| HALF_LOCKED2 | 1 | &tty->termios_rwsem |
drivers/tty/vt/vt.c csi_ECMA() -> cursor_report()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_bell_duration | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_size_row | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_state | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_num | 0-62 |
| PARAM_VALUE | 0 | vc->vc_par | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_priv | 0 |
| PARAM_VALUE | 0 | vc->vc_state | 0 |
| PARAM_VALUE | 0 | vc->vc_sw->con_cursor | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_sw->con_putc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_sw->owner | 0 |
| PARAM_VALUE | 0 | *vc->vc_par | 0-4294967295 |
| PARAM_VALUE | 1 | tty | 4096-ptr_max |
| PARAM_VALUE | 1 | tty->driver_data | 4096-ptr_max |
| PARAM_VALUE | 1 | tty->flow.stopped | 0 |
| PARAM_VALUE | 1 | tty->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->break_ctl | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->chars_in_buffer | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->cleanup | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->close | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->compat_ioctl | 0,1607379221601308672,5008286898947497984,6364353445524312064 |
| PARAM_VALUE | 1 | tty->ops->flush_buffer | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->flush_chars | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->get_icount | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->get_serial | 0,1330961132715589632,1458729389619781632,4039553157414182912,4811237459575484416,4871069280902643712,5552263133363023872,6182381990465540096 |
| PARAM_VALUE | 1 | tty->ops->hangup | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->install | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->ioctl | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->ldisc_ok | 0,6843386834578624512 |
| PARAM_VALUE | 1 | tty->ops->lookup | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->open | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->poll_get_char | 0,4172584550987694080,8810588628199956480 |
| PARAM_VALUE | 1 | tty->ops->poll_init | 0,1455831725284642816,7005422354281586688 |
| PARAM_VALUE | 1 | tty->ops->poll_put_char | 0,317088091350007808,4944462343817641984 |
| PARAM_VALUE | 1 | tty->ops->proc_show | 0,356236415985979392,5729891321464528896,9011853526131630080 |
| PARAM_VALUE | 1 | tty->ops->put_char | 0,46317935159074816,946511232463630336,5234932001147445248,6499862429192966144,7134038662404317184 |
| PARAM_VALUE | 1 | tty->ops->remove | 0,384629141214146560,3489019467251376128 |
| PARAM_VALUE | 1 | tty->ops->resize | 0,2815742157479378944,7598537204212207616 |
| PARAM_VALUE | 1 | tty->ops->send_xchar | 0,2462859047340216320,4708555404674125824,8710759130855649280 |
| PARAM_VALUE | 1 | tty->ops->set_ldisc | 0,1741587377620623360 |
| PARAM_VALUE | 1 | tty->ops->set_serial | 0,1094580457323642880,1874457111024828416,3044275849337626624,3389915277632028672,4342027950721310720,4577945029913939968,6749800265494245376 |
| PARAM_VALUE | 1 | tty->ops->set_termios | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->show_fdinfo | 0,5525676422896762880 |
| PARAM_VALUE | 1 | tty->ops->shutdown | 0,3518621193109893120,5469287042401259520 |
| PARAM_VALUE | 1 | tty->ops->start | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->stop | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->throttle | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->tiocmget | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->tiocmset | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->unthrottle | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->wait_until_sent | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->write | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->ops->write_room | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tty->termios_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | tty->termios_rwsem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | tty | (-1),1-s32max |
| BUF_SIZE | 1 | tty | (-1),1-s32max |
| BUF_SIZE | 1 | tty->disc_data | (-1),16 |
| BUF_SIZE | 1 | tty->ldisc | (-1),4,16,24,64,168-s32max |
| BUF_SIZE | 1 | tty->port->itty | (-1),8-s32max |
| BUF_SIZE | 1 | tty->write_buf | (-1),1024-65536 |
| CAPPED_DATA | 0 | vc | 1 |
| CAPPED_DATA | 0 | vc->vc_num | 1 |
| DATA_SOURCE | 0 | vc | $1 |
| DATA_SOURCE | 1 | tty | $0 |
| STR_LEN | 0 | vc | (-1)-18 |
| STR_LEN | 1 | tty | (-1)-18 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vc->vc_pos | 4096-u64max |
| USER_DATA | 0 | vc->vc_utf_char | s32min-s32max[c] |
| USER_DATA | 1 | tty->termios.c_cflag | 0-u32max[c] |
| USER_DATA | 1 | tty->termios.c_iflag | 0-u32max[c] |
| USER_DATA | 1 | tty->termios.c_ispeed | 0-u32max |
| USER_DATA | 1 | tty->termios.c_lflag | 0-u32max[c] |
| USER_DATA | 1 | tty->termios.c_line | 0-255 |
| USER_DATA | 1 | tty->termios.c_oflag | 0-u32max[c] |
| USER_DATA | 1 | tty->termios.c_ospeed | 0-u32max |
| USER_DATA | 1 | tty->write_cnt | 1025-u16max[c] |
| NO_OVERFLOW_SIMPLE | 0 | vc->state.y | |
| NO_OVERFLOW_SIMPLE | 1 | tty->driver_data->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 1 | tty->driver_data->d_fsdata->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 1 | tty->name | |
| UNITS | 0 | vc | unit_byte |
| USER_PTR | 1 | tty->disc_data->priv->rx_skb->data | |
| LOCK2 | global &console_sem | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | 1 | &tty->atomic_write_lock | |
| HALF_LOCKED2 | 1 | &tty->ldisc_sem | |
| HALF_LOCKED2 | 1 | &tty->legacy_mutex | |
| HALF_LOCKED2 | 1 | &tty->port->buf.lock | |
| HALF_LOCKED2 | 1 | &tty->termios_rwsem |