Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath6kl/htc_pipe.c htc_send_packets_multiple() -> do_send_completion()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 1 queue_to_indicate 775206435822465024
PARAM_VALUE 1 queue_to_indicate->next 775206435822465024
PARAM_VALUE 1 queue_to_indicate->prev 4096-ptr_max
DATA_SOURCE 1 queue_to_indicate $1
PARAM_COMPARE 1 queue_to_indicate == $1->next
PARAM_COMPARE 1 queue_to_indicate == $1->next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/ath/ath6kl/htc_pipe.c send_packet_completion() -> do_send_completion()

Type Parameter Key Value
PARAM_VALUE 1 queue_to_indicate 7705790871672066048
PARAM_VALUE 1 queue_to_indicate->next 7705790871672066048
PARAM_VALUE 1 queue_to_indicate->prev 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &target->tx_lock
HALF_LOCKED2 bh