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_crypto_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 |
| DATA_SOURCE | 0 | wil | r wdev_priv |
| DATA_SOURCE | 1 | skb | $0 |
| CONTAINER | 0 | -128-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 |