Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/smartpqi/smartpqi_init.c pqi_get_raid_bypass_status() -> pqi_get_raid_map()

Type Parameter Key Value
PARAM_VALUE 0 ctrl_info 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_mem->dyn_alloc.flags 0-4294967295
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_mem->dyn_alloc.is_hard 0-1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_mem->dyn_alloc.is_lazy 0-1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_mem->dyn_alloc.is_queued 0-1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_mem->dyn_alloc.is_soft 0-1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 ctrl_info->pci_dev->is_virtfn 0
PARAM_VALUE 0 ctrl_info->pci_dev->sriov->nres s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->sriov->pos s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->sriov->vf_rebar_cap 0-u16max
PARAM_VALUE 0 ctrl_info->sync_request_sem.first_waiter->up 1
PARAM_VALUE 0 ctrl_info->sync_request_sem.last_holder 0
PARAM_VALUE 0 ctrl_info->sync_request_sem.lock.dep_map->name 0-255
PARAM_VALUE 0 ctrl_info->sync_request_sem.lock.owner (-1)
PARAM_VALUE 0 ctrl_info->sync_request_sem.lock.owner_cpu u32max
PARAM_VALUE 1 device 4096-ptr_max
PARAM_VALUE 1 device->devtype 0
PARAM_VALUE 1 device->is_expander_smp_device 0
PARAM_VALUE 1 device->is_external_raid_device 0
PARAM_VALUE 1 device->is_physical_device 0
PARAM_VALUE 1 device->raid_bypass_configured 1
PARAM_VALUE 1 device->raid_level 0-6,255
PARAM_VALUE 1 device->wwid 4096-ptr_max
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
CAPPED_DATA 0 ctrl_info->pci_dev->dev.cma_area->nranges 1
DATA_SOURCE 0 ctrl_info $0
DATA_SOURCE 1 device $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl_info->previous_heartbeat_count 0-u32max
NO_OVERFLOW_SIMPLE 0 ctrl_info->admin_queue_memory_length
NO_OVERFLOW_SIMPLE 0 ctrl_info->max_io_slots
NO_OVERFLOW_SIMPLE 0 ctrl_info->queue_memory_length
UNITS 0 ctrl_info unit_byte
LOCK2 0 &ctrl_info->scan_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ctrl_info->lun_reset_mutex
TYPE_LOCK (struct pqi_ctrl_info)->scan_mutex