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_fw_evt()

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_os.c leapraid_remove() -> leapraid_clean_active_fw_evt()

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

drivers/scsi/leapraid/leapraid_os.c leapraid_shutdown() -> leapraid_clean_active_fw_evt()

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->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
DATA_SOURCE 0 adapter r pdev_to_adapter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
HALF_LOCKED2 &parent->mutex
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct device)->mutex