Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 17 files:

Smatch caller information:

drivers/net/usb/aqc111.c aqc111_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r netdev_alloc_skb_ip_align
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/smsc75xx.c smsc75xx_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->csum 0-u16max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->ip_summed 0,2
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 0 dev->net->hard_header_len 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r netdev_alloc_skb_ip_align
CONSTRAINT 0 dev->net->hard_header_len <=49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/cdc_eem.c eem_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb (-1),240
BUF_SIZE 1 skb (-1),240
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r skb_clone
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/rndis_host.c rndis_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->data 0-2,4,1245443,2039071,10460575,537268737
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb (-1),240
BUF_SIZE 1 skb (-1),240
CAPPED_DATA 0 dev->net->hard_header_len 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r skb_clone
CONSTRAINT 0 dev->net->hard_header_len <=49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/asix_common.c asix_rx_fixup_internal() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags 6,32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 1 skb->data
HALF_LOCKED2 &pool->lock

drivers/net/usb/sierra_net.c sierra_net_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb (-1),240
BUF_SIZE 1 skb (-1),240
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r sierra_net_skb_clone
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/usbnet.c rx_process() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
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->driver_info->rx_fixup 0,4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->len 14-u32max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb $1
FUZZY_MAX 1 skb->len 14
BIT_INFO 0 dev->driver_info->flags 0x0,0x1dfff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/usbnet.c usbnet_resume_rx() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->hard_mtu 1-u32max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 dev->rx_urb_size 1-u32max
PARAM_VALUE 0 dev->rxq.next->cb->state 6
PARAM_VALUE 0 dev->rxq.next->cb->urb->dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->rxq.next->cb->urb->dev->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 dev->rxq.next->cb->urb->dev->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 dev->rxq.next->cb->urb->dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->rxq.next->cb->urb->dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->rxq.next->cb->urb->dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->rxq.next->cb->urb->dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->rxq.next->cb->urb->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->rxq.next->cb->urb->unlinked s32min-s32max
PARAM_VALUE 0 dev->rxq_pause.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
CAPPED_DATA 0 &dev->rxq_pause 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r skb_dequeue
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dev->hard_mtu 1-2147549182[c]
USER_DATA 0 dev->rx_urb_size 1-2147549182[c]
LOCK2 bh
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &rtnl_mutex

drivers/net/usb/cx82310_eth.c cx82310_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->data 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/cx82310_eth.c cx82310_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->data 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb 0-1514,u16max
BUF_SIZE 1 skb 0-1514,u16max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/ax88179_178a.c ax88179_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->ip_summed 0-1
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r netdev_alloc_skb_ip_align
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/sr9700.c sr9700_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r netdev_alloc_skb_ip_align
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/gl620a.c genelink_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb 0-1514
BUF_SIZE 1 skb 0-1514
CAPPED_DATA 0 dev->net->hard_header_len 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r alloc_skb
CONSTRAINT 0 dev->net->hard_header_len <=49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/kalmia.c kalmia_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb (-1),240
BUF_SIZE 1 skb (-1),240
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r skb_clone
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/cdc_mbim.c cdc_mbim_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r cdc_mbim_process_dgram
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/lg-vl600.c vl600_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 0 dev->driver_priv 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb (-1),240
BUF_SIZE 1 skb (-1),240
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r skb_clone
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/lg-vl600.c vl600_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 0 dev->driver_priv 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data->magic 1146375496,1398031432
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/cdc_ncm.c cdc_ncm_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->data 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r netdev_alloc_skb_ip_align
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/smsc95xx.c smsc95xx_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 0 dev->net->hard_header_len 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r netdev_alloc_skb_ip_align
CONSTRAINT 0 dev->net->hard_header_len <=49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/sr9800.c sr_rx_fixup() -> usbnet_skb_return()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->done.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags s32min-(-1),32,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,8192-s32max
PARAM_VALUE 0 dev->driver_info->rx_fixup 4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 0 dev->net->hard_header_len 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb r netdev_alloc_skb_ip_align
CONSTRAINT 0 dev->net->hard_header_len <=49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL