Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/nxp/nxpwifi/main.c _nxpwifi_fw_dpc() -> nxpwifi_free_cmd_buffers()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->cmd_timer.entry.pprev 0
PARAM_VALUE 0 adapter->cmd_timer.flags 0-4194302
PARAM_VALUE 0 adapter->cmd_timer.function 0
PARAM_VALUE 0 adapter->cmd_wait_q.status (-1)
PARAM_VALUE 0 adapter->curr_cmd 0
PARAM_VALUE 0 adapter->hw_status 3
PARAM_VALUE 0 adapter->num_in_chan_stats 28,90
PARAM_VALUE 0 adapter->nxpwifi_cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->rx_workqueue 0
PARAM_VALUE 0 adapter->sleep_cfm 0,4096-ptr_max
PARAM_VALUE 0 adapter->sleep_cfm->data 4096-ptr_max
PARAM_VALUE 0 adapter->sleep_cfm->data->action 5
PARAM_VALUE 0 adapter->sleep_cfm->data->command 228
PARAM_VALUE 0 adapter->sleep_cfm->data->resp_ctrl 1
PARAM_VALUE 0 adapter->sleep_cfm->data->size 0-u16max
PARAM_VALUE 0 adapter->vdll_ctrl.skb 0
PARAM_VALUE 0 adapter->vdll_ctrl.vdll_len 0
PARAM_VALUE 0 adapter->vdll_ctrl.vdll_mem 0
PARAM_VALUE 0 adapter->wakeup_timer.entry.pprev 0
PARAM_VALUE 0 adapter->wakeup_timer.flags 0-4194302
PARAM_VALUE 0 adapter->wakeup_timer.function 0
PARAM_VALUE 0 adapter->wiphy->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 adapter->wiphy->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 adapter->wiphy->regd 0
PARAM_VALUE 0 adapter->workqueue 0
PARAM_VALUE 0 *adapter->event_body 0-255
PARAM_VALUE 0 *adapter->perm_addr 0-255
PARAM_VALUE 0 *adapter->rx_workqueue->lockdep_map->name 0-255
PARAM_VALUE 0 *adapter->workqueue->lockdep_map->name 0-255
BUF_SIZE 0 adapter s32min-(-1),1-s32max
BUF_SIZE 0 adapter s32min-(-1),1-s32max
CAPPED_DATA 0 adapter->priv_num 1
DATA_SOURCE 0 adapter $1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 adapter->num_in_chan_stats
NO_OVERFLOW_SIMPLE 0 adapter->wiphy->n_radio

