Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/pmcraid.c pmcraid_allocate_control_blocks() -> pmcraid_release_control_blocks()

Type Parameter Key Value
PARAM_VALUE 0 pinstance 4096-ptr_max
PARAM_VALUE 0 pinstance->ccn.hcam 4096-ptr_max
PARAM_VALUE 0 pinstance->ccn.ignore.counter 0
PARAM_VALUE 0 pinstance->ccn.msg 1-ptr_max
PARAM_VALUE 0 pinstance->ccn.msg->hostno 0
PARAM_VALUE 0 pinstance->ccn.msg->length 0
PARAM_VALUE 0 pinstance->cfg_table 1-ptr_max
PARAM_VALUE 0 pinstance->cfg_table->flags 0
PARAM_VALUE 0 pinstance->cfg_table->num_entries 0
PARAM_VALUE 0 pinstance->cfg_table->reserved1 0
PARAM_VALUE 0 pinstance->cfg_table->table_format 0
PARAM_VALUE 0 pinstance->chip_cfg 4096-ptr_max
PARAM_VALUE 0 pinstance->cmd_cachep 4096-ptr_max
PARAM_VALUE 0 pinstance->control_pool 4096-ptr_max
PARAM_VALUE 0 pinstance->control_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pinstance->control_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pinstance->control_pool->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pinstance->control_pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 pinstance->control_pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pinstance->control_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 pinstance->control_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pinstance->control_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pinstance->ctl_pool_name 0
PARAM_VALUE 0 pinstance->host 4096-ptr_max
PARAM_VALUE 0 pinstance->interrupt_mode 1
PARAM_VALUE 0 pinstance->ldn.hcam 4096-ptr_max
PARAM_VALUE 0 pinstance->ldn.ignore.counter 0
PARAM_VALUE 0 pinstance->ldn.msg 1-ptr_max
PARAM_VALUE 0 pinstance->ldn.msg->hostno 0
PARAM_VALUE 0 pinstance->ldn.msg->length 0
PARAM_VALUE 0 pinstance->pdev 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pinstance->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pinstance->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pinstance->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 pinstance->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pinstance->pdev->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.dma_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 pinstance->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pinstance->pdev->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 pinstance->pdev->dev.kobj.sd->priv 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 pinstance->pdev->dev.msi.domain 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 pinstance->pdev->is_msi_managed 1
PARAM_VALUE 0 pinstance->pdev->msix_base 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->msix_enabled 1
PARAM_VALUE 0 pinstance->pdev->pcie_cap 0-1
PARAM_VALUE 0 pinstance->pdev->sriov->offset 0-u16max
PARAM_VALUE 0 pinstance->pdev->sriov->stride 0-u16max
PARAM_VALUE 0 pinstance->pdev->state_saved 1
PARAM_VALUE 0 pinstance->res_entries 4096-ptr_max
PARAM_VALUE 0 *pinstance->cmd_pool_name 0-255
PARAM_VALUE 0 *pinstance->host_toggle_bit 1
PARAM_VALUE 1 max_index 0-1023
BUF_SIZE 0 pinstance->control_pool 192
CAPPED_DATA 0 pinstance->control_pool->allocation 1
CAPPED_DATA 0 pinstance->control_pool->boundary 1
CAPPED_DATA 0 pinstance->control_pool->size 1
DATA_SOURCE 0 pinstance $0
FUZZY_MAX 1 max_index 1023
HARD_MAX 1 max_index 1023
MEM_ZERO 0 pinstance
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pinstance->ctl_pool_name
HALF_LOCKED2 &pool->lock

drivers/scsi/pmcraid.c pmcraid_release_buffers() -> pmcraid_release_control_blocks()

Type Parameter Key Value
PARAM_VALUE 0 pinstance 4096-ptr_max
PARAM_VALUE 0 pinstance->ccn.baddr 0
PARAM_VALUE 0 pinstance->ccn.msg 0
PARAM_VALUE 0 pinstance->host 4096-ptr_max
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_gendev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_gendev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_gendev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_gendev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_gendev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_gendev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_gendev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 pinstance->host->pseudo_sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pinstance->host->shost_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pinstance->host->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pinstance->interrupt_mode 0-1
PARAM_VALUE 0 pinstance->ldn.baddr 0
PARAM_VALUE 0 pinstance->ldn.msg 0
PARAM_VALUE 0 pinstance->pdev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pinstance->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 pinstance->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 pinstance->res_entries 0
PARAM_VALUE 0 *pinstance->cmd_pool_name 0-255
PARAM_VALUE 0 *pinstance->ctl_pool_name 0-255
PARAM_VALUE 0 *pinstance->host_toggle_bit 0-255
PARAM_VALUE 1 max_index 1024
BUF_SIZE 0 pinstance s32min-(-1),1-s32max
BUF_SIZE 0 pinstance s32min-(-1),1-s32max
BUF_SIZE 0 pinstance->inq_data (-1),24
BUF_SIZE 0 pinstance->timestamp_data (-1),12
DATA_SOURCE 0 pinstance $0
HARD_MAX 0 pinstance->interrupt_mode 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pinstance->cdev.count
NO_OVERFLOW_SIMPLE 0 pinstance->host->pseudo_sdev->request_queue->async_depth
NO_OVERFLOW_SIMPLE 0 pinstance->host->pseudo_sdev->request_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 pinstance->host->pseudo_sdev->request_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 pinstance->host->pseudo_sdev->request_queue->nr_requests
UNITS 0 pinstance unit_byte