leapraid_cleanup_lists identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/scsi/leapraid/leapraid_func.h, line 1347 (as a prototype)

Defined in 1 files as a function:

drivers/scsi/leapraid/leapraid_os.c, line 2090 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/scsi/leapraid/leapraid_func.c leapraid_overheat_work() -> leapraid_cleanup_lists()

Type	Parameter	Key	Value
PARAM_VALUE	0	adapter	4096-ptr_max
PARAM_VALUE	0	adapter->access_ctrl.host_removing	1
PARAM_VALUE	0	adapter->access_ctrl.shost_recover_wq.lock.rlock.dep_map->name	0-255
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->fw_evt_s.cur_evt->ignore	1
PARAM_VALUE	0	adapter->fw_evt_s.cur_evt->work.lockdep_map->name	0-255
PARAM_VALUE	0	adapter->fw_evt_s.fw_evt_cleanup	0
PARAM_VALUE	0	adapter->fw_evt_s.fw_evt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	adapter->fw_evt_s.fw_evt_thread	0
PARAM_VALUE	0	adapter->iomem_base	4096-ptr_max
PARAM_VALUE	0	adapter->pdev	4096-ptr_max
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_overflow.prev->next	2906673126597898240
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.driver_data->skt_mutex.dep_map->name	0-255
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.p->dead	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
PARAM_VALUE	0	adapter->scan_dev_desc.driver_loading	0
PARAM_VALUE	0	adapter->scan_dev_desc.scan_dev_failed	1
PARAM_VALUE	0	adapter->scan_dev_desc.scan_start	0
PARAM_VALUE	0	adapter->scan_dev_desc.scan_start_failed	4
PARAM_VALUE	0	adapter->scan_dev_desc.wait_driver_loading.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	adapter->shost	4096-ptr_max
PARAM_VALUE	0	adapter->shost->can_queue	s32min-65534
CAPPED_DATA	0	adapter->notification_desc.int_rqs_allocated	1
CAPPED_DATA	0	adapter->shost->can_queue	1
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

drivers/scsi/leapraid/leapraid_os.c leapraid_remove() -> leapraid_cleanup_lists()

Type	Parameter	Key	Value
PARAM_VALUE	0	adapter	4096-ptr_max
PARAM_VALUE	0	adapter->access_ctrl.host_removing	1
PARAM_VALUE	0	adapter->fw_evt_s.fw_evt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	adapter->fw_evt_s.fw_evt_thread	0
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