Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/atm/usbatm.c usbatm_usb_probe() -> usbatm_heavy_init()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->cached_vci (-2)
PARAM_VALUE 0 instance->cached_vpi (-2)
PARAM_VALUE 0 instance->cell_buf 16,4096-ptr_max
PARAM_VALUE 0 instance->driver 4096-ptr_max
PARAM_VALUE 0 instance->refcount.refcount.refs.counter 1
PARAM_VALUE 0 instance->rx_channel.delay.entry.pprev 0
PARAM_VALUE 0 instance->rx_channel.delay.flags 0-4194302
PARAM_VALUE 0 instance->rx_channel.delay.lockdep_map->name 0-255
PARAM_VALUE 0 instance->rx_channel.endpoint 128-s32max
PARAM_VALUE 0 instance->rx_channel.packet_size 1-2047
PARAM_VALUE 0 instance->rx_channel.stride 53-308
PARAM_VALUE 0 instance->rx_channel.tasklet.data 0
PARAM_VALUE 0 instance->rx_channel.tasklet.next 0
PARAM_VALUE 0 instance->rx_channel.tasklet.state 0
PARAM_VALUE 0 instance->rx_channel.tasklet.use_callback 1
PARAM_VALUE 0 instance->rx_channel.usbatm 4096-ptr_max
PARAM_VALUE 0 instance->serialize.dep_map->name 0-255
PARAM_VALUE 0 instance->serialize.first_waiter 0
PARAM_VALUE 0 instance->serialize.magic 4096-ptr_max
PARAM_VALUE 0 instance->serialize.osq.tail.counter 0
PARAM_VALUE 0 instance->serialize.owner.counter 0
PARAM_VALUE 0 instance->sndqueue.next 4096-ptr_max
PARAM_VALUE 0 instance->sndqueue.prev 4096-ptr_max
PARAM_VALUE 0 instance->sndqueue.qlen 0
PARAM_VALUE 0 instance->thread 0
PARAM_VALUE 0 instance->thread_exited.done 0
PARAM_VALUE 0 instance->thread_exited.wait.lock.magic 3735899821
PARAM_VALUE 0 instance->thread_exited.wait.lock.owner (-1)
PARAM_VALUE 0 instance->thread_exited.wait.lock.owner_cpu u32max
PARAM_VALUE 0 instance->thread_exited.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 instance->thread_exited.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 instance->thread_exited.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 instance->thread_exited.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 instance->thread_exited.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 instance->thread_started.done 0
PARAM_VALUE 0 instance->thread_started.wait.lock.magic 3735899821
PARAM_VALUE 0 instance->thread_started.wait.lock.owner (-1)
PARAM_VALUE 0 instance->thread_started.wait.lock.owner_cpu u32max
PARAM_VALUE 0 instance->thread_started.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 instance->thread_started.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 instance->thread_started.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 instance->thread_started.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 instance->thread_started.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.delay.entry.pprev 0
PARAM_VALUE 0 instance->tx_channel.delay.flags 0-4194302
PARAM_VALUE 0 instance->tx_channel.delay.lockdep_map->name 0-255
PARAM_VALUE 0 instance->tx_channel.endpoint s32min-0,1073741824-s32max
PARAM_VALUE 0 instance->tx_channel.tasklet.data 0
PARAM_VALUE 0 instance->tx_channel.tasklet.next 0
PARAM_VALUE 0 instance->tx_channel.tasklet.state 0
PARAM_VALUE 0 instance->tx_channel.tasklet.use_callback 1
PARAM_VALUE 0 instance->tx_channel.usbatm 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.usbatm->driver 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.usbatm->rx_channel.delay.flags 0-4194302
PARAM_VALUE 0 instance->tx_channel.usbatm->rx_channel.tasklet.use_callback 1
PARAM_VALUE 0 instance->tx_channel.usbatm->serialize.magic 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.usbatm->sndqueue.next 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.usbatm->sndqueue.prev 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.usbatm->thread 0
PARAM_VALUE 0 instance->tx_channel.usbatm->tx_channel.delay.flags 0-4194302
PARAM_VALUE 0 instance->tx_channel.usbatm->tx_channel.tasklet.use_callback 1
PARAM_VALUE 0 instance->tx_channel.usbatm->tx_channel.usbatm 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.usbatm->usb_dev 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.usbatm->usb_intf 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.usbatm->vcc_list.next 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.usbatm->vcc_list.prev 4096-ptr_max
PARAM_VALUE 0 instance->usb_dev 4096-ptr_max
PARAM_VALUE 0 instance->usb_intf 4096-ptr_max
PARAM_VALUE 0 instance->usb_intf->authorized 1
PARAM_VALUE 0 instance->usb_intf->condition 1
PARAM_VALUE 0 instance->usb_intf->needs_altsetting0 0
PARAM_VALUE 0 instance->usb_intf->needs_binding 0
PARAM_VALUE 0 instance->vcc_list.next 4096-ptr_max
PARAM_VALUE 0 instance->vcc_list.next->next 4096-ptr_max
PARAM_VALUE 0 instance->vcc_list.prev 4096-ptr_max
PARAM_VALUE 0 instance->vcc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 instance->vcc_list.prev->prev 4096-ptr_max
BUF_SIZE 0 instance 1128-68719477848
BUF_SIZE 0 instance 1128-68719477848
BUF_SIZE 0 instance->cell_buf 0-u32max
BUF_SIZE 0 instance->tx_channel.usbatm 1128-68719477848
DATA_SOURCE 0 instance r _kzalloc_noprof
BIT_INFO 0 instance->flags 0x0,0xfffffffe
BIT_INFO 0 instance->rx_channel.endpoint 0x80,0xffffffffffffffff
BIT_INFO 0 instance->tx_channel.endpoint 0xc0000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING