Defined in 4 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/usb/gadget/function/u_ether.c rx_complete() -> rx_submit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 1 urb 4096-ptr_max
PARAM_VALUE 2 flags 2080
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 1 urb s32min,(-1)-s32max
BUF_SIZE 1 urb s32min,(-1)-s32max
BUF_SIZE 1 urb->buf (-1)-1000000000,2147479552
BUF_SIZE 1 urb->context (-1),96
DATA_SOURCE 1 urb $1
NOSPEC 1 urb->actual
NOSPEC 1 urb->length
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 urb->actual 0-u32max[c]
HOST_DATA 1 urb->frame_number 0-16383[c]
HOST_DATA 1 urb->length 0-64[c]
HOST_DATA 1 urb->zero 0-1
USER_DATA 1 urb->actual 0-64
USER_DATA 1 urb->length 0-u32max
USER_DATA 1 urb->zero 0-1[c]
USER_DATA 1 *urb->buf s64min-s64max
NO_OVERFLOW_SIMPLE 1 urb->dma
NO_OVERFLOW_SIMPLE 1 urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 1 urb->status
UNITS 0 dev unit_byte
USER_PTR 1 urb->buf
HALF_LOCKED2 &cdev->lock
HALF_LOCKED2 &pdev->lock
HALF_LOCKED2 &priv_dev->lock
HALF_LOCKED2 &udc->lock
HALF_LOCKED2 cdev_flags
HALF_LOCKED2 flags

drivers/usb/gadget/function/u_ether.c rx_fill() -> rx_submit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 dev->req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 urb 4096-ptr_max
PARAM_VALUE 2 flags 2080,3264
CAPPED_DATA 0 &dev->rx_reqs 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 flags $1
PARAM_COMPARE 0 &dev->rx_reqs != $0->rx_reqs.next
HARD_MAX 2 flags 3264
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/usbnet.c rx_alloc_submit() -> rx_submit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->delay.entry.pprev 0
PARAM_VALUE 0 dev->driver_info->flags 6,32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 dev->rx_qlen 1-u16max
PARAM_VALUE 0 dev->rxq.qlen 0-65534
PARAM_VALUE 1 urb 4096-ptr_max
PARAM_VALUE 1 urb->actual_length 0
PARAM_VALUE 1 urb->anchor 0
PARAM_VALUE 1 urb->anchor_list.next 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.next->next 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.prev 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.prev->next 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 urb->complete 0
PARAM_VALUE 1 urb->context 0
PARAM_VALUE 1 urb->dev 0
PARAM_VALUE 1 urb->ep 0
PARAM_VALUE 1 urb->error_count 0
PARAM_VALUE 1 urb->hcpriv 0
PARAM_VALUE 1 urb->interval 0
PARAM_VALUE 1 urb->kref.refcount.refs.counter 1
PARAM_VALUE 1 urb->num_mapped_sgs 0
PARAM_VALUE 1 urb->num_sgs 0
PARAM_VALUE 1 urb->number_of_packets 0
PARAM_VALUE 1 urb->pipe 0
PARAM_VALUE 1 urb->reject.counter 0
PARAM_VALUE 1 urb->setup_dma 0
PARAM_VALUE 1 urb->setup_packet 0
PARAM_VALUE 1 urb->sg 0
PARAM_VALUE 1 urb->sgt 0
PARAM_VALUE 1 urb->start_frame 0
PARAM_VALUE 1 urb->status 0
PARAM_VALUE 1 urb->stream_id 0
PARAM_VALUE 1 urb->transfer_buffer 0
PARAM_VALUE 1 urb->transfer_buffer_length 0
PARAM_VALUE 1 urb->transfer_dma 0
PARAM_VALUE 1 urb->transfer_flags 0
PARAM_VALUE 1 urb->unlinked 0
PARAM_VALUE 1 urb->urb_list.next 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.prev 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 urb->use_count.counter 0
PARAM_VALUE 2 flags 2080,3072
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 1 urb s32min-s32max
CAPPED_DATA 0 dev->rxq.qlen 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 urb r usb_alloc_urb
DATA_SOURCE 2 flags $1
PARAM_COMPARE 0 dev->rx_qlen > $0->rxq.qlen
HARD_MAX 2 flags 3072
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->interrupt->num_mapped_sgs
UNITS 0 dev unit_byte