drivers/net/wireless/nxp/nxpwifi/main.c nxpwifi_add_card() -> nxpwifi_free_cmd_buffers()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 adapter->card->adapter->host_mlme_work.func 5218787692383981568
PARAM_VALUE 0 adapter->card->adapter->hw_status 1
PARAM_VALUE 0 adapter->cmd_free_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q.prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_timer.lockdep_map->name 0-255
PARAM_VALUE 0 adapter->cmd_wait_q.status (-1)-0
PARAM_VALUE 0 adapter->cmd_wait_q.wait.head.next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_wait_q.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_wait_q.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_wait_q.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_wait_q.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->debug_mask 7
PARAM_VALUE 0 adapter->dev 4096-ptr_max
PARAM_VALUE 0 adapter->fw_done 4096-ptr_max
PARAM_VALUE 0 adapter->fw_done->done 0
PARAM_VALUE 0 adapter->fw_done->wait.lock.magic 3735899821
PARAM_VALUE 0 adapter->fw_done->wait.lock.owner (-1)
PARAM_VALUE 0 adapter->fw_done->wait.lock.owner_cpu u32max
PARAM_VALUE 0 adapter->fw_done->wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 adapter->fw_done->wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host_mlme_work.func 5218787692383981568
PARAM_VALUE 0 adapter->hs_activate_wait_q.head.next 4096-ptr_max
PARAM_VALUE 0 adapter->hs_activate_wait_q.head.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->hs_activate_wait_q.head.prev 4096-ptr_max
PARAM_VALUE 0 adapter->hs_activate_wait_q.head.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->hs_activate_wait_q.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->hs_activated 0
PARAM_VALUE 0 adapter->hw_status 3
PARAM_VALUE 0 adapter->iface_type 0
PARAM_VALUE 0 adapter->mem_type_mapping_tbl->done_flag 221,240-254
PARAM_VALUE 0 adapter->priv 4096-ptr_max
PARAM_VALUE 0 adapter->rx_workqueue 0
PARAM_VALUE 0 adapter->scan_pending_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->scan_pending_q.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->scan_pending_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->scan_pending_q.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->scan_pending_q.prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->scan_wait_q_woken 0
PARAM_VALUE 0 adapter->workqueue 0
PARAM_VALUE 0 *adapter->rx_workqueue->lockdep_map->name 0-255
PARAM_VALUE 0 *adapter->workqueue->lockdep_map->name 0-255
BUF_SIZE 0 adapter 7536
BUF_SIZE 0 adapter->card 352
CAPPED_DATA 0 adapter->priv_num 1
DATA_SOURCE 0 adapter r nxpwifi_register
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/nxp/nxpwifi/main.c nxpwifi_reinit_sw() -> nxpwifi_free_cmd_buffers()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pending_q.prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_wait_q.status (-1)-0
PARAM_VALUE 0 adapter->cmd_wait_q.wait.head.next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_wait_q.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_wait_q.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_wait_q.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_wait_q.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->firmware 0,4096-ptr_max
PARAM_VALUE 0 adapter->fw_done->done 0
PARAM_VALUE 0 adapter->fw_done->wait.lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->fw_done->wait.lock.owner (-1)
PARAM_VALUE 0 adapter->fw_done->wait.lock.owner_cpu u32max
PARAM_VALUE 0 adapter->fw_done->wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->fw_done->wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 adapter->host_mlme_work.func 5218787692383981568
PARAM_VALUE 0 adapter->hs_activate_wait_q.head.next 4096-ptr_max
PARAM_VALUE 0 adapter->hs_activate_wait_q.head.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->hs_activate_wait_q.head.prev 4096-ptr_max
PARAM_VALUE 0 adapter->hs_activate_wait_q.head.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->hs_activate_wait_q.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->hs_activated 0
PARAM_VALUE 0 adapter->hw_status 3
PARAM_VALUE 0 adapter->is_up 0
PARAM_VALUE 0 adapter->rx_data_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->rx_data_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->rx_mlme_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->rx_mlme_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->rx_workqueue 0
PARAM_VALUE 0 adapter->scan_pending_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->scan_pending_q.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->scan_pending_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->scan_pending_q.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->scan_pending_q.prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->scan_wait_q_woken 0
PARAM_VALUE 0 adapter->tx_data_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->tx_data_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->workqueue 0
PARAM_VALUE 0 *adapter->fw_name 0-255
PARAM_VALUE 0 *adapter->rx_workqueue->lockdep_map->name 0-255
PARAM_VALUE 0 *adapter->workqueue->lockdep_map->name 0-255
CAPPED_DATA 0 adapter->priv_num 1
DATA_SOURCE 0 adapter $0
NOCHECK_CALL

drivers/net/wireless/nxp/nxpwifi/main.c nxpwifi_uninit_sw() -> nxpwifi_free_cmd_buffers()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 adapter->hw_status 3
PARAM_VALUE 0 adapter->int_status 0
PARAM_VALUE 0 adapter->rx_workqueue 0
PARAM_VALUE 0 adapter->wiphy 0
PARAM_VALUE 0 adapter->workqueue 0
PARAM_VALUE 0 *adapter->rx_workqueue->lockdep_map->name 0-255
PARAM_VALUE 0 *adapter->workqueue->lockdep_map->name 0-255
CAPPED_DATA 0 adapter->chan_stats 1
CAPPED_DATA 0 adapter->priv_num 1
DATA_SOURCE 0 adapter $0
NOCHECK_CALL