Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/vt/vt_ioctl.c vt_ioctl() -> tioclinux()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tty | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->driver_data->vc_num | 0-u16max |
| PARAM_VALUE | 0 | tty->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ops->chars_in_buffer | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tty->ops->compat_ioctl | 0,1607379221601308672,5008286898947497984,6364353445524312064 |
| PARAM_VALUE | 0 | tty->ops->ioctl | 0,4096-ptr_max |
| CAPPED_DATA | 0 | tty | 1 |
| CAPPED_DATA | 0 | tty->driver_data | 1 |
| DATA_SOURCE | 0 | tty | $0 |
| DATA_SOURCE | 1 | arg | $2 |
| NOSPEC | 1 | arg | |
| USER_DATA | 1 | arg | 0-u64max |