Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/hpsa.c hpsa_update_scsi_devices() -> hpsa_get_path_info()

Type Parameter Key Value
PARAM_VALUE 0 this_device 4096-ptr_max
PARAM_VALUE 0 this_device->bus 0-3
PARAM_VALUE 0 this_device->devtype 0,20
PARAM_VALUE 0 this_device->eli 0
PARAM_VALUE 0 this_device->expose_device 0-1
PARAM_VALUE 0 this_device->external 0-1
PARAM_VALUE 0 this_device->hba_ioaccel_enabled 0-1
PARAM_VALUE 0 this_device->lun (-1)-16383
PARAM_VALUE 0 this_device->offload_config 0-1
PARAM_VALUE 0 this_device->offload_enabled 0
PARAM_VALUE 0 this_device->offload_to_be_enabled 0-1
PARAM_VALUE 0 this_device->physical_device 1
PARAM_VALUE 0 this_device->queue_depth 0,7,65534
PARAM_VALUE 0 this_device->raid_level 0-7
PARAM_VALUE 0 this_device->target (-1)-16383
PARAM_VALUE 0 this_device->volume_offline 0,11,15,18-24
PARAM_VALUE 1 rlep 4096-ptr_max
PARAM_VALUE 2 rle_index (-1)-2048
PARAM_VALUE 3 id_phys 4096-ptr_max
BUF_SIZE 1 rlep 24584
BUF_SIZE 3 id_phys 2560
CAPPED_DATA 1 rlep 1
CAPPED_DATA 2 rle_index 1
CAPPED_DATA 3 id_phys 1
DATA_SOURCE 1 rlep r _kzalloc_noprof
DATA_SOURCE 3 id_phys r _kzalloc_noprof
FUZZY_MAX 0 this_device->expose_device 1
HARD_MAX 0 this_device->expose_device 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex