Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/wil6210/txrx.c wil_netif_rx_any() -> (struct wil_txrx_ops)->rx_error_check()

Type Parameter Key Value
PARAM_VALUE 0 wil 4096-ptr_max
PARAM_VALUE 0 wil->sta 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->destructor 0
PARAM_VALUE 1 skb->sk 0
PARAM_VALUE 2 stats 4096-ptr_max
BUF_SIZE 2 stats 272
DATA_SOURCE 0 wil r wdev_priv
DATA_SOURCE 1 skb $0
CONTAINER 0 -136-28120+0 $(-1)
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 skb->prev->data_len
HALF_LOCKED2 &sta->tid_rx_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read