Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/nxp/nxpwifi/txrx.c nxpwifi_process_tx_queue() -> nxpwifi_dequeue_tx_queue()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_resp_received 0
PARAM_VALUE 0 adapter->data_received 0
PARAM_VALUE 0 adapter->data_sent 0
PARAM_VALUE 0 adapter->event_received 0
PARAM_VALUE 0 adapter->hs_activated_manually 0
PARAM_VALUE 0 adapter->hw_status 0-2,4-u32max
PARAM_VALUE 0 adapter->int_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->int_status 0
PARAM_VALUE 0 adapter->ps_state 0
PARAM_VALUE 0 adapter->tx_lock_flag 0
DATA_SOURCE 0 adapter $0
PARAM_COMPARE 0 &adapter->tx_data_q != $0->tx_data_q.next