Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/n_tty.c n_tty_check_unthrottle() -> n_tty_kick_worker()

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 3
PARAM_VALUE 0 tty->ldisc_sem.dep_map->name 0-255
PARAM_VALUE 0 tty->ldisc_sem.read_wait.next->next 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->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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &tty->ldisc_sem
HALF_LOCKED2 &ldata->atomic_read_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &tty->termios_rwsem
TYPE_LOCK (struct tty_struct)->ldisc_sem

drivers/tty/n_tty.c n_tty_check_unthrottle() -> n_tty_kick_worker()

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 2
PARAM_VALUE 0 tty->ldisc_sem.dep_map->name 0-255
PARAM_VALUE 0 tty->ldisc_sem.read_wait.next->next 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->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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &tty->ldisc_sem
HALF_LOCKED2 &ldata->atomic_read_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &tty->termios_rwsem
TYPE_LOCK (struct tty_struct)->ldisc_sem

drivers/tty/n_tty.c n_tty_continue_cookie() -> n_tty_kick_worker()

Type Parameter Key Value
PARAM_VALUE 0 tty 4096-ptr_max
PARAM_VALUE 0 tty->disc_data 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
DATA_SOURCE 0 tty $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &tty->ldisc_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct tty_struct)->ldisc_sem

drivers/tty/n_tty.c n_tty_flush_buffer() -> n_tty_kick_worker()

Type Parameter Key Value
PARAM_VALUE 0 tty 4096-ptr_max
PARAM_VALUE 0 tty->disc_data 4096-ptr_max
PARAM_VALUE 0 tty->disc_data->canon_head 0
PARAM_VALUE 0 tty->disc_data->commit_head 0
PARAM_VALUE 0 tty->disc_data->erasing 0
PARAM_VALUE 0 tty->disc_data->line_start 0
PARAM_VALUE 0 tty->disc_data->lookahead_count 0
PARAM_VALUE 0 tty->disc_data->push 0
PARAM_VALUE 0 tty->disc_data->read_head 0
PARAM_VALUE 0 tty->disc_data->read_tail 0
PARAM_VALUE 0 tty->ldisc_sem.dep_map->name 0-255
PARAM_VALUE 0 tty->link->termios_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tty->link->termios_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 tty->ops->chars_in_buffer 0,4096-ptr_max
PARAM_VALUE 0 tty->ops->close 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
PARAM_VALUE 0 tty->ops->ldisc_ok 0,4096-ptr_max
PARAM_VALUE 0 tty->ops->lookup 0,1028560029362032640,3174408500077174784
PARAM_VALUE 0 tty->ops->open 0,4096-ptr_max
PARAM_VALUE 0 tty->ops->set_ldisc 0,4096-ptr_max
PARAM_VALUE 0 tty->ops->set_termios 0,4096-ptr_max
PARAM_VALUE 0 tty->ops->write 0,4096-ptr_max
PARAM_VALUE 0 tty->termios_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tty->termios_rwsem.first_waiter->type 0-1
BUF_SIZE 0 tty s32min,(-1),1-s32max
BUF_SIZE 0 tty s32min,(-1),1-s32max
CAPPED_DATA 0 tty 1
DATA_SOURCE 0 tty $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &buf->lock
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 0 &tty->atomic_write_lock
HALF_LOCKED2 0 &tty->driver_data->d_lockref.lock
HALF_LOCKED2 0 &tty->ldisc_sem
HALF_LOCKED2 0 &tty->legacy_mutex

drivers/tty/n_tty.c n_tty_receive_buf_common() -> n_tty_kick_worker()

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->ops->chars_in_buffer 0,4096-ptr_max
PARAM_VALUE 0 tty->ops->throttle 0,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
DATA_SOURCE 0 tty $0
FUZZY_MAX 0 tty->receive_room 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