Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->data_sent 0
PARAM_VALUE 0 adapter->hs_activated_manually 0
PARAM_VALUE 0 adapter->tx_data_q.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->tx_lock_flag 0
CAPPED_DATA 0 &adapter->tx_data_q 1
DATA_SOURCE 0 adapter $0
PARAM_COMPARE 0 &adapter->tx_data_q != $0->tx_data_q.next

drivers/net/wireless/nxp/nxpwifi/sta_tx.c nxpwifi_check_last_packet_indication() -> nxpwifi_wmm_lists_empty()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->pps_uapsd_mode 1-u16max
PARAM_VALUE 0 adapter->sleep_period.period 1-u16max

drivers/net/wireless/nxp/nxpwifi/main.c nxpwifi_drain_tx() -> nxpwifi_wmm_lists_empty()

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->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->pm_wakeup_fw_try 0
PARAM_VALUE 0 adapter->ps_state 0
PARAM_VALUE 0 adapter->tx_lock_flag 0
PARAM_VALUE 0 *adapter->dbg.last_cmd_resp_id 0-u16max
PARAM_VALUE 0 *adapter->dbg.last_event 0-u16max
CAPPED_DATA 0 adapter->priv_num 1
CAPPED_DATA 0 &adapter->tx_data_q 1
DATA_SOURCE 0 adapter $0

drivers/net/wireless/nxp/nxpwifi/main.c nxpwifi_tx_has_pending() -> nxpwifi_wmm_lists_empty()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
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,3
PARAM_VALUE 0 adapter->tx_data_q.next 4096-ptr_max
CAPPED_DATA 0 adapter->priv_num 1
CAPPED_DATA 0 adapter->tx_data_q.next 1
CAPPED_DATA 0 &adapter->tx_data_q 1
DATA_SOURCE 0 adapter $0
PARAM_COMPARE 0 &adapter->tx_data_q == $0->tx_data_q.next
HARD_MAX 0 adapter->ps_state 3

drivers/net/wireless/nxp/nxpwifi/wmm.c nxpwifi_wmm_process_tx() -> nxpwifi_wmm_lists_empty()

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->priv_num 1-255
PARAM_VALUE 0 adapter->ps_state 0
PARAM_VALUE 0 adapter->tx_data_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->tx_lock_flag 0
CAPPED_DATA 0 adapter->tx_data_q.next 1
DATA_SOURCE 0 adapter $0

drivers/net/wireless/nxp/nxpwifi/cfg80211.c nxpwifi_cfg80211_suspend() -> nxpwifi_wmm_lists_empty()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->cmd_pending_q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->cmd_wait_q.status (-1)
PARAM_VALUE 0 adapter->curr_cmd 0,4096-ptr_max
PARAM_VALUE 0 adapter->curr_cmd->wait_q_enabled 0
PARAM_VALUE 0 adapter->nxpwifi_cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->scan_processing 0
PARAM_VALUE 0 adapter->wowlan_enabled 0
PARAM_VALUE 0 *adapter->curr_cmd->condition 1
CAPPED_DATA 0 adapter->priv_num 1
DATA_SOURCE 0 adapter r nxpwifi_cfg80211_get_adapter
RX_PATH
TASK_NOT_RUNNING
LOCK2 &rdev->wiphy.mtx
LOCK2 global &rtnl_mutex
TYPE_LOCK (struct wiphy)->mtx