Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/tty_io.c tty_find_polling_driver() -> (struct tty_operations)->poll_init()

Type Parameter Key Value
PARAM_VALUE 0 driver 4096-ptr_max
PARAM_VALUE 0 driver->num 1-u32max
PARAM_VALUE 0 driver->ops 4096-ptr_max
PARAM_VALUE 0 driver->ops->poll_init 1455831725284642816,7005422354281586688
PARAM_VALUE 1 line 0-s32max
PARAM_VALUE 2 options 0,4096-ptr_max
CAPPED_DATA 0 &driver->tty_drivers 1
CAPPED_DATA 1 line 1
DATA_SOURCE 1 line r simple_strtoul
CONTAINER 0 -264-176+0 $(-1)
PARAM_COMPARE 0 driver->num > $1
PARAM_COMPARE 1 line < $0->num
NOSPEC 1 line
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 line 1-s32max[c]
LOCK2 _T->lock
HALF_LOCKED2 global &config_mutex