Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/vmw_pvscsi.c pvscsi_probe() -> pvscsi_release_resources()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_map 0
PARAM_VALUE 0 adapter->cmd_pool.next 0
PARAM_VALUE 0 adapter->cmd_pool.prev 0
PARAM_VALUE 0 adapter->cmp_pages 0
PARAM_VALUE 0 adapter->cmp_ring 0
PARAM_VALUE 0 adapter->dev 0
PARAM_VALUE 0 adapter->dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->dev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 adapter->dev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->dev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->dev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 adapter->dev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->dev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->dev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 adapter->dev->driver 4096-ptr_max
PARAM_VALUE 0 adapter->dev->error_state 0-2,4-u32max
PARAM_VALUE 0 adapter->dev->is_busmaster 1
PARAM_VALUE 0 adapter->dev->msix_base 0
PARAM_VALUE 0 adapter->dev->pcie_cap 0-1
PARAM_VALUE 0 adapter->host 0
PARAM_VALUE 0 adapter->host->__devices.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->__devices.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->__targets.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->__targets.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->active_mode 1-3
PARAM_VALUE 0 adapter->host->dma_alignment 1-u32max
PARAM_VALUE 0 adapter->host->dma_boundary 1-u64max
PARAM_VALUE 0 adapter->host->dma_channel 255
PARAM_VALUE 0 adapter->host->eh_abort_list.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->eh_abort_list.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->eh_cmd_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->eh_cmd_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->eh_deadline (-1)-2147483500,s32max
PARAM_VALUE 0 adapter->host->ehandler 4096-ptr_max
PARAM_VALUE 0 adapter->host->host_lock 4096-ptr_max
PARAM_VALUE 0 adapter->host->host_no 0-s32max
PARAM_VALUE 0 adapter->host->host_tagset 0
PARAM_VALUE 0 adapter->host->host_wait.head.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->host_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->hostt 3032963461602439168
PARAM_VALUE 0 adapter->host->max_channel 0
PARAM_VALUE 0 adapter->host->max_cmd_len 12
PARAM_VALUE 0 adapter->host->max_host_blocked 1-u32max
PARAM_VALUE 0 adapter->host->max_id 8
PARAM_VALUE 0 adapter->host->max_lun 8
PARAM_VALUE 0 adapter->host->max_sectors 1-u32max
PARAM_VALUE 0 adapter->host->max_segment_size 1-u32max
PARAM_VALUE 0 adapter->host->no_write_same 0
PARAM_VALUE 0 adapter->host->nr_reserved_cmds 0
PARAM_VALUE 0 adapter->host->queuecommand_may_block 0
PARAM_VALUE 0 adapter->host->scan_mutex.first_waiter 0
PARAM_VALUE 0 adapter->host->scan_mutex.magic 4096-ptr_max
PARAM_VALUE 0 adapter->host->scan_mutex.owner.counter 0
PARAM_VALUE 0 adapter->host->sg_prot_tablesize 0
PARAM_VALUE 0 adapter->host->sg_tablesize 128
PARAM_VALUE 0 adapter->host->shost_dev.class 942952841909760000
PARAM_VALUE 0 adapter->host->shost_dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 adapter->host->shost_dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.groups 0
PARAM_VALUE 0 adapter->host->shost_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 adapter->host->shost_dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 adapter->host->shost_dev.kobj.state_initialized 1
PARAM_VALUE 0 adapter->host->shost_dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.links.status 0
PARAM_VALUE 0 adapter->host->shost_dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.numa_node (-1)
PARAM_VALUE 0 adapter->host->shost_dev.parent 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.power.disable_depth 1
PARAM_VALUE 0 adapter->host->shost_dev.power.early_init 1
PARAM_VALUE 0 adapter->host->shost_dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.power.last_status (-1)
PARAM_VALUE 0 adapter->host->shost_dev.power.qos 0
PARAM_VALUE 0 adapter->host->shost_dev.power.request 0
PARAM_VALUE 0 adapter->host->shost_dev.power.runtime_auto 1
PARAM_VALUE 0 adapter->host->shost_dev.power.runtime_status 2
PARAM_VALUE 0 adapter->host->shost_dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.bus 3137178616257380352
PARAM_VALUE 0 adapter->host->shost_gendev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 adapter->host->shost_gendev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 adapter->host->shost_gendev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 adapter->host->shost_gendev.kobj.state_initialized 1
PARAM_VALUE 0 adapter->host->shost_gendev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.numa_node (-1)
PARAM_VALUE 0 adapter->host->shost_gendev.power.disable_depth 1
PARAM_VALUE 0 adapter->host->shost_gendev.power.early_init 1
PARAM_VALUE 0 adapter->host->shost_gendev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.power.last_status (-1)
PARAM_VALUE 0 adapter->host->shost_gendev.power.qos 0
PARAM_VALUE 0 adapter->host->shost_gendev.power.runtime_auto 1
PARAM_VALUE 0 adapter->host->shost_gendev.power.runtime_status 2
PARAM_VALUE 0 adapter->host->shost_gendev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->shost_gendev.type 4452975310479048704
PARAM_VALUE 0 adapter->host->shost_state 1
PARAM_VALUE 0 adapter->host->starved_list.next 4096-ptr_max
PARAM_VALUE 0 adapter->host->starved_list.prev 4096-ptr_max
PARAM_VALUE 0 adapter->host->this_id (-1)
PARAM_VALUE 0 adapter->host->tmf_work_q 4096-ptr_max
PARAM_VALUE 0 adapter->host->transportt 5918905452196392960
PARAM_VALUE 0 adapter->host->virt_boundary_mask 0
PARAM_VALUE 0 adapter->mmioBase 0
PARAM_VALUE 0 adapter->msg_ring->type 0
PARAM_VALUE 0 adapter->req_depth 0
PARAM_VALUE 0 adapter->req_pages 0
PARAM_VALUE 0 adapter->req_ring 0
PARAM_VALUE 0 adapter->rev 0
PARAM_VALUE 0 adapter->rings_state 0
PARAM_VALUE 0 adapter->rings_state->cmpConsIdx 0
PARAM_VALUE 0 adapter->rings_state->cmpNumEntriesLog2 0
PARAM_VALUE 0 adapter->rings_state->cmpProdIdx 0
PARAM_VALUE 0 adapter->rings_state->msgConsIdx 0
PARAM_VALUE 0 adapter->rings_state->msgNumEntriesLog2 0
PARAM_VALUE 0 adapter->rings_state->msgProdIdx 0
PARAM_VALUE 0 adapter->rings_state->reqCallThreshold 0
PARAM_VALUE 0 adapter->rings_state->reqConsIdx 0
PARAM_VALUE 0 adapter->rings_state->reqNumEntriesLog2 0
PARAM_VALUE 0 adapter->rings_state->reqProdIdx 0
PARAM_VALUE 0 adapter->use_msg 0
PARAM_VALUE 0 adapter->use_req_threshold 0
PARAM_VALUE 0 adapter->workqueue 0
CAPPED_DATA 0 adapter 1
MEM_ZERO 0 adapter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 adapter->dev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 adapter->req_depth

