Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/tty_ioctl.c tty_throttle_safe() -> (struct tty_operations)->throttle()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tty | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->disc_data | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->driver->type | 0-2,4-u32max |
| PARAM_VALUE | 0 | tty->flow_change | 1 |
| 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->flush_chars | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tty->ops->throttle | 4096-ptr_max |
| PARAM_VALUE | 0 | tty->ops->wait_until_sent | 0,2578158375326154752,2614800216018440192,6874988682411192320,7074827580452507648,7916194843820081152 |
| PARAM_VALUE | 0 | tty->receive_room | 0-s32max |
| PARAM_VALUE | 0 | tty->termios_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | tty->termios_rwsem.first_waiter->type | 0-1 |
| CAPPED_DATA | 0 | tty | 1 |
| DATA_SOURCE | 0 | tty | $0 |
| CONTAINER | 0 | -120-32+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | tty->disc_data->priv->rx_skb->data | |
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &tty->ldisc_sem | ||
| HALF_LOCKED2 | 0 | &tty->ldisc_sem | |
| HALF_LOCKED2 | 0 | &tty->port->buf.lock |