Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/ath/ath6kl/txrx.c ath6kl_control_tx() -> ath6kl_htc_tx()

Type Parameter Key Value
PARAM_VALUE 1 packet 4096-ptr_max
PARAM_VALUE 1 packet->buf 4096-ptr_max
PARAM_VALUE 1 packet->endpoint s32min-(-2),0-8
PARAM_VALUE 1 packet->info.tx.tag 10
PARAM_VALUE 1 packet->pkt_cntxt 4096-ptr_max
PARAM_VALUE 1 packet->skb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 1 packet->buf

drivers/net/wireless/ath/ath6kl/txrx.c ath6kl_data_tx() -> ath6kl_htc_tx()

Type Parameter Key Value
PARAM_VALUE 1 packet 4096-ptr_max
PARAM_VALUE 1 packet->buf 4096-ptr_max
PARAM_VALUE 1 packet->endpoint s32min-(-2),1-s32max
PARAM_VALUE 1 packet->info.tx.tag 11
PARAM_VALUE 1 packet->pkt_cntxt 4096-ptr_max
PARAM_VALUE 1 packet->skb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 packet->act_len
USER_PTR 1 packet->buf
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read