Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/tty/tty_io.c tty_get_device() -> tty_devnum()

Type Parameter Key Value
PARAM_VALUE 0 tty 4096-ptr_max
PARAM_VALUE 0 tty->driver 4096-ptr_max
BUF_SIZE 0 tty 1816
DATA_SOURCE 0 tty $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tty->legacy_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &spk_mutex
HALF_LOCKED2 global &tty_mutex

drivers/tty/tty_io.c tty_ioctl() -> tty_devnum()

Type Parameter Key Value
DATA_SOURCE 0 tty r tty_pair_get_tty

fs/proc/array.c do_task_stat() -> tty_devnum()

Type Parameter Key Value
PARAM_VALUE 0 tty 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
LOCK2 &task->signal->exec_update_lock
TYPE_LOCK (struct seq_file)->lock
TYPE_LOCK (struct signal_struct)->exec_update_lock

kernel/acct.c fill_ac() -> tty_devnum()

Type Parameter Key Value
PARAM_VALUE 0 tty 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
HALF_LOCKED2 &acct->lock