drivers/net/usb/usbnet.c rx_complete() -> rx_submit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.next 4096-ptr_max
PARAM_VALUE 0 dev->done.prev 4096-ptr_max
PARAM_VALUE 0 dev->done.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 dev->pkt_cnt 0-30
PARAM_VALUE 0 dev->rxq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 urb 4096-ptr_max
PARAM_VALUE 1 urb->anchor 0
PARAM_VALUE 1 urb->context 4096-ptr_max
PARAM_VALUE 1 urb->dev 4096-ptr_max
PARAM_VALUE 1 urb->dev->bus 4096-ptr_max
PARAM_VALUE 1 urb->hcpriv 0
PARAM_VALUE 1 urb->iso_frame_desc->actual_length 0-4294967295
PARAM_VALUE 1 urb->setup_dma 0
PARAM_VALUE 1 urb->setup_packet 0-255
PARAM_VALUE 1 urb->transfer_buffer->_refcount.counter s32min-s32max
PARAM_VALUE 1 urb->transfer_buffer->memcg_data 0
PARAM_VALUE 1 urb->transfer_buffer->page_type 0-4294967295
PARAM_VALUE 1 urb->transfer_dma 0
PARAM_VALUE 2 flags 2080
BUF_SIZE 1 urb->context s32min-(-1),1-s32max
CAPPED_DATA 1 urb 1
DATA_SOURCE 1 urb $0
FUZZY_MAX 0 dev->pkt_cnt 30
NOSPEC 1 urb->transfer_buffer_length
HARD_MAX 0 dev->pkt_cnt 30
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 urb->start_frame 0-s32max
USER_DATA 1 urb->actual_length 0-u32max[c][u]
USER_DATA 1 urb->transfer_buffer_length 1-s32max
NO_OVERFLOW_SIMPLE 1 urb->actual_length
NO_OVERFLOW_SIMPLE 1 urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 1 urb->setup_dma
NO_OVERFLOW_SIMPLE 1 urb->sg->length
NO_OVERFLOW_SIMPLE 1 urb->transfer_buffer
NO_OVERFLOW_SIMPLE 1 urb->transfer_dma
UNITS 0 dev unit_byte
HALF_LOCKED2 &pool->lock

drivers/net/usb/usbnet.c usbnet_deferred_kevent() -> rx_submit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->intf 4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.class 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.request 0-4
PARAM_VALUE 0 dev->intf->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->intf->dev.type 0,4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 1 urb 4096-ptr_max
PARAM_VALUE 1 urb->actual_length 0
PARAM_VALUE 1 urb->anchor 0
PARAM_VALUE 1 urb->anchor_list.next 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.next->next 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.prev 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.prev->next 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 urb->complete 0
PARAM_VALUE 1 urb->context 0
PARAM_VALUE 1 urb->dev 0
PARAM_VALUE 1 urb->ep 0
PARAM_VALUE 1 urb->error_count 0
PARAM_VALUE 1 urb->hcpriv 0
PARAM_VALUE 1 urb->interval 0
PARAM_VALUE 1 urb->kref.refcount.refs.counter 1
PARAM_VALUE 1 urb->num_mapped_sgs 0
PARAM_VALUE 1 urb->num_sgs 0
PARAM_VALUE 1 urb->number_of_packets 0
PARAM_VALUE 1 urb->pipe 0
PARAM_VALUE 1 urb->reject.counter 0
PARAM_VALUE 1 urb->setup_dma 0
PARAM_VALUE 1 urb->setup_packet 0
PARAM_VALUE 1 urb->sg 0
PARAM_VALUE 1 urb->sgt 0
PARAM_VALUE 1 urb->start_frame 0
PARAM_VALUE 1 urb->status 0
PARAM_VALUE 1 urb->stream_id 0
PARAM_VALUE 1 urb->transfer_buffer 0
PARAM_VALUE 1 urb->transfer_buffer_length 0
PARAM_VALUE 1 urb->transfer_dma 0
PARAM_VALUE 1 urb->transfer_flags 0
PARAM_VALUE 1 urb->unlinked 0
PARAM_VALUE 1 urb->urb_list.next 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.prev 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 urb->use_count.counter 0
PARAM_VALUE 2 flags 3264
BUF_SIZE 1 urb s32min-s32max
DATA_SOURCE 1 urb r usb_alloc_urb
HALF_LOCKED2 &pool->lock

drivers/net/usb/lan78xx.c lan78xx_rx_urb_resubmit() -> rx_submit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->rxq_done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->rxq_done.next 4096-ptr_max
PARAM_VALUE 0 dev->rxq_done.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->rxq_done.prev 4096-ptr_max
PARAM_VALUE 0 dev->rxq_done.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->rxq_done.qlen 0
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 urb 4096-2167202329180147712
PARAM_VALUE 1 urb->cb 4096-ptr_max
PARAM_VALUE 1 urb->data_len 0
PARAM_VALUE 1 urb->len 0
PARAM_VALUE 1 urb->next 0
PARAM_VALUE 1 urb->prev 0
PARAM_VALUE 2 flags 2080
BUF_SIZE 1 urb->data 1-4000000
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 urb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 urb->next->end
NO_OVERFLOW_SIMPLE 1 urb->next->len
NO_OVERFLOW_SIMPLE 1 urb->next->tail
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/usb/lan78xx.c lan78xx_rx_urb_submit_all() -> rx_submit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 urb 4096-ptr_max
PARAM_VALUE 2 flags 2080
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 urb r lan78xx_get_rx_buf
PARAM_COMPARE 0 &dev->rxq_free != $0->rxq_free.next
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pl->phydev_mutex
HALF_LOCKED2 &pl->state_mutex

