Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/hpsa.c adjust_hpsa_scsi_table() -> fixup_botched_add()

Type Parameter Key Value
PARAM_VALUE 0 h 4096-ptr_max
PARAM_VALUE 0 h->devlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 h->reset_in_progress 0
PARAM_VALUE 0 h->reset_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 h->scsi_host->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 added 4096-ptr_max
PARAM_VALUE 1 added->expose_device 1-255
DATA_SOURCE 0 h $0
NOCHECK_CALL