Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath12k/mac.c ath12k_mac_op_flush() -> ath12k_mac_flush()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/ath/ath12k/mac.c ath12k_mac_op_flush() -> ath12k_mac_flush()

Type Parameter Key Value
PARAM_VALUE 0 ar 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ar unit_array_size

drivers/net/wireless/ath/ath12k/mac.c ath12k_mac_wait_tx_complete() -> ath12k_mac_flush()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->ah 4096-ptr_max
PARAM_VALUE 0 ar->num_pending_mgmt_tx.counter 0-s32max
PARAM_VALUE 0 ar->wmi_mgmt_tx_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 ar->wmi_mgmt_tx_work.entry.prev->next 4096-ptr_max
DATA_SOURCE 0 ar $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex