Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/usb/gs_usb.c gs_usb_receive_bulk_callback() -> gs_usb_rx_offload()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->can.ctrlmode 256-u32max
PARAM_VALUE 0 dev->netdev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->extensions 4096-ptr_max
PARAM_VALUE 1 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 1 skb->ip_summed 1
PARAM_VALUE 1 skb->pkt_type 1
PARAM_VALUE 1 skb->protocol 12-13
PARAM_VALUE 1 skb->slow_gro 1
PARAM_VALUE 2 hf 4096-ptr_max
PARAM_VALUE 2 hf->channel 0-254
PARAM_VALUE 2 hf->classic_can 4096-ptr_max
PARAM_VALUE 2 hf->echo_id u32max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 2 hf s32min-(-2),1-s32max
BUF_SIZE 2 hf s32min-(-2),1-s32max
CAPPED_DATA 2 hf->channel 1
BIT_INFO 2 hf->flags 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 hf unit_byte
HALF_LOCKED2 &pool->lock

drivers/net/can/usb/gs_usb.c gs_usb_receive_bulk_callback() -> gs_usb_rx_offload()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->can.echo_skb 4096-ptr_max
PARAM_VALUE 0 dev->netdev 4096-ptr_max
PARAM_VALUE 0 dev->offload.skb_irq_queue.next 4096-ptr_max
PARAM_VALUE 0 dev->offload.skb_irq_queue.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->offload.skb_irq_queue.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->offload.skb_irq_queue.prev 4096-ptr_max
PARAM_VALUE 0 dev->offload.skb_irq_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->parent->tc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->tx_ctx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->extensions 4096-ptr_max
PARAM_VALUE 1 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 1 skb->ip_summed 1
PARAM_VALUE 1 skb->pkt_type 1
PARAM_VALUE 1 skb->protocol 12
PARAM_VALUE 1 skb->slow_gro 1
PARAM_VALUE 2 hf 4096-ptr_max
PARAM_VALUE 2 hf->channel 0-254
PARAM_VALUE 2 hf->echo_id 0-9,u32max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 2 hf s32min-(-2),1-s32max
BUF_SIZE 2 hf s32min-(-2),1-s32max
CAPPED_DATA 2 hf->channel 1
CAPPED_DATA 2 hf->echo_id 1
DATA_SOURCE 1 skb r alloc_can_err_skb
BIT_INFO 2 hf->flags 0x1,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 hf unit_byte
HALF_LOCKED2 &pool->lock