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_hard_reset_handler() -> leapraid_wait_cmds_done()

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

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->access_ctrl.host_removing 1
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_wait_cmds_done()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->access_ctrl.host_removing 1
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