Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mac80211/rx.c ieee80211_prepare_and_rx_handle() -> ieee80211_invoke_fast_rx()

Type Parameter Key Value
PARAM_VALUE 0 rx 5359102960475058176
PARAM_VALUE 0 rx->link 0
PARAM_VALUE 0 rx->link_id s32min-255
PARAM_VALUE 0 rx->link_sta 0
PARAM_VALUE 0 rx->list 260363014860038144,1769838300748828672,3523476479722237952
PARAM_VALUE 0 rx->local 0
PARAM_VALUE 0 rx->sdata 1-u64max
PARAM_VALUE 0 rx->security_idx 0-16
PARAM_VALUE 0 rx->seqno_idx 0-16
PARAM_VALUE 0 rx->skb 4096-ptr_max
PARAM_VALUE 0 rx->skb->data 4096-ptr_max
PARAM_VALUE 0 rx->sta 4096-ptr_max
PARAM_VALUE 0 rx->sta->fast_rx 1-u64max
PARAM_VALUE 1 fast_rx 1-u64max
BUF_SIZE 0 rx->skb (-1)-s32max
DATA_SOURCE 0 rx $0
PARAM_COMPARE 1 fast_rx == $0->sta->fast_rx
PARAM_COMPARE 1 fast_rx == $0->sta->fast_rx
MEM_ZERO 0 rx
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 rx->skb->end
NO_OVERFLOW_SIMPLE 0 rx->skb->len
NO_OVERFLOW_SIMPLE 0 rx->skb->tail
USER_PTR 0 rx->skb->data
LOCK2 rcu_read
HALF_LOCKED2 &dev->rx_lock
HALF_LOCKED2 bh