Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/misc/usb-ljca.c ljca_probe() -> ljca_enumerate_clients()

Type Parameter Key Value
PARAM_VALUE 0 adap 4096-ptr_max
PARAM_VALUE 0 adap->client_list.next 4096-ptr_max
PARAM_VALUE 0 adap->client_list.next->next 4096-ptr_max
PARAM_VALUE 0 adap->client_list.prev 4096-ptr_max
PARAM_VALUE 0 adap->client_list.prev->next 4096-ptr_max
PARAM_VALUE 0 adap->client_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 adap->cmd_completion.done 0
PARAM_VALUE 0 adap->cmd_completion.wait.lock.magic 3735899821
PARAM_VALUE 0 adap->cmd_completion.wait.lock.owner (-1)
PARAM_VALUE 0 adap->cmd_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 adap->cmd_completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 adap->cmd_completion.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 adap->cmd_completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 adap->cmd_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 adap->cmd_completion.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 adap->dev 4096-ptr_max
PARAM_VALUE 0 adap->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 adap->intf 4096-ptr_max
PARAM_VALUE 0 adap->intf->authorized 1
PARAM_VALUE 0 adap->intf->condition 1
PARAM_VALUE 0 adap->intf->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 adap->intf->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 adap->intf->needs_altsetting0 0
PARAM_VALUE 0 adap->intf->needs_binding 0
PARAM_VALUE 0 adap->mutex.dep_map->name 0-255
PARAM_VALUE 0 adap->mutex.first_waiter 0
PARAM_VALUE 0 adap->mutex.magic 4096-ptr_max
PARAM_VALUE 0 adap->mutex.osq.tail.counter 0
PARAM_VALUE 0 adap->mutex.owner.counter 0
PARAM_VALUE 0 adap->rx_buf 1-u64max
PARAM_VALUE 0 adap->rx_len 0-2047
PARAM_VALUE 0 adap->rx_pipe 0,128-u32max
PARAM_VALUE 0 adap->rx_urb 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->actual_length 0-s32max
PARAM_VALUE 0 adap->rx_urb->anchor 0
PARAM_VALUE 0 adap->rx_urb->anchor_list.next 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->anchor_list.next->next 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->anchor_list.prev 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->anchor_list.prev->next 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->anchor_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->complete 7488366823206141952
PARAM_VALUE 0 adap->rx_urb->context 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->dev 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->dev->state 4-u32max
PARAM_VALUE 0 adap->rx_urb->ep 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->error_count 0
PARAM_VALUE 0 adap->rx_urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->interval s32min-32768
PARAM_VALUE 0 adap->rx_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 adap->rx_urb->num_sgs 0
PARAM_VALUE 0 adap->rx_urb->number_of_packets 0
PARAM_VALUE 0 adap->rx_urb->pipe 0,128-u32max
PARAM_VALUE 0 adap->rx_urb->reject.counter 0
PARAM_VALUE 0 adap->rx_urb->sg 0
PARAM_VALUE 0 adap->rx_urb->sgt 0
PARAM_VALUE 0 adap->rx_urb->start_frame 0
PARAM_VALUE 0 adap->rx_urb->status (-4095)-0
PARAM_VALUE 0 adap->rx_urb->stream_id 0
PARAM_VALUE 0 adap->rx_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 adap->rx_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 adap->rx_urb->transfer_buffer_length 0-2047
PARAM_VALUE 0 adap->rx_urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 adap->rx_urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 adap->tx_buf 1-u64max
PARAM_VALUE 0 adap->tx_buf_len 64
PARAM_VALUE 0 adap->tx_pipe 0,1073741824-u32max
PARAM_VALUE 0 adap->usb_dev 4096-ptr_max
BUF_SIZE 0 adap 432
BUF_SIZE 0 adap->dev 1616
BUF_SIZE 0 adap->rx_buf 0-2047
BUF_SIZE 0 adap->rx_urb s32min-s32max
BUF_SIZE 0 adap->tx_buf 64
CAPPED_DATA 0 adap->rx_urb 1
CAPPED_DATA 0 adap->rx_urb->transfer_buffer_length 1
DATA_SOURCE 0 adap r devm_kzalloc
BIT_INFO 0 adap->rx_pipe 0xc0000080,0xffffffffffffffff
BIT_INFO 0 adap->tx_pipe 0xc0000000,0xffffffff
MEM_ZERO 0 adap
MEM_ZERO 0 adap->rx_buf
MEM_ZERO 0 adap->tx_buf
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 adap->rx_urb->num_mapped_sgs