drivers/net/usb/cdc-phonet.c rx_complete() -> rx_submit()

Type Parameter Key Value
PARAM_VALUE 1 urb 4096-ptr_max
PARAM_VALUE 1 urb->anchor 0
PARAM_VALUE 1 urb->dev 4096-ptr_max
PARAM_VALUE 1 urb->dev->bus 4096-ptr_max
PARAM_VALUE 1 urb->hcpriv 0
PARAM_VALUE 1 urb->iso_frame_desc->actual_length 0-4294967295
PARAM_VALUE 1 urb->setup_dma 0
PARAM_VALUE 1 urb->setup_packet 0-255
PARAM_VALUE 1 urb->transfer_buffer->_refcount.counter s32min-s32max
PARAM_VALUE 1 urb->transfer_buffer->memcg_data 0
PARAM_VALUE 1 urb->transfer_buffer->page_type 0-4294967295
PARAM_VALUE 1 urb->transfer_dma 0
PARAM_VALUE 2 flags 2080
BUF_SIZE 0 dev->rx_skb (-1)-s32max
BUF_SIZE 1 urb->context s32min-(-1),1-s32max
CAPPED_DATA 1 urb 1
CAPPED_DATA 1 urb->transfer_buffer 1
DATA_SOURCE 1 urb $0
NOSPEC 1 urb->transfer_buffer_length
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 urb->start_frame 0-s32max
USER_DATA 1 urb->actual_length 0-u32max[c][u]
USER_DATA 1 urb->transfer_buffer_length 1-s32max
NO_OVERFLOW_SIMPLE 1 urb->actual_length
NO_OVERFLOW_SIMPLE 1 urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 1 urb->setup_dma
NO_OVERFLOW_SIMPLE 1 urb->sg->length
NO_OVERFLOW_SIMPLE 1 urb->transfer_buffer
NO_OVERFLOW_SIMPLE 1 urb->transfer_dma
USER_PTR 0 dev->rx_skb->data
HALF_LOCKED2 &pool->lock

drivers/net/usb/cdc-phonet.c usbpn_open() -> rx_submit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->data_intf 4096-ptr_max
PARAM_VALUE 0 dev->data_intf->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 dev->usb 4096-ptr_max
PARAM_VALUE 0 dev->usb->actconfig 4096-ptr_max
PARAM_VALUE 0 dev->usb->actconfig->desc.bNumInterfaces 1-255
PARAM_VALUE 0 dev->usb->state 0-7,9-u32max
PARAM_VALUE 0 *dev->usb->toggle 0-4294967295
PARAM_VALUE 0 *dev->usb->tt->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 urb 4096-ptr_max
PARAM_VALUE 1 urb->actual_length 0
PARAM_VALUE 1 urb->anchor 0
PARAM_VALUE 1 urb->anchor_list.next 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.next->next 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.prev 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.prev->next 4096-ptr_max
PARAM_VALUE 1 urb->anchor_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 urb->complete 0
PARAM_VALUE 1 urb->context 0
PARAM_VALUE 1 urb->dev 0
PARAM_VALUE 1 urb->ep 0
PARAM_VALUE 1 urb->error_count 0
PARAM_VALUE 1 urb->hcpriv 0
PARAM_VALUE 1 urb->interval 0
PARAM_VALUE 1 urb->kref.refcount.refs.counter 1
PARAM_VALUE 1 urb->num_mapped_sgs 0
PARAM_VALUE 1 urb->num_sgs 0
PARAM_VALUE 1 urb->number_of_packets 0
PARAM_VALUE 1 urb->pipe 0
PARAM_VALUE 1 urb->reject.counter 0
PARAM_VALUE 1 urb->setup_dma 0
PARAM_VALUE 1 urb->setup_packet 0
PARAM_VALUE 1 urb->sg 0
PARAM_VALUE 1 urb->sgt 0
PARAM_VALUE 1 urb->start_frame 0
PARAM_VALUE 1 urb->status 0
PARAM_VALUE 1 urb->stream_id 0
PARAM_VALUE 1 urb->transfer_buffer 0
PARAM_VALUE 1 urb->transfer_buffer_length 0
PARAM_VALUE 1 urb->transfer_dma 0
PARAM_VALUE 1 urb->transfer_flags 0
PARAM_VALUE 1 urb->unlinked 0
PARAM_VALUE 1 urb->urb_list.next 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.prev 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 1 urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 urb->use_count.counter 0
PARAM_VALUE 2 flags 3264
BUF_SIZE 1 urb s32min-s32max
CAPPED_DATA 0 dev->active_setting 1
CAPPED_DATA 0 dev->usb 1
DATA_SOURCE 1 urb r usb_alloc_urb
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex