Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/scsi/leapraid/leapraid_func.c leapraid_clean_active_cmds() -> leapraid_clean_active_scsi_cmds()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->driver_cmds.cfg_op_cmd.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->driver_cmds.cfg_op_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->driver_cmds.cfg_op_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | adapter->driver_cmds.ctl_cmd.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->driver_cmds.ctl_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->driver_cmds.ctl_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | adapter->driver_cmds.enc_cmd.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->driver_cmds.enc_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->driver_cmds.enc_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | adapter->driver_cmds.notify_event_cmd.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->driver_cmds.notify_event_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->driver_cmds.notify_event_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | adapter->driver_cmds.scan_dev_cmd.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->driver_cmds.scan_dev_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->driver_cmds.scan_dev_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | adapter->driver_cmds.tm_cmd.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->driver_cmds.tm_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->driver_cmds.tm_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | adapter->driver_cmds.transport_cmd.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->driver_cmds.transport_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->driver_cmds.transport_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | adapter->iomem_base | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->mask_int | 1 |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->scan_dev_desc.scan_dev_failed | 1 |
| PARAM_VALUE | 0 | adapter->scan_dev_desc.scan_start_failed | 4 |
| DATA_SOURCE | 0 | adapter | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | adapter->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | adapter->pdev->pcie_flags_reg | 0-u16max |
| HALF_LOCKED2 | 0 | &adapter->driver_cmds.enc_cmd.mutex | |
| HALF_LOCKED2 | 0 | &adapter->driver_cmds.transport_cmd.mutex | |
| HALF_LOCKED2 | 0 | &adapter->reset_desc.adapter_reset_mutex |
drivers/scsi/leapraid/leapraid_func.c leapraid_hard_reset_handler() -> leapraid_clean_active_scsi_cmds()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.wait_lock.owner_cpu | u32max |
| BUF_SIZE | 0 | adapter->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064 |
| CAPPED_DATA | 0 | &adapter->reset_desc.adapter_reset_mutex | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | adapter->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | adapter->pdev->pcie_flags_reg | 0-u16max |
| LOCK2 | 0 | &adapter->reset_desc.adapter_reset_mutex | |
| HALF_LOCKED2 | 0 | &adapter->access_ctrl.pci_access_lock | |
| HALF_LOCKED2 | 0 | &adapter->driver_cmds.ctl_cmd.mutex | |
| HALF_LOCKED2 | 0 | &adapter->driver_cmds.enc_cmd.mutex | |
| HALF_LOCKED2 | 0 | &adapter->driver_cmds.tm_cmd.mutex | |
| HALF_LOCKED2 | 0 | &adapter->driver_cmds.transport_cmd.mutex | |
| TYPE_LOCK | (struct leapraid_reset_desc)->adapter_reset_mutex |
drivers/scsi/leapraid/leapraid_func.c leapraid_hard_reset_handler() -> leapraid_clean_active_scsi_cmds()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->access_ctrl.recovery_waitq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->access_ctrl.shost_recover_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->access_ctrl.shost_recovering | 0 |
| PARAM_VALUE | 0 | adapter->dynamic_task_desc.task_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->iomem_base | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->mem_desc.rep_desc_seg_maint | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_results | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.pending_io_cnt | 0 |
| BUF_SIZE | 0 | adapter->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064 |
| CAPPED_DATA | 0 | &adapter->reset_desc.adapter_reset_mutex | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | adapter->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | adapter->pdev->pcie_flags_reg | 0-u16max |
| NO_OVERFLOW_SIMPLE | 0 | adapter->dev_topo.card.phys_num | |
| HALF_LOCKED2 | 0 | &adapter->access_ctrl.pci_access_lock | |
| HALF_LOCKED2 | 0 | &adapter->driver_cmds.ctl_cmd.mutex | |
| HALF_LOCKED2 | 0 | &adapter->driver_cmds.enc_cmd.mutex | |
| HALF_LOCKED2 | 0 | &adapter->driver_cmds.tm_cmd.mutex | |
| HALF_LOCKED2 | 0 | &adapter->driver_cmds.transport_cmd.mutex |
drivers/scsi/leapraid/leapraid_os.c leapraid_pci_error_detected() -> leapraid_clean_active_scsi_cmds()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->access_ctrl.pcie_recovering | 1 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq | 0 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev->driver_data->cis_virt | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.devres_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->callback->add | 5235430000054906880 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->callback->early_resume | 6956900869090054144 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->callback->remove | 1719268733136482304 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->callback->requery | 4713442613417914368 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->callback->resume | 5068206944467017728 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->callback->suspend | 2738892915008757760 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->callback->validate | 4934365872137547776 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->cis_mem.flags | 0,2-254 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->detaching.counter | s32min-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->dev.kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->device_count | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.driver_data->sfd_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.kobj.parent->release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.kobj.parent->release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.kobj.parent->release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.kobj.parent->release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.p->dead | 1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.parent->kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.parent->kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.parent->kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.parent->kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.power.completion.done | 4294967295 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.power.last_status | s32min-0,2,4-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.power.qos | (-19),0 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.power.usage_count.counter | 0-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.fault_reset_wq->wq_dev->dev.power.wakeirq->status | 0-4294967295 |
| DATA_SOURCE | 0 | adapter | r pdev_to_adapter |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/scsi/leapraid/leapraid_os.c leapraid_remove() -> leapraid_clean_active_scsi_cmds()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->access_ctrl.host_removing | 1 |
| PARAM_VALUE | 0 | adapter->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->reset_desc.pending_io_cnt | 0 |
| PARAM_VALUE | 0 | adapter->scan_dev_desc.driver_loading | 0 |
| PARAM_VALUE | 0 | adapter->scan_dev_desc.wait_driver_loading.lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | adapter | r pdev_to_adapter |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |