Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 h 4096-ptr_max
PARAM_VALUE 0 h->cmd_pool_bits 4096-ptr_max
PARAM_VALUE 0 h->drv_req_rescan 0-1
PARAM_VALUE 0 h->hba_inquiry_data 0,4096-ptr_max
PARAM_VALUE 0 h->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 h->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 h->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 h->reset_in_progress 0
PARAM_VALUE 0 h->reset_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 h->scan_finished 0
PARAM_VALUE 0 h->scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 h->scan_waiting 0
PARAM_VALUE 1 scsi3addr 4096-ptr_max
PARAM_VALUE 2 rlep 4096-ptr_max
PARAM_VALUE 3 rle_index (-1)-2048
PARAM_VALUE 4 encl_dev 4096-ptr_max
PARAM_VALUE 4 encl_dev->bus 0-1,3
PARAM_VALUE 4 encl_dev->devtype 13
PARAM_VALUE 4 encl_dev->eli 0
PARAM_VALUE 4 encl_dev->expose_device 0-1
PARAM_VALUE 4 encl_dev->external 0
PARAM_VALUE 4 encl_dev->hba_ioaccel_enabled 0
PARAM_VALUE 4 encl_dev->lun (-1)-16383
PARAM_VALUE 4 encl_dev->offload_config 0-1
PARAM_VALUE 4 encl_dev->offload_enabled 0
PARAM_VALUE 4 encl_dev->offload_to_be_enabled 0-1
PARAM_VALUE 4 encl_dev->queue_depth 0
PARAM_VALUE 4 encl_dev->raid_level 0-7
PARAM_VALUE 4 encl_dev->target (-1)-0
PARAM_VALUE 4 encl_dev->volume_offline 0,11,15,18-24
BUF_SIZE 1 scsi3addr 8-9
BUF_SIZE 1 scsi3addr 8-9
BUF_SIZE 2 rlep 24584
CAPPED_DATA 2 rlep 1
CAPPED_DATA 3 rle_index 1
DATA_SOURCE 0 h $0
DATA_SOURCE 1 scsi3addr r figure_lunaddrbytes
DATA_SOURCE 2 rlep r _kzalloc_noprof
FUZZY_MAX 0 h->drv_req_rescan 1
FUZZY_MAX 4 encl_dev->expose_device 1
HARD_MAX 0 h->drv_req_rescan 1
HARD_MAX 4 encl_dev->expose_device 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex