Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/leapraid/leapraid_func.c leapraid_raid_volume_remove() -> leapraid_clear_cached_boot_dev()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->dev_topo.raid_volume_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->shost->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 chnl 1
BUF_SIZE 1 dev (-1),72
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 dev $1
NOCHECK_CALL

drivers/scsi/leapraid/leapraid_func.c leapraid_remove_device() -> leapraid_clear_cached_boot_dev()

Type Parameter Key Value
PARAM_VALUE 0 adapter->dev_topo.sas_dev_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 chnl 0
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 dev $1
NOCHECK_CALL

drivers/scsi/leapraid/leapraid_func.c leapraid_remove_unresp_sas_end_dev() -> leapraid_clear_cached_boot_dev()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 chnl 0
CAPPED_DATA 0 &adapter->dev_topo.sas_dev_init_list 1
DATA_SOURCE 0 adapter $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &adapter->dev_topo.sas_dev_lock
TYPE_LOCK (struct leapraid_dev_topo)->sas_dev_lock

drivers/scsi/leapraid/leapraid_func.c leapraid_sas_dev_remove() -> leapraid_clear_cached_boot_dev()

Type Parameter Key Value
PARAM_VALUE 0 adapter->dev_topo.sas_dev_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->shost->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 chnl 0
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 dev $1
NOCHECK_CALL