pmcraid_release_cmd_blocks identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/scsi/pmcraid.c, line 4087

Defined in 1 files as a function:

drivers/scsi/pmcraid.c, line 4096 (as a function)

Referenced in 1 files:

drivers/scsi/pmcraid.c

Smatch caller information:

drivers/scsi/pmcraid.c pmcraid_allocate_cmd_blocks() -> pmcraid_release_cmd_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->cmd_cachep->object_size	0-4294967295
PARAM_VALUE	0	pinstance->cmd_pool_name	0
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_uses_io_tlb	1
PARAM_VALUE	0	pinstance->pdev->dev.iommu->pci_32bit_workaround	0-1
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->host_toggle_bit	1
PARAM_VALUE	1	max_index	0-1023
CAPPED_DATA	0	pinstance->cmd_cachep	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->cmd_pool_name
HALF_LOCKED2		&pool->lock

drivers/scsi/pmcraid.c pmcraid_init_buffers() -> pmcraid_release_cmd_blocks()

Type	Parameter	Key	Value
PARAM_VALUE	0	pinstance	4096-ptr_max
PARAM_VALUE	0	pinstance->ccn.baddr	0
PARAM_VALUE	0	pinstance->ccn.ignore.counter	0
PARAM_VALUE	0	pinstance->ccn.msg	0
PARAM_VALUE	0	pinstance->cfg_table	0-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->cfg_table_bus_addr	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	0
PARAM_VALUE	0	pinstance->free_res_q.prev	0,4096-ptr_max
PARAM_VALUE	0	pinstance->free_res_q.prev->next	4096-ptr_max
PARAM_VALUE	0	pinstance->free_res_q.prev->next->next	4096-ptr_max
PARAM_VALUE	0	pinstance->host	4096-ptr_max
PARAM_VALUE	0	pinstance->interrupt_mode	1
PARAM_VALUE	0	pinstance->ldn.baddr	0
PARAM_VALUE	0	pinstance->ldn.ignore.counter	0
PARAM_VALUE	0	pinstance->ldn.msg	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->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	pinstance->pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pinstance->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name	0-255
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_uses_io_tlb	1
PARAM_VALUE	0	pinstance->pdev->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	pinstance->pdev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	pinstance->pdev->error_state	0-2,4-u32max
PARAM_VALUE	0	pinstance->pdev->pcie_cap	0-1
PARAM_VALUE	0	pinstance->pdev->state_saved	1
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	1
PARAM_VALUE	1	max_index	1024
DATA_SOURCE	0	pinstance	$0
MEM_ZERO	0	pinstance
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/pmcraid.c pmcraid_release_buffers() -> pmcraid_release_cmd_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->control_pool	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	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