leapraid_free_enc_list identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/scsi/leapraid/leapraid_func.c, line 6306 (as a function)

Referenced in 1 files:

drivers/scsi/leapraid/leapraid_func.c
- line 6332
- line 8624

Smatch caller information:

drivers/scsi/leapraid/leapraid_func.c leapraid_rebuild_enc_list_after_reset() -> leapraid_free_enc_list()

Type	Parameter	Key	Value
PARAM_VALUE	0	adapter	4096-ptr_max
PARAM_VALUE	0	adapter->access_ctrl.shost_recover_async	1
PARAM_VALUE	0	adapter->access_ctrl.shost_recovering	1
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->iomem_base	4096-ptr_max
PARAM_VALUE	0	adapter->mask_int	0
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.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
PARAM_VALUE	0	adapter->reset_desc.pending_io_cnt	0-s32max
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->shost	4096-ptr_max
PARAM_VALUE	0	adapter->shost->can_queue	s32min-65534
PARAM_VALUE	0	adapter->shost->host_lock->rlock.dep_map->name	0-255
CAPPED_DATA	0	adapter->adapter_attr.rep_msg_qd	1
CAPPED_DATA	0	adapter->notification_desc.iopoll_qcnt	1
CAPPED_DATA	0	adapter->notification_desc.iopoll_qdex	1
CAPPED_DATA	0	adapter->shost->can_queue	1
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
NO_OVERFLOW_SIMPLE	0	adapter->dev_topo.card.phys_num
LOCK2	0	&adapter->reset_desc.adapter_reset_mutex
HALF_LOCKED2	0	&adapter->driver_cmds.enc_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_remove_ctrl() -> leapraid_free_enc_list()

Type	Parameter	Key	Value
PARAM_VALUE	0	adapter	4096-ptr_max
PARAM_VALUE	0	adapter->fw_evt_s.fw_evt_thread	0,4096-ptr_max
PARAM_VALUE	0	adapter->iomem_base	0
PARAM_VALUE	0	adapter->mem_desc.rep_desc_q_arr	0
PARAM_VALUE	0	adapter->mem_desc.rep_desc_seg_maint	0
PARAM_VALUE	0	adapter->mem_desc.rep_msg	0
PARAM_VALUE	0	adapter->mem_desc.rep_msg_addr	0
PARAM_VALUE	0	adapter->mem_desc.sense_data	0
PARAM_VALUE	0	adapter->mem_desc.sg_chain_pool	0
PARAM_VALUE	0	adapter->mem_desc.task_desc	0
PARAM_VALUE	0	adapter->mem_desc.taskid_to_uniq_tag	0
PARAM_VALUE	0	adapter->pdev	4096-ptr_max
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->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-1
PARAM_VALUE	0	*adapter->fw_evt_s.fw_evt_name	0-255
PARAM_VALUE	0	*adapter->fw_evt_s.leapraid_evt_masks	0-4294967295
PARAM_VALUE	0	*adapter->overheat_desc.fault_overheat_wq_name	0-255
BUF_SIZE	0	adapter->fw_evt_s.fw_evt_thread	(-1),512,528-8720
BUF_SIZE	0	adapter->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	adapter->shost	(-1),4600-s32max
CAPPED_DATA	0	adapter->dev_topo.blocking_hdls	1
CAPPED_DATA	0	adapter->dev_topo.pd_hdls	1
DATA_SOURCE	0	adapter	$0
STR_LEN	0	adapter->adapter_attr.name	(-1),47
STR_LEN	0	adapter->fw_evt_s.fw_evt_name	(-1),47
HARD_MAX	0	adapter->scan_dev_desc.driver_loading	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	adapter->pdev->current_state	0-3[c]