Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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->heartbeat_sample_interval 60000
PARAM_VALUE 0 h->pdev->dev.dma_io_tlb_pools.next 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.dma_uses_io_tlb 1
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 rc (-1)-0
PARAM_VALUE 2 map_buff 4096-ptr_max
PARAM_VALUE 2 map_buff->structure_size 0
DATA_SOURCE 0 h $0
FUZZY_MAX 0 h->drv_req_rescan 1
BIT_INFO 0 h->fw_support 0x20,0xffffffff
HARD_MAX 0 h->drv_req_rescan 1
MEM_ZERO 2 map_buff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock