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_probe() -> pmcraid_reset_type()

Type Parameter Key Value
PARAM_VALUE 0 pinstance 4096-ptr_max
PARAM_VALUE 0 pinstance->ccn.baddr 0
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->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 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.osq.tail.counter 0-s32max
PARAM_VALUE 0 pinstance->control_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 pinstance->control_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pinstance->free_cmd_pool.prev 0,4096-ptr_max
PARAM_VALUE 0 pinstance->inq_data 1-ptr_max
PARAM_VALUE 0 pinstance->inq_data->add_page_len 0
PARAM_VALUE 0 pinstance->inq_data->fw_version 0
PARAM_VALUE 0 pinstance->inq_data->length 0
PARAM_VALUE 0 pinstance->inq_data->page_code 0
PARAM_VALUE 0 pinstance->inq_data->ph_dev_type 0
PARAM_VALUE 0 pinstance->inq_data->reserved1 0
PARAM_VALUE 0 pinstance->inq_data->reserved2 0
PARAM_VALUE 0 pinstance->inq_data_baddr 0
PARAM_VALUE 0 pinstance->interrupt_mode 1
PARAM_VALUE 0 pinstance->ldn.baddr 0
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.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_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 4096-ptr_max
PARAM_VALUE 0 pinstance->timestamp_data 1-ptr_max
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
MEM_ZERO 0 pinstance
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL