Open Menu /

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_hardreset_async_logic() -> leapraid_scan_dev_done()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->access_ctrl.host_removing 0
PARAM_VALUE 0 adapter->access_ctrl.pcie_recovering 0
PARAM_VALUE 0 adapter->access_ctrl.shost_recovering 0
PARAM_VALUE 0 adapter->dev_topo.card.card_phy 0,16,4096-ptr_max
PARAM_VALUE 0 adapter->dev_topo.card.parent_dev 4096-ptr_max
PARAM_VALUE 0 adapter->dev_topo.raid_volume_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->dev_topo.sas_dev_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->dev_topo.topo_node_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->fw_evt_s.cur_evt 4096-ptr_max
PARAM_VALUE 0 adapter->fw_evt_s.fw_evt_lock.rlock.dep_map->name 0-255
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->scan_dev_desc.driver_loading 1-255
PARAM_VALUE 0 adapter->shost 4096-ptr_max
PARAM_VALUE 0 adapter->shost->host_lock->rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->shost->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 adapter->shost->shost_state 0-4,8-u32max
PARAM_VALUE 0 adapter->shost->tmf_in_progress 0
DATA_SOURCE 0 adapter $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 adapter->dev_topo.card.phys_num

drivers/scsi/leapraid/leapraid_os.c leapraid_scan_check_status() -> leapraid_scan_dev_done()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->driver_cmds.scan_dev_cmd.status 32768
PARAM_VALUE 0 adapter->scan_dev_desc.scan_start 0
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL