Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/leapraid/leapraid_func.c leapraid_internal_sas_topo_chg_evt() -> leapraid_sas_dev_remove_by_hdl()

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->adapter_attr.features.max_dev_handle 1-u16max
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.cma_area->nranges s32min-s32max
PARAM_VALUE 1 hdl 1-u16max
CAPPED_DATA 1 hdl 1
DATA_SOURCE 0 adapter $0
PARAM_COMPARE 0 adapter->adapter_attr.features.max_dev_handle >= $1
PARAM_COMPARE 1 hdl <= $0->adapter_attr.features.max_dev_handle
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 adapter->dev_topo.card.phys_num

drivers/scsi/leapraid/leapraid_func.c leapraid_sas_pd_delete() -> leapraid_sas_dev_remove_by_hdl()

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->fw_evt_s.cur_evt 4096-ptr_max
PARAM_VALUE 0 adapter->fw_evt_s.fw_evt_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 adapter $0
NOCHECK_CALL