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 |