Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ralink/rt2x00/rt2x00dev.c rt2x00lib_rxdone() -> rt2x00queue_remove_l2pad()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 skb->len 10-u32max
PARAM_VALUE 1 hdr_len 4,10,16,24,26,28,30,32,36
CAPPED_DATA 0 skb->len 1
CAPPED_DATA 1 hdr_len 1
DATA_SOURCE 1 hdr_len r ieee80211_get_hdrlen_from_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *skb->data 0-255
UNITS 1 hdr_len unit_byte
USER_PTR 0 skb->data

drivers/net/wireless/ralink/rt2x00/rt2x00dev.c rt2x00lib_txdone() -> rt2x00queue_remove_l2pad()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 1 hdr_len 0,4,10,16,24,26,28,30,32,36
CAPPED_DATA 0 skb->len 1
CAPPED_DATA 1 hdr_len 1
DATA_SOURCE 1 hdr_len r ieee80211_get_hdrlen_from_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL