Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/ath/ath6kl/htc_pipe.c ath6kl_htc_pipe_add_rxbuf_multiple() -> do_recv_completion()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->rx_bufq.prev 4096-ptr_max
PARAM_VALUE 0 ep->rx_bufq.prev->next 6103399053538607104
PARAM_VALUE 1 queue_to_indicate 6103399053538607104
DATA_SOURCE 1 queue_to_indicate $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/ath/ath6kl/htc_pipe.c htc_flush_rx_queue() -> do_recv_completion()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 1 queue_to_indicate 732405366736683008
PARAM_VALUE 1 queue_to_indicate->next 732405366736683008
PARAM_VALUE 1 queue_to_indicate->prev 4096-ptr_max
CAPPED_DATA 0 &ep->rx_bufq 1
DATA_SOURCE 0 ep $1
PARAM_COMPARE 0 &ep->rx_bufq != $0->rx_bufq.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ar->sem

drivers/net/wireless/ath/ath6kl/htc_pipe.c recv_packet_completion() -> do_recv_completion()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 1 queue_to_indicate 32891164924002304
PARAM_VALUE 1 queue_to_indicate->next 32891164924002304
PARAM_VALUE 1 queue_to_indicate->prev 4096-ptr_max
DATA_SOURCE 0 ep $1
RX_PATH
NOCHECK_CALL
LOCK2 &pool->lock