Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath6kl/htc_pipe.c htc_try_send() -> (struct htc_ep_callbacks)->tx_full()

Type Parameter Key Value
PARAM_VALUE 1 packet 775206435822465024
CONTAINER 0 *(-24-120+192) $(-1)
TASK_NOT_RUNNING

drivers/net/wireless/ath/ath6kl/htc_mbox.c ath6kl_htc_tx_try() -> (struct htc_ep_callbacks)->tx_full()

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-11
PARAM_VALUE 1 packet->pkt_cntxt 4096-ptr_max
PARAM_VALUE 1 packet->skb 4096-ptr_max
BUF_SIZE 1 packet->skb (-1)-s32max
DATA_SOURCE 1 packet $2
HARD_MAX 1 packet->endpoint 8
HARD_MAX 1 packet->info.tx.tag 11
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 packet->act_len
USER_PTR 1 packet->buf