Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/atm/usbatm.c usbatm_atm_init() -> usbatm_get_instance()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->atm_dev 4096-ptr_max
PARAM_VALUE 0 instance->atm_dev->class_dev.driver 0
PARAM_VALUE 0 instance->atm_dev->dev_list.next 1498560165830979584
PARAM_VALUE 0 instance->atm_dev->dev_list.prev 4096-ptr_max
PARAM_VALUE 0 instance->atm_dev->link_rate 353207
PARAM_VALUE 0 instance->atm_dev->number 0-s32max
PARAM_VALUE 0 instance->atm_dev->ops 8459513116714209280
PARAM_VALUE 0 instance->atm_dev->refcnt.refs.counter 1
PARAM_VALUE 0 instance->atm_dev->signal 1
PARAM_VALUE 0 instance->driver 4096-ptr_max
PARAM_VALUE 0 instance->driver->atm_start 182588670375751680,6970859088789553152,7339489483807649792,7455128842435661824
PARAM_VALUE 0 instance->thread_started.wait.lock.owner (-1)
PARAM_VALUE 0 instance->thread_started.wait.lock.owner_cpu u32max
BUF_SIZE 0 instance 128,1128-s32max
BUF_SIZE 0 instance 128,1128-s32max
BUF_SIZE 0 instance->atm_dev 1776
BUF_SIZE 0 instance->cell_buf (-1)-s32max
BUF_SIZE 0 instance->tx_channel.usbatm (-1),1128-s32max
DATA_SOURCE 0 instance $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL