Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/elx/efct/efct_driver.c efct_device_attach() -> efct_request_firmware_update()

Type Parameter Key Value
PARAM_VALUE 0 efct 4096-ptr_max
PARAM_VALUE 0 efct->attached 1
PARAM_VALUE 0 efct->efcport 4096-ptr_max
PARAM_VALUE 0 efct->efct_req_fw_upgrade 1
PARAM_VALUE 0 efct->filter_def 4093718771686031360
PARAM_VALUE 0 efct->hw.mq->index 0-4294967295
PARAM_VALUE 0 efct->hw.mq->u.r_idx 0-4294967295
PARAM_VALUE 0 efct->hw.os->pci->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 efct->hw.sli.pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 efct->max_isr_time_msec 1000
PARAM_VALUE 0 efct->model 4305874705391714304,5824613733018456064,7301871518673948672
PARAM_VALUE 0 efct->pci 4096-ptr_max
PARAM_VALUE 0 efct->pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 efct->pci->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 efct->pci->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 efct->xport 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->efct_req_fw_upgrade 1
PARAM_VALUE 0 efct->xport->efct->filter_def 4093718771686031360
PARAM_VALUE 0 efct->xport->efct->hw->wqe_buffs 0-255
PARAM_VALUE 0 efct->xport->efct->hw.bmbx_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 efct->xport->efct->hw.bmbx_lock.dep_map->name 0-255
PARAM_VALUE 0 efct->xport->efct->hw.bmbx_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 efct->xport->efct->hw.bmbx_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 efct->xport->efct->hw.bmbx_lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 efct->xport->efct->hw.bmbx_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 efct->xport->efct->hw.cmd_ctx_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efct->xport->efct->hw.cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efct->xport->efct->hw.cmd_pending.prev->next->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.config.n_io 1-u32max
PARAM_VALUE 0 efct->xport->efct->hw.cq_hash->in_use 0
PARAM_VALUE 0 efct->xport->efct->hw.eq_list.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.eq_list.next->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.eq_list.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.eq_list.prev->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.eq_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.eq_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.hw_mrq_count 0-u16max
PARAM_VALUE 0 efct->xport->efct->hw.io 1-u64max
PARAM_VALUE 0 efct->xport->efct->hw.io_free.prev->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.io_free.prev->next->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.io_inuse.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.io_inuse.prev->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.io_inuse.prev->next->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.io_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efct->xport->efct->hw.loop_map.size 128
PARAM_VALUE 0 efct->xport->efct->hw.loop_map.virt 0-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.mq->index 0-4294967295
PARAM_VALUE 0 efct->xport->efct->hw.mq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efct->xport->efct->hw.os->pci->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 efct->xport->efct->hw.os->pci->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 efct->xport->efct->hw.os->pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 efct->xport->efct->hw.os->pci->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 efct->xport->efct->hw.os->pci->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.os->pci->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.os->pci->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.os->pci->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efct->xport->efct->hw.os->pci->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 efct->xport->efct->hw.os->pci->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 efct->xport->efct->hw.rq_hash->in_use 0
PARAM_VALUE 0 efct->xport->efct->hw.seq_pool 1-u64max
PARAM_VALUE 0 efct->xport->efct->hw.sli.bmbx.virt->dw1_flags 1
PARAM_VALUE 0 efct->xport->efct->hw.sli.bmbx.virt->dw1_qry 1
PARAM_VALUE 0 efct->xport->efct->hw.sli.bmbx.virt->hdr.command 155,157
PARAM_VALUE 0 efct->xport->efct->hw.sli.bmbx.virt->payload_len 0-232
PARAM_VALUE 0 efct->xport->efct->hw.sli.bmbx_non_emb_pmd 8141830514880430080
PARAM_VALUE 0 efct->xport->efct->hw.sli.params.sgl_pre_registered 0-1
PARAM_VALUE 0 efct->xport->efct->hw.sli.pci->dev.cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 efct->xport->efct->hw.sli.pci->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 efct->xport->efct->hw.sli.pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 efct->xport->efct->hw.sli.pci->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.sli.pci->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.sli.pci->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 efct->xport->efct->hw.sli.pci->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 efct->xport->efct->hw.sli.pci->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 efct->xport->efct->hw.state 2
PARAM_VALUE 0 efct->xport->efct->hw.wq_cpu_array 16,4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.wq_hash->in_use 0
PARAM_VALUE 0 efct->xport->efct->hw.wq_reqtag_pool 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.wq_reqtag_pool->freelist.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.wq_reqtag_pool->freelist.next->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.wq_reqtag_pool->freelist.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.wq_reqtag_pool->freelist.prev->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.wq_reqtag_pool->freelist.prev->prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->hw.wq_reqtag_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efct->xport->efct->hw.wqe_buffs 0,16,4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->max_isr_time_msec 1000
PARAM_VALUE 0 efct->xport->efct->model 4305874705391714304,5824613733018456064,7301871518673948672
PARAM_VALUE 0 efct->xport->efct->pci 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->pci->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 efct->xport->efct->pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 efct->xport->efct->pci->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 efct->xport->efct->pci->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 efct->xport->efct->sess_debugfs_dir 1-u64max
PARAM_VALUE 0 efct->xport->efct->shost 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->__devices.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->__devices.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->__targets.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->__targets.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->active_mode 1-3
PARAM_VALUE 0 efct->xport->efct->shost->dma_alignment 1-u32max
PARAM_VALUE 0 efct->xport->efct->shost->dma_boundary 1-u64max
PARAM_VALUE 0 efct->xport->efct->shost->dma_channel 255
PARAM_VALUE 0 efct->xport->efct->shost->eh_abort_list.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->eh_abort_list.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->eh_cmd_q.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->eh_cmd_q.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->eh_deadline (-1)-2147483500,s32max
PARAM_VALUE 0 efct->xport->efct->shost->ehandler 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->host_lock 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->host_no 0-s32max
PARAM_VALUE 0 efct->xport->efct->shost->host_wait.head.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->host_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->hostt 2140629256782270464
PARAM_VALUE 0 efct->xport->efct->shost->max_cmd_len 12
PARAM_VALUE 0 efct->xport->efct->shost->max_host_blocked 1-u32max
PARAM_VALUE 0 efct->xport->efct->shost->max_id 8
PARAM_VALUE 0 efct->xport->efct->shost->max_lun 8
PARAM_VALUE 0 efct->xport->efct->shost->max_sectors 1-u32max
PARAM_VALUE 0 efct->xport->efct->shost->max_segment_size 1-u32max
PARAM_VALUE 0 efct->xport->efct->shost->scan_mutex.magic 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.class 942952841909760000
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.kobj.state_initialized 1
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.numa_node (-1)
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.parent 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.power.disable_depth 1
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.power.early_init 1
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.power.last_status (-1)
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.power.runtime_auto 1
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.power.runtime_status 2
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.bus 3137178616257380352
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.kobj.state_initialized 1
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.numa_node (-1)
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.power.disable_depth 1
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.power.early_init 1
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.power.last_status (-1)
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.power.runtime_auto 1
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.power.runtime_status 2
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->shost_gendev.type 4452975310479048704
PARAM_VALUE 0 efct->xport->efct->shost->shost_state 1
PARAM_VALUE 0 efct->xport->efct->shost->starved_list.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->starved_list.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->tmf_work_q 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->shost->transportt 5918905452196392960
PARAM_VALUE 0 efct->xport->efct->tgt_efct.vport_list.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->tgt_efct.vport_list.next->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->tgt_efct.vport_list.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->tgt_efct.vport_list.prev->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->efct->tgt_efct.vport_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->io_active_count.counter 0
PARAM_VALUE 0 efct->xport->io_alloc_failed_count.counter 0
PARAM_VALUE 0 efct->xport->io_pending_count.counter 0
PARAM_VALUE 0 efct->xport->io_pending_list.next 4096-ptr_max
PARAM_VALUE 0 efct->xport->io_pending_list.next->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->io_pending_list.prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->io_pending_list.prev->next 4096-ptr_max
PARAM_VALUE 0 efct->xport->io_pending_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 efct->xport->io_pending_recursing.counter 0
PARAM_VALUE 0 efct->xport->io_pool 4096-ptr_max
PARAM_VALUE 0 efct->xport->io_pool->efct->efct_req_fw_upgrade 1
PARAM_VALUE 0 efct->xport->io_pool->efct->filter_def 4093718771686031360
PARAM_VALUE 0 efct->xport->io_pool->efct->hw.hw_setup_called 1
PARAM_VALUE 0 efct->xport->io_pool->efct->max_isr_time_msec 1000
PARAM_VALUE 0 efct->xport->io_pool->efct->model 4305874705391714304,5824613733018456064,7301871518673948672
PARAM_VALUE 0 efct->xport->io_pool->efct->pci s64min-(-4096),4096-s64max
PARAM_VALUE 0 efct->xport->io_total_free.counter 0
PARAM_VALUE 0 efct->xport->io_total_pending.counter 0
BUF_SIZE 0 efct s32min-(-1),1-s32max
BUF_SIZE 0 efct s32min-(-1),1-s32max
BUF_SIZE 0 efct->filter_def 17
BUF_SIZE 0 efct->model 8-9
BUF_SIZE 0 efct->pci (-1),1-s32max
BUF_SIZE 0 efct->xport 560
BUF_SIZE 0 efct->xport->efct s32min-(-1),1-s32max
CAPPED_DATA 0 efct->n_msix_vec 1
CAPPED_DATA 0 efct->xport->efct->hw.config.n_eq 1
CAPPED_DATA 0 efct->xport->efct->hw.config.n_io 1
DATA_SOURCE 0 efct $0
STR_LEN 0 efct->filter_def 16
STR_LEN 0 efct->name 31
STR_LEN 0 efct->xport->efct->filter_def 16
STR_LEN 0 efct->xport->io_pool->efct->filter_def (-1)
PARAM_COMPARE 0 &efct->xport->efct->hw.cmd_head == $0->xport->efct->hw.cmd_head.next
PARAM_COMPARE 0 &efct->xport->efct->hw.cmd_pending == $0->xport->efct->hw.cmd_pending.next
TERMINATED 0 efct->filter_def 1
TERMINATED 0 efct->xport->efct->filter_def 1
TERMINATED 0 efct->xport->io_pool->efct->filter_def 1
MEM_ZERO 0 efct->xport->efct->hw.cq_hash
MEM_ZERO 0 efct->xport->efct->hw.rq_hash
MEM_ZERO 0 efct->xport->efct->hw.wq_hash
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 efct->pci->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 efct->efcport->node_dma_pool->dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 0 efct->hw.cmd_ctx_pool->min_nr
NO_OVERFLOW_SIMPLE 0 efct->hw.mbox_rqst_pool->min_nr
NO_OVERFLOW_SIMPLE 0 efct->hw.sli.bmbx_non_emb_pmd->phys
NO_OVERFLOW_SIMPLE 0 efct->hw.sli.bmbx_non_emb_pmd->size
NO_OVERFLOW_SIMPLE 0 efct->hw.sli.pci->dev.cma_area->available_count
NO_OVERFLOW_SIMPLE 0 efct->pci->dev.cma_area->available_count
UNITS 0 efct unit_byte