Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/ath/wil6210/txrx.c wil_tx_complete() -> wil_tx_complete_handle_eapol()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->wil 4096-ptr_max
PARAM_VALUE 0 vif->wil->ring2cid_tid 4096-ptr_max
PARAM_VALUE 0 vif->wil->ring_tx 4096-ptr_max
PARAM_VALUE 0 vif->wil->ring_tx_data 4096-ptr_max
PARAM_VALUE 0 vif->wil->wiphy 4096-ptr_max
PARAM_VALUE 0 *vif->wil->main_ndev->name 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->protocol 34958
DATA_SOURCE 0 vif $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/wireless/ath/wil6210/txrx_edma.c wil_tx_sring_handler() -> wil_tx_complete_handle_eapol()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->protocol 34958
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read