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_continue_cookie() -> copy_from_read_buf()

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
PARAM_VALUE 1 kbp 2722588696840794112
PARAM_VALUE 1 *kbp 1311549309142491136
PARAM_VALUE 1 *(*kbp) 0
PARAM_VALUE 2 *nr 0-64
DATA_SOURCE 0 tty $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 *nr 0-63[c]
USER_PTR 2 nr
LOCK2 0 &tty->ldisc_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct tty_struct)->ldisc_sem

drivers/tty/n_tty.c n_tty_read() -> copy_from_read_buf()

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
PARAM_VALUE 0 tty->read_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tty->termios_rwsem.dep_map->name 0-255
PARAM_VALUE 0 tty->termios_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tty->termios_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 tty->termios_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 tty->termios_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 tty->termios_rwsem.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 kbp 5257036777875816448
PARAM_VALUE 1 *kbp 4096-u64max
CAPPED_DATA 0 tty 1
CAPPED_DATA 0 &tty->termios_rwsem 1
DATA_SOURCE 0 tty $0
NOSPEC 2 *nr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *(*kbp) 0-255[c][u]
USER_DATA 2 *nr 1-63,18446744073709551553-u64max
USER_PTR 1 *kbp
USER_PTR 2 nr
LOCK2 &ldata->atomic_read_lock
LOCK2 0 &tty->ldisc_sem
LOCK2 0 &tty->termios_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct n_tty_data)->atomic_read_lock
TYPE_LOCK (struct tty_struct)->ldisc_sem
TYPE_LOCK (struct tty_struct)->termios_rwsem