Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/tty_io.c tty_compat_ioctl() -> (struct tty_ldisc_ops)->ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tty | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc | 1-u64max |
| PARAM_VALUE | 0 | tty->ldisc_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ops->compat_ioctl | 0,1607379221601308672,5008286898947497984,6364353445524312064 |
| CAPPED_DATA | 0 | tty | 1 |
| DATA_SOURCE | 0 | tty | r file_tty |
| DATA_SOURCE | 2 | arg | $2 |
| USER_DATA | 0 | tty->driver_data->vc_font.height | 2-128[c] |
| USER_DATA | 0 | tty->driver_data->vc_font.width | 1-64[c] |
| USER_DATA | 0 | tty->driver_data->vt_mode.acqsig | s16min-s16max |
| USER_DATA | 0 | tty->driver_data->vt_mode.mode | 0 |
| USER_DATA | 0 | tty->driver_data->vt_mode.relsig | s16min-s16max |
| USER_DATA | 0 | tty->driver_data->vt_mode.waitv | 0-255 |
| USER_DATA | 2 | arg | 0-u32max |
| LOCK2 | 0 | &tty->ldisc_sem | |
| TYPE_LOCK | (struct tty_struct)->ldisc_sem |
drivers/tty/tty_io.c tty_ioctl() -> (struct tty_ldisc_ops)->ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tty | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc | 1-u64max |
| PARAM_VALUE | 0 | tty->ldisc_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ops->ioctl | 0,4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 0-21512,21514-21515,21519,21521,21529-21532,21536-21537,21542,21545-21558 |
| CAPPED_DATA | 0 | tty | 1 |
| DATA_SOURCE | 0 | tty | r file_tty |
| DATA_SOURCE | 1 | cmd | $1 |
| DATA_SOURCE | 2 | arg | $2 |
| USER_DATA | 1 | cmd | 0-21512,21514-21515,21519,21521,21529-21532,21536-21537,21542,2 |
| USER_DATA | 2 | arg | 0-u64max |
| LOCK2 | 0 | &tty->ldisc_sem | |
| TYPE_LOCK | (struct tty_struct)->ldisc_sem |
drivers/tty/tty_io.c tty_compat_ioctl() -> (struct tty_ldisc_ops)->compat_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tty | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc | 1-u64max |
| PARAM_VALUE | 0 | tty->ldisc_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ldisc_sem.read_wait.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ops->compat_ioctl | 0,1607379221601308672,5008286898947497984,6364353445524312064 |
| PARAM_VALUE | 1 | cmd | 0-21504,21531-21532,21536-21537,21542,21546-21549,21552-21553,21558,21560-21568,21570-21586,21588-21589,21592,21594-21595,21598-1074041864,1074041866-1076646954,1076646958-1076647975,1076647980-1076647992,1076647994-u32max |
| CAPPED_DATA | 0 | tty | 1 |
| DATA_SOURCE | 0 | tty | r file_tty |
| DATA_SOURCE | 1 | cmd | $1 |
| DATA_SOURCE | 2 | arg | $2 |
| USER_DATA | 0 | tty->driver_data->vc_font.height | 2-128[c] |
| USER_DATA | 0 | tty->driver_data->vc_font.width | 1-64[c] |
| USER_DATA | 0 | tty->driver_data->vt_mode.acqsig | s16min-s16max |
| USER_DATA | 0 | tty->driver_data->vt_mode.mode | 0 |
| USER_DATA | 0 | tty->driver_data->vt_mode.relsig | s16min-s16max |
| USER_DATA | 0 | tty->driver_data->vt_mode.waitv | 0-255 |
| USER_DATA | 1 | cmd | 0-21504,21531-21532,21536-21537,21542,21546-21549,21552-21553,2 |
| USER_DATA | 2 | arg | 0-u32max |
| LOCK2 | 0 | &tty->ldisc_sem | |
| TYPE_LOCK | (struct tty_struct)->ldisc_sem |