Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/storage/isd200.c isd200_try_enum() -> isd200_atapi_soft_reset()

Type Parameter Key Value
PARAM_VALUE 0 us 4096-ptr_max
PARAM_VALUE 0 us->cr 4096-ptr_max
PARAM_VALUE 0 us->current_sg.complete.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 us->current_urb 4096-ptr_max
PARAM_VALUE 0 us->current_urb->anchor_list.next->next 4096-ptr_max
PARAM_VALUE 0 us->current_urb->anchor_list.prev->next 4096-ptr_max
PARAM_VALUE 0 us->current_urb->anchor_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 us->current_urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 us->current_urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 us->current_urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 us->current_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 us->current_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 us->current_urb->transfer_buffer->memcg_data 0
PARAM_VALUE 0 us->current_urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 us->current_urb->urb_list.next->prev 4096-ptr_max
PARAM_VALUE 0 us->current_urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 us->current_urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 us->extra 4096-ptr_max
PARAM_VALUE 0 us->extra->DeviceFlags 0-255
PARAM_VALUE 0 us->extra->DeviceHead 160
PARAM_VALUE 0 us->extra->sg.length 0
PARAM_VALUE 0 us->extra->sg.page_link 0
PARAM_VALUE 0 us->extra->srb.cmd_len 16
PARAM_VALUE 0 us->extra->srb.device 5220833882616123392
PARAM_VALUE 0 us->extra->srb.resid_len 0-4294967295
PARAM_VALUE 0 us->extra->srb.sc_data_direction 2-3
PARAM_VALUE 0 us->extra->srb.sdb.length 0,8,512
PARAM_VALUE 0 us->extra->srb.sdb.table.nents 0-1
PARAM_VALUE 0 us->extra_destructor 2851350758432919552
PARAM_VALUE 0 us->iobuf->Flags 0,128
PARAM_VALUE 0 us->iobuf->Status 0
PARAM_VALUE 0 us->proto_handler 1-u64max
PARAM_VALUE 0 us->pusb_dev 4096-ptr_max
PARAM_VALUE 0 us->pusb_intf 4096-ptr_max
PARAM_VALUE 0 us->pusb_intf->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 us->pusb_intf->cur_altsetting->desc.bNumEndpoints 1-255
PARAM_VALUE 0 us->recv_bulk_pipe 0,128-u32max
PARAM_VALUE 0 us->recv_ctrl_pipe 0,128-u32max
PARAM_VALUE 0 us->recv_intr_pipe 0,128-u32max
PARAM_VALUE 0 us->send_bulk_pipe 0,1073741824-u32max
PARAM_VALUE 0 us->send_ctrl_pipe 0,2147483648-u32max
PARAM_VALUE 0 us->transport 1-u64max
PARAM_VALUE 0 us->unusual_dev 4096-ptr_max
PARAM_VALUE 0 us->unusual_dev->initFunction 1-u64max
PARAM_VALUE 0 *us->extra->srb->cmnd 0-255
PARAM_VALUE 0 *us->iobuf->CDB 0-255
PARAM_VALUE 0 *us->pusb_dev->toggle 0-4294967295
BUF_SIZE 0 us->protocol_name (-1),17,36
BUF_SIZE 0 us->transport_name (-1),7-8,11-12,14-15,18,20,25,28
CAPPED_DATA 0 us->current_urb 1
CAPPED_DATA 0 us->pusb_intf->cur_altsetting->desc.bNumEndpoints 1
DATA_SOURCE 0 us $0
STR_LEN 0 us->protocol_name (-1),16,35
STR_LEN 0 us->transport_name (-1),6-7,10-11,13-14,17,19,24,27
RX_PATH
TASK_NOT_RUNNING