drivers/scsi/vmw_pvscsi.c pvscsi_probe() -> pvscsi_release_resources()

Type Parameter Key Value
PARAM_VALUE 0 adapter 7990239304693170176
PARAM_VALUE 0 adapter->dev 0
PARAM_VALUE 0 adapter->dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->dev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 adapter->dev->driver 4096-ptr_max
PARAM_VALUE 0 adapter->dev->msix_base 0
PARAM_VALUE 0 adapter->mmioBase 0
PARAM_VALUE 0 adapter->rev 0
BUF_SIZE 0 adapter 304
MEM_ZERO 0 adapter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 adapter->dev->current_state 0-3[c]

drivers/scsi/vmw_pvscsi.c pvscsi_remove() -> pvscsi_release_resources()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pool.next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pool.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_pool.next->prev 4096-ptr_max
PARAM_VALUE 0 adapter->dev 4096-ptr_max
PARAM_VALUE 0 adapter->dev->msix_base 0
PARAM_VALUE 0 adapter->rings_state 4096-ptr_max
PARAM_VALUE 0 adapter->rings_state->cmpConsIdx 0
PARAM_VALUE 0 adapter->rings_state->cmpNumEntriesLog2 0
PARAM_VALUE 0 adapter->workqueue->first_flusher->done.done 0-4294967295
PARAM_VALUE 0 adapter->workqueue->first_flusher->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->workqueue->first_flusher->done.wait.lock.owner (-1)
PARAM_VALUE 0 adapter->workqueue->first_flusher->done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 adapter->workqueue->flush_color s32min-s32max
PARAM_VALUE 0 adapter->workqueue->flusher_overflow.prev->next 2906673126597898240
PARAM_VALUE 0 adapter->workqueue->flusher_queue.prev->next 2906673126597898240
PARAM_VALUE 0 adapter->workqueue->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 adapter->workqueue->work_color s32min-s32max
PARAM_VALUE 0 *adapter->workqueue->lockdep_map->name 0-255
CAPPED_DATA 0 adapter 1
CAPPED_DATA 0 adapter->rings_state->cmpProdIdx 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL