Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/usb.c brcmf_usb_probe_cb() -> brcmf_usb_dlneeded()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->actual_length 0
PARAM_VALUE 0 devinfo->bulk_urb->anchor 0
PARAM_VALUE 0 devinfo->bulk_urb->anchor_list.next 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->anchor_list.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->anchor_list.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->anchor_list.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->anchor_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->complete 0
PARAM_VALUE 0 devinfo->bulk_urb->context 0
PARAM_VALUE 0 devinfo->bulk_urb->dev 0
PARAM_VALUE 0 devinfo->bulk_urb->ep 0
PARAM_VALUE 0 devinfo->bulk_urb->error_count 0
PARAM_VALUE 0 devinfo->bulk_urb->hcpriv 0
PARAM_VALUE 0 devinfo->bulk_urb->interval 0
PARAM_VALUE 0 devinfo->bulk_urb->kref.refcount.refs.counter 1
PARAM_VALUE 0 devinfo->bulk_urb->num_mapped_sgs 0
PARAM_VALUE 0 devinfo->bulk_urb->num_sgs 0
PARAM_VALUE 0 devinfo->bulk_urb->number_of_packets 0
PARAM_VALUE 0 devinfo->bulk_urb->pipe 0
PARAM_VALUE 0 devinfo->bulk_urb->reject.counter 0
PARAM_VALUE 0 devinfo->bulk_urb->setup_dma 0
PARAM_VALUE 0 devinfo->bulk_urb->setup_packet 0
PARAM_VALUE 0 devinfo->bulk_urb->sg 0
PARAM_VALUE 0 devinfo->bulk_urb->sgt 0
PARAM_VALUE 0 devinfo->bulk_urb->start_frame 0
PARAM_VALUE 0 devinfo->bulk_urb->status 0
PARAM_VALUE 0 devinfo->bulk_urb->stream_id 0
PARAM_VALUE 0 devinfo->bulk_urb->transfer_buffer 0
PARAM_VALUE 0 devinfo->bulk_urb->transfer_dma 0
PARAM_VALUE 0 devinfo->bulk_urb->transfer_flags 0
PARAM_VALUE 0 devinfo->bulk_urb->unlinked 0
PARAM_VALUE 0 devinfo->bulk_urb->urb_list.next 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->bulk_urb->urb_list.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->bulk_urb->use_count.counter 0
PARAM_VALUE 0 devinfo->bus_pub.bus_mtu 1600
PARAM_VALUE 0 devinfo->bus_pub.devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->bus_pub.devinfo->bus_pub.devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->bus_pub.devinfo->bus_pub.nrxq 50
PARAM_VALUE 0 devinfo->bus_pub.devinfo->dev 4096-ptr_max
PARAM_VALUE 0 devinfo->bus_pub.devinfo->rx_low_watermark 25
PARAM_VALUE 0 devinfo->bus_pub.devinfo->rx_pipe 1-u32max
PARAM_VALUE 0 devinfo->bus_pub.devinfo->tx_pipe 1-u32max
PARAM_VALUE 0 devinfo->bus_pub.devinfo->usbdev 4096-ptr_max
PARAM_VALUE 0 devinfo->bus_pub.nrxq 50
PARAM_VALUE 0 devinfo->bus_pub.ntxq 50
PARAM_VALUE 0 devinfo->bus_pub.state 0
PARAM_VALUE 0 devinfo->ctl_urb 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->actual_length 0
PARAM_VALUE 0 devinfo->ctl_urb->anchor 0
PARAM_VALUE 0 devinfo->ctl_urb->anchor_list.next 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->anchor_list.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->anchor_list.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->anchor_list.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->anchor_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->complete 0
PARAM_VALUE 0 devinfo->ctl_urb->context 0
PARAM_VALUE 0 devinfo->ctl_urb->dev 0
PARAM_VALUE 0 devinfo->ctl_urb->ep 0
PARAM_VALUE 0 devinfo->ctl_urb->error_count 0
PARAM_VALUE 0 devinfo->ctl_urb->hcpriv 0
PARAM_VALUE 0 devinfo->ctl_urb->interval 0
PARAM_VALUE 0 devinfo->ctl_urb->kref.refcount.refs.counter 1
PARAM_VALUE 0 devinfo->ctl_urb->num_mapped_sgs 0
PARAM_VALUE 0 devinfo->ctl_urb->num_sgs 0
PARAM_VALUE 0 devinfo->ctl_urb->number_of_packets 0
PARAM_VALUE 0 devinfo->ctl_urb->pipe 0
PARAM_VALUE 0 devinfo->ctl_urb->reject.counter 0
PARAM_VALUE 0 devinfo->ctl_urb->setup_dma 0
PARAM_VALUE 0 devinfo->ctl_urb->setup_packet 0
PARAM_VALUE 0 devinfo->ctl_urb->sg 0
PARAM_VALUE 0 devinfo->ctl_urb->sgt 0
PARAM_VALUE 0 devinfo->ctl_urb->start_frame 0
PARAM_VALUE 0 devinfo->ctl_urb->status 0
PARAM_VALUE 0 devinfo->ctl_urb->stream_id 0
PARAM_VALUE 0 devinfo->ctl_urb->transfer_buffer 0
PARAM_VALUE 0 devinfo->ctl_urb->transfer_buffer_length 0
PARAM_VALUE 0 devinfo->ctl_urb->transfer_dma 0
PARAM_VALUE 0 devinfo->ctl_urb->transfer_flags 0
PARAM_VALUE 0 devinfo->ctl_urb->unlinked 0
PARAM_VALUE 0 devinfo->ctl_urb->urb_list.next 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->ctl_urb->urb_list.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->ctl_urb->use_count.counter 0
PARAM_VALUE 0 devinfo->dev 4096-ptr_max
PARAM_VALUE 0 devinfo->dev_init_done.done 0
PARAM_VALUE 0 devinfo->dev_init_done.wait.lock.magic 3735899821
PARAM_VALUE 0 devinfo->dev_init_done.wait.lock.owner (-1)
PARAM_VALUE 0 devinfo->dev_init_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 devinfo->dev_init_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 devinfo->dev_init_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->dev_init_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->dev_init_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->dev_init_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->ioctl_resp_wait.head.next 4096-ptr_max
PARAM_VALUE 0 devinfo->ioctl_resp_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->ioctl_resp_wait.head.prev 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->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_freeq.next 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_freeq.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_freeq.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_freeq.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_freeq.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_low_watermark 25
PARAM_VALUE 0 devinfo->rx_pipe 1-u32max
PARAM_VALUE 0 devinfo->rx_postq.next 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_postq.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_postq.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_postq.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_postq.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->rx_reqs 4096-ptr_max
PARAM_VALUE 0 devinfo->settings 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_flowblock 0
PARAM_VALUE 0 devinfo->tx_freecount 50
PARAM_VALUE 0 devinfo->tx_freeq.next 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_freeq.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_freeq.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_freeq.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_freeq.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_high_watermark 36
PARAM_VALUE 0 devinfo->tx_low_watermark 12
PARAM_VALUE 0 devinfo->tx_pipe 1-u32max
PARAM_VALUE 0 devinfo->tx_postq.next 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_postq.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_postq.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_postq.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_postq.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->tx_reqs 4096-ptr_max
PARAM_VALUE 0 devinfo->usbdev 4096-ptr_max
BUF_SIZE 0 devinfo 936
BUF_SIZE 0 devinfo->dev 1616
BUF_SIZE 0 devinfo->settings 104
CAPPED_DATA 0 devinfo->rx_reqs 1
CAPPED_DATA 0 devinfo->tx_reqs 1
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 devinfo->settings->country_codes->table_size
NO_OVERFLOW_SIMPLE 0 devinfo->tx_freecount