Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 adap 4096-ptr_max
PARAM_VALUE 0 adap->actual_length 0
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-4294967293,u32max
PARAM_VALUE 0 adap->cmd_completion.wait.lock.dep_map->name 0-255
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->next 4096-ptr_max
PARAM_VALUE 0 adap->cmd_completion.wait.task_list.prev->next->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->ex_buf 0
PARAM_VALUE 0 adap->ex_buf_len 0
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.bus 0,4096-ptr_max
PARAM_VALUE 0 adap->intf->dev.class 0,4096-ptr_max
PARAM_VALUE 0 adap->intf->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 adap->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 adap->intf->dev.type 0,4096-ptr_max
PARAM_VALUE 0 adap->intf->needs_altsetting0 0
PARAM_VALUE 0 adap->intf->needs_binding 0
PARAM_VALUE 0 adap->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adap->mutex.dep_map->name 0-255
PARAM_VALUE 0 adap->reset_id 1
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->cmd 0
PARAM_VALUE 0 adap->tx_buf->flags 0
PARAM_VALUE 0 adap->tx_buf->len 0
PARAM_VALUE 0 adap->tx_buf->type 0
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
PARAM_VALUE 0 adap->usb_dev->bus->sysdev->iommu->attach_deferred 0-1
PARAM_VALUE 0 adap->usb_dev->state 4-u32max
PARAM_VALUE 0 *adap->tx_buf->data 0-255
BUF_SIZE 0 adap 432
BUF_SIZE 0 adap->dev 1616
BUF_SIZE 0 adap->rx_buf 0-2047
BUF_SIZE 0 adap->tx_buf 64
CAPPED_DATA 0 adap->rx_urb 1
DATA_SOURCE 0 adap $0
BIT_INFO 0 adap->rx_pipe 0xc0000080,0xffffffffffffffff
BIT_INFO 0 adap->tx_pipe 0xc0000000,0xffffffffffffffff
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