Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath10k/pci.c ath10k_pci_bmi_wait() -> ath10k_pci_bmi_recv_data()

Type Parameter Key Value
PARAM_VALUE 0 ce_state->ops 4096-ptr_max
PARAM_VALUE 0 ce_state->ops->ce_completed_recv_next_nolock 4096-ptr_max
PARAM_VALUE 0 ce_state->ops->ce_rx_post_buf 4096-ptr_max
DATA_SOURCE 0 ce_state $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ar->conf_mutex
HALF_LOCKED2 &ar->dump_mutex
HALF_LOCKED2 &pool->lock