Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
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->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 1 physdev 4096-ptr_max
BUF_SIZE 1 physdev 24584
CAPPED_DATA 1 physdev 1
DATA_SOURCE 0 h $0
DATA_SOURCE 1 physdev r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex