Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/wil6210/txrx.c wil_netif_rx() -> wil_rx_handle_eapol()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data->h_dest 0-4294967295
PARAM_VALUE 1 skb->destructor 0
PARAM_VALUE 1 skb->dev 4096-ptr_max
PARAM_VALUE 1 skb->dev->dev_addr 4096-ptr_max
PARAM_VALUE 1 skb->dev->dsa_ptr 0,4096-ptr_max
PARAM_VALUE 1 skb->dev->ieee80211_ptr 4096-ptr_max
PARAM_VALUE 1 skb->len 0-4294967281
PARAM_VALUE 1 skb->pkt_type 1-3
PARAM_VALUE 1 skb->protocol 34958
PARAM_VALUE 1 skb->sk 0
DATA_SOURCE 0 vif r netdev_priv
DATA_SOURCE 1 skb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 skb->prev->data_len
HALF_LOCKED2 &sta->tid_rx_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read