Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mac80211/rx.c __ieee80211_rx_handle_packet() -> ieee80211_scan_rx()

Type Parameter Key Value
PARAM_VALUE 0 local 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->cb->band 0-5
PARAM_VALUE 1 skb->cb->flag 0-1676673023
PARAM_VALUE 1 skb->cb->link_id 0-15
PARAM_VALUE 1 skb->cb->rx_flags 0
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data->frame_control 4-u16max
PARAM_VALUE 1 skb->dev->hwprov->source 0-4294967295
PARAM_VALUE 1 skb->dev->ip6_ptr->dead s32min-s32max
PARAM_VALUE 1 skb->dev->ip6_ptr->mc_gq_running 0-255
PARAM_VALUE 1 skb->dev->ip6_ptr->mc_maxdelay 0-s64max
PARAM_VALUE 1 skb->dev->ip6_ptr->mc_qri 0-s64max
PARAM_VALUE 1 skb->dev->ip6_ptr->mc_qrv 0-255
PARAM_VALUE 1 skb->dev->ip6_ptr->ra_mtu 0-4294967295
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 1 skb 1
DATA_SOURCE 0 local r hw_to_local
DATA_SOURCE 1 skb $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 skb->dev->group
NO_OVERFLOW_SIMPLE 1 skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 1 skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE 1 skb->end
NO_OVERFLOW_SIMPLE 1 skb->len
NO_OVERFLOW_SIMPLE 1 skb->tail
UNITS 1 skb unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &dev->rx_lock
HALF_LOCKED2 bh