Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ath/ath10k/wmi.c ath10k_dfs_radar_report() -> ath10k_radar_detected()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->data_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->dfs_detector | 1-u64max |
| PARAM_VALUE | 0 | ar->htc.endpoint | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->hw_ce_regs->upd | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->wmi.ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->wmi.ops->rx | 4073878560839929856,5088008840467881984,5777678649700466688,5828339511193001984,7780195407933624320 |
| PARAM_VALUE | 0 | ar->wmi.svc_map | 4096-ptr_max |
| DATA_SOURCE | 0 | ar | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/ath/ath10k/wmi.c ath10k_radar_confirmation_work() -> ath10k_radar_detected()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->data_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->htc.ar->ce_priv->ce_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->htc.ar->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->htc.ar->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->htc.ar->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->htc.ar->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | ar->htc.ar->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | ar->htc.ar->drv_priv->wr_async_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->htc.ar->state | 0-3,5-u32max |
| PARAM_VALUE | 0 | ar->hw_ce_regs->upd | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->state | 0-3,5-u32max |
| PARAM_VALUE | 0 | ar->wmi.cmd->peer_flush_tids_cmdid | 24579,36894,36900 |
| PARAM_VALUE | 0 | ar->wmi.cmd->radar_found_cmdid | 1-u32max |
| PARAM_VALUE | 0 | ar->wmi.cmd->start_scan_cmdid | 12289,36864 |
| PARAM_VALUE | 0 | ar->wmi.cmd->vdev_down_cmdid | 20487,36886-36887,36889 |
| PARAM_VALUE | 0 | ar->wmi.cmd->vdev_set_param_cmdid | 20488,36889-36890,36892 |
| PARAM_VALUE | 0 | ar->wmi.cmd->vdev_start_request_cmdid | 20483,36882-36883,36885 |
| PARAM_VALUE | 0 | ar->wmi.cmd->vdev_stop_cmdid | 20486,36885-36886,36888 |
| PARAM_VALUE | 0 | ar->wmi.eid | s32min-8 |
| PARAM_VALUE | 0 | ar->wmi.ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->wmi.ops->gen_radar_found | 0,7054354958021894144 |
| PARAM_VALUE | 0 | ar->wmi.radar_confirm.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | ar->wmi.radar_confirm.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->wmi.radar_confirm.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | ar->wmi.radar_confirm.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ar->wmi.radar_confirm.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->wmi.radar_confirm.wait.task_list.prev->next->next | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/ath/ath10k/wmi.c ath10k_wmi_event_dfs_status_check() -> ath10k_radar_detected()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->data_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->htc.endpoint | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->hw_ce_regs->upd | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->napi.thread->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | ar->napi.thread->kcov->mode | 0-4294967295 |
| PARAM_VALUE | 0 | ar->napi.thread->kcov->remote | 0-1 |
| PARAM_VALUE | 0 | ar->napi.thread->kcov->remote_size | 0-4294967295 |
| PARAM_VALUE | 0 | ar->napi.thread->kcov_remote->mode | 0-4294967295 |
| PARAM_VALUE | 0 | ar->napi.thread->kcov_remote->remote | 0-1 |
| PARAM_VALUE | 0 | ar->napi.thread->kcov_remote->remote_size | 0-4294967295 |
| PARAM_VALUE | 0 | ar->napi.thread->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | ar->napi.thread->thread_pid->attr->exit_code | s32min-s32max |
| PARAM_VALUE | 0 | ar->testmode.utf_monitor | 0 |
| PARAM_VALUE | 0 | ar->wmi.ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->wmi.ops->pull_dfs_status_ev | 0,7228251842193940480 |
| PARAM_VALUE | 0 | ar->wmi.ops->rx | 4073878560839929856,5088008840467881984,5777678649700466688,5828339511193001984,7780195407933624320 |
| DATA_SOURCE | 0 | ar | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ar->htt.target_version_major | 0-255[u] |
| USER_DATA | 0 | ar->htt.target_version_minor | 0-255[u] |
| HALF_LOCKED2 | &pool->lock |