Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/usb.c brcmf_usb_fw_download() -> brcmf_usb_dlrun()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->actual_length 0-s32max
PARAM_VALUE 0 devinfo->bulk_urb->complete 7684605092715425792
PARAM_VALUE 0 devinfo->bulk_urb->context 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->ep 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->interval s32min-32768
PARAM_VALUE 0 devinfo->bulk_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 devinfo->bulk_urb->status (-4095)-0
PARAM_VALUE 0 devinfo->bulk_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 devinfo->bulk_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 devinfo->bulk_urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->urb_list.next->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->bus_pub.devid s32min-57004,57006-s32max
PARAM_VALUE 0 devinfo->bus_pub.state 2
PARAM_VALUE 0 devinfo->ctl_completed 0
PARAM_VALUE 0 devinfo->ctl_read.bRequest 0,3
PARAM_VALUE 0 devinfo->ctl_read.bRequestType 193
PARAM_VALUE 0 devinfo->ctl_read.wLength 8,24
PARAM_VALUE 0 devinfo->ctl_urb 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->complete 7684605092715425792
PARAM_VALUE 0 devinfo->ctl_urb->context 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->dev 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->ep 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->interval s32min-32768
PARAM_VALUE 0 devinfo->ctl_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 devinfo->ctl_urb->pipe 0,128-u32max
PARAM_VALUE 0 devinfo->ctl_urb->status (-4095)-0
PARAM_VALUE 0 devinfo->ctl_urb->transfer_buffer->_refcount.counter s32min-s32max
PARAM_VALUE 0 devinfo->ctl_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 devinfo->ctl_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 devinfo->ctl_urb->transfer_buffer->page_type 0-4294967295
PARAM_VALUE 0 devinfo->ctl_urb->transfer_buffer_length 8
PARAM_VALUE 0 devinfo->ctl_urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->urb_list.next->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->image 4096-ptr_max
PARAM_VALUE 0 devinfo->ioctl_resp_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->ioctl_resp_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->usbdev->state 4-u32max
BUF_SIZE 0 devinfo->image 1-s32max
CAPPED_DATA 0 devinfo->ctl_urb 1
CAPPED_DATA 0 devinfo->image_len 1
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 devinfo->bulk_urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 0 devinfo->bulk_urb->transfer_buffer_length
NO_OVERFLOW_SIMPLE 0 devinfo->ctl_urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 0 devinfo->ctl_urb->transfer_buffer_length
HALF_LOCKED2 &pool->lock