Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/hpsa.c hpsa_get_ioaccel_status() -> hpsa_get_raid_map()

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->fw_support 32-u32max
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->pdev->dev.iommu->pci_32bit_workaround 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 2 this_device 4096-ptr_max
PARAM_VALUE 2 this_device->bus 0
PARAM_VALUE 2 this_device->device_id 0
PARAM_VALUE 2 this_device->devtype 0,20
PARAM_VALUE 2 this_device->external 0-1
PARAM_VALUE 2 this_device->hba_ioaccel_enabled 0
PARAM_VALUE 2 this_device->lun 0
PARAM_VALUE 2 this_device->model 0
PARAM_VALUE 2 this_device->offload_config 1
PARAM_VALUE 2 this_device->offload_enabled 0
PARAM_VALUE 2 this_device->offload_to_be_enabled 0
PARAM_VALUE 2 this_device->raid_level 0-7
PARAM_VALUE 2 this_device->scsi3addr 0
PARAM_VALUE 2 this_device->target 0
PARAM_VALUE 2 this_device->vendor 0
PARAM_VALUE 2 this_device->volume_offline 0
BUF_SIZE 1 scsi3addr 8-9
BUF_SIZE 1 scsi3addr 8-9
BUF_SIZE 2 this_device 4344
DATA_SOURCE 0 h $0
DATA_SOURCE 1 scsi3addr $1
DATA_SOURCE 2 this_device $2
FUZZY_MAX 0 h->drv_req_rescan 1
FUZZY_MAX 2 this_device->devtype 20
BIT_INFO 0 h->fw_support 0x20,0xffffffff
HARD_MAX 0 h->drv_req_rescan 1
MEM_ZERO 2 this_device
MEM_ZERO 2 this_device->device_id
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock