Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi-ch341.c ch341_probe() -> ch341_config_stream()

Type Parameter Key Value
PARAM_VALUE 0 ch341 4096-ptr_max
PARAM_VALUE 0 ch341->ctrl 4096-ptr_max
PARAM_VALUE 0 ch341->read_pipe 0,128-u32max
PARAM_VALUE 0 ch341->rx_buf 1-u64max
PARAM_VALUE 0 ch341->rx_len 0-2047
PARAM_VALUE 0 ch341->rx_urb 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->actual_length 0-s32max
PARAM_VALUE 0 ch341->rx_urb->anchor 0
PARAM_VALUE 0 ch341->rx_urb->anchor_list.next 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->anchor_list.next->next 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->anchor_list.prev 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->anchor_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->anchor_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->complete 3890026725024632832
PARAM_VALUE 0 ch341->rx_urb->context 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->dev 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->dev->state 4-u32max
PARAM_VALUE 0 ch341->rx_urb->ep 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->error_count 0
PARAM_VALUE 0 ch341->rx_urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->interval s32min-32768
PARAM_VALUE 0 ch341->rx_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 ch341->rx_urb->num_sgs 0
PARAM_VALUE 0 ch341->rx_urb->number_of_packets 0
PARAM_VALUE 0 ch341->rx_urb->pipe 0,128-u32max
PARAM_VALUE 0 ch341->rx_urb->reject.counter 0
PARAM_VALUE 0 ch341->rx_urb->sg 0
PARAM_VALUE 0 ch341->rx_urb->sgt 0
PARAM_VALUE 0 ch341->rx_urb->start_frame 0
PARAM_VALUE 0 ch341->rx_urb->status (-4095)-0
PARAM_VALUE 0 ch341->rx_urb->stream_id 0
PARAM_VALUE 0 ch341->rx_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 ch341->rx_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 ch341->rx_urb->transfer_buffer_length 0-2047
PARAM_VALUE 0 ch341->rx_urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ch341->rx_urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ch341->tx_buf 1-u64max
PARAM_VALUE 0 ch341->udev 4096-ptr_max
PARAM_VALUE 0 ch341->write_pipe 0,1073741824-u32max
BUF_SIZE 0 ch341 s32min-(-2),1-s32max
BUF_SIZE 0 ch341 s32min-(-2),1-s32max
BUF_SIZE 0 ch341->ctrl 2888-5752
BUF_SIZE 0 ch341->rx_buf 0-2047
BUF_SIZE 0 ch341->rx_urb s32min-s32max
BUF_SIZE 0 ch341->tx_buf 32
CAPPED_DATA 0 ch341->rx_urb 1
CAPPED_DATA 0 ch341->rx_urb->transfer_buffer_length 1
BIT_INFO 0 ch341->read_pipe 0xc0000080,0xffffffffffffffff
BIT_INFO 0 ch341->write_pipe 0xc0000000,0xffffffff
MEM_ZERO 0 ch341->rx_buf
MEM_ZERO 0 ch341->tx_buf
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ch341->rx_urb->num_mapped_sgs
UNITS 0 ch341 unit_byte