Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nfc/port100.c port100_send_frame_async() -> port100_submit_urb_for_ack()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cmd 4096-ptr_max
PARAM_VALUE 0 dev->cmd->code 0,2,4,6,32,40,42,64,66,72
PARAM_VALUE 0 dev->cmd->complete_cb_context 4096-ptr_max
PARAM_VALUE 0 dev->cmd->req 4096-ptr_max
PARAM_VALUE 0 dev->cmd->resp 4096-ptr_max
PARAM_VALUE 0 dev->cmd->resp_len 1013
PARAM_VALUE 0 dev->cmd_cancel 0
PARAM_VALUE 0 dev->in_urb 4096-ptr_max
PARAM_VALUE 0 dev->in_urb->transfer_buffer_length 1013
PARAM_VALUE 0 dev->out_urb 4096-ptr_max
PARAM_VALUE 0 dev->out_urb->actual_length 0-s32max
PARAM_VALUE 0 dev->out_urb->complete 1-u64max
PARAM_VALUE 0 dev->out_urb->dev 4096-ptr_max
PARAM_VALUE 0 dev->out_urb->dev->state 4-u32max
PARAM_VALUE 0 dev->out_urb->ep 4096-ptr_max
PARAM_VALUE 0 dev->out_urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->out_urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->out_urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->out_urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 0 dev->out_urb->interval s32min-32768
PARAM_VALUE 0 dev->out_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 dev->out_urb->status (-4095)-0
PARAM_VALUE 0 dev->out_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 dev->out_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 dev->out_urb->transfer_buffer_length 0-s32max
PARAM_VALUE 0 dev->out_urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->out_urb_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->out_urb_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->out_urb_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->out_urb_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->out_urb_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->out_urb_lock.wait_lock.owner (-1)
PARAM_VALUE 0 dev->out_urb_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 flags 3264
BUF_SIZE 0 dev (-1),320,400,480,592
BUF_SIZE 0 dev (-1),320,400,480,592
BUF_SIZE 0 dev->cmd 48
BUF_SIZE 0 dev->in_urb->transfer_buffer 1-s32max
CAPPED_DATA 0 dev->out_urb 1
CAPPED_DATA 0 dev->out_urb->transfer_buffer_length 1
CAPPED_DATA 0 &dev->out_urb_lock 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->in_urb->transfer_buffer_length
NO_OVERFLOW_SIMPLE 0 dev->out_urb->num_mapped_sgs
LOCK2 0 &dev->out_urb_lock
TYPE_LOCK (struct port100)->out_urb_lock