Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/wd719x.c wd719x_pci_probe() -> wd719x_destroy()

Type Parameter Key Value
PARAM_VALUE 0 wd 4096-ptr_max
PARAM_VALUE 0 wd->base 65536-131071
PARAM_VALUE 0 wd->params->cdb_size 21845
PARAM_VALUE 0 wd->params->ch_1_th 16
PARAM_VALUE 0 wd->params->own_scsi_id 7
PARAM_VALUE 0 wd->params->scsi_conf 76
PARAM_VALUE 0 wd->params->scsi_pad 27
PARAM_VALUE 0 wd->params->sel_timeout 77
PARAM_VALUE 0 wd->params->sleep_timer 1
PARAM_VALUE 0 wd->params->soft_mask 0
PARAM_VALUE 0 wd->params->sync 4294967295
PARAM_VALUE 0 wd->params->tag_en 0
PARAM_VALUE 0 wd->params->unsol_mask 0
PARAM_VALUE 0 wd->params->wide 0,4294967295
PARAM_VALUE 0 wd->pdev 4096-ptr_max
PARAM_VALUE 0 wd->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wd->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wd->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 wd->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 wd->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 wd->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 wd->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 wd->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 wd->pdev->driver 4096-ptr_max
PARAM_VALUE 0 wd->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 wd->pdev->irq 0
PARAM_VALUE 0 wd->pdev->is_busmaster 1
PARAM_VALUE 0 wd->pdev->pcie_cap 0-1
PARAM_VALUE 0 wd->phba->dbg_log_cnt.counter s32min-s32max
PARAM_VALUE 0 wd->phba->dbg_log_idx.counter s32min-s32max
PARAM_VALUE 0 wd->sh->active_mode 1-3
PARAM_VALUE 0 wd->sh->can_queue 255
PARAM_VALUE 0 wd->sh->cmd_per_lun 0
PARAM_VALUE 0 wd->sh->dma_alignment 1-4294967295
PARAM_VALUE 0 wd->sh->dma_channel 255
PARAM_VALUE 0 wd->sh->eh_deadline (-1)-2147483500,s32max
PARAM_VALUE 0 wd->sh->host_no 0-s32max
PARAM_VALUE 0 wd->sh->host_tagset 0
PARAM_VALUE 0 wd->sh->hostt 460633191373348864
PARAM_VALUE 0 wd->sh->max_channel 0
PARAM_VALUE 0 wd->sh->max_cmd_len 12
PARAM_VALUE 0 wd->sh->max_host_blocked 1-4294967295
PARAM_VALUE 0 wd->sh->max_id 8
PARAM_VALUE 0 wd->sh->max_lun 8
PARAM_VALUE 0 wd->sh->max_sectors 1-4294967295
PARAM_VALUE 0 wd->sh->max_segment_size 1-4294967295
PARAM_VALUE 0 wd->sh->no_write_same 0
PARAM_VALUE 0 wd->sh->nr_reserved_cmds 0
PARAM_VALUE 0 wd->sh->queuecommand_may_block 0
PARAM_VALUE 0 wd->sh->scan_mutex.first_waiter 0
PARAM_VALUE 0 wd->sh->scan_mutex.osq.tail.counter 0
PARAM_VALUE 0 wd->sh->scan_mutex.owner.counter 0
PARAM_VALUE 0 wd->sh->sg_prot_tablesize 0
PARAM_VALUE 0 wd->sh->sg_tablesize 255
PARAM_VALUE 0 wd->sh->shost_dev.class 942952841909760000
PARAM_VALUE 0 wd->sh->shost_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 wd->sh->shost_dev.dma_uses_io_tlb 0
PARAM_VALUE 0 wd->sh->shost_dev.groups 0
PARAM_VALUE 0 wd->sh->shost_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 wd->sh->shost_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 wd->sh->shost_dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 wd->sh->shost_dev.kobj.state_initialized 1
PARAM_VALUE 0 wd->sh->shost_dev.links.status 0
PARAM_VALUE 0 wd->sh->shost_dev.numa_node (-1)
PARAM_VALUE 0 wd->sh->shost_dev.power.deferred_resume 0
PARAM_VALUE 0 wd->sh->shost_dev.power.disable_depth 1
PARAM_VALUE 0 wd->sh->shost_dev.power.early_init 1
PARAM_VALUE 0 wd->sh->shost_dev.power.ignore_children 0
PARAM_VALUE 0 wd->sh->shost_dev.power.is_prepared 0
PARAM_VALUE 0 wd->sh->shost_dev.power.is_suspended 0
PARAM_VALUE 0 wd->sh->shost_dev.power.last_status (-1)
PARAM_VALUE 0 wd->sh->shost_dev.power.qos 0
PARAM_VALUE 0 wd->sh->shost_dev.power.request 0
PARAM_VALUE 0 wd->sh->shost_dev.power.request_pending 0
PARAM_VALUE 0 wd->sh->shost_dev.power.runtime_auto 1
PARAM_VALUE 0 wd->sh->shost_dev.power.runtime_error 0
PARAM_VALUE 0 wd->sh->shost_dev.power.runtime_status 2
PARAM_VALUE 0 wd->sh->shost_dev.power.timer_expires 0
PARAM_VALUE 0 wd->sh->shost_gendev.bus 3137178616257380352
PARAM_VALUE 0 wd->sh->shost_gendev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 wd->sh->shost_gendev.dma_uses_io_tlb 0
PARAM_VALUE 0 wd->sh->shost_gendev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 wd->sh->shost_gendev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 wd->sh->shost_gendev.kobj.state_initialized 1
PARAM_VALUE 0 wd->sh->shost_gendev.links.status 0
PARAM_VALUE 0 wd->sh->shost_gendev.numa_node (-1)
PARAM_VALUE 0 wd->sh->shost_gendev.power.disable_depth 1
PARAM_VALUE 0 wd->sh->shost_gendev.power.early_init 1
PARAM_VALUE 0 wd->sh->shost_gendev.power.is_prepared 0
PARAM_VALUE 0 wd->sh->shost_gendev.power.is_suspended 0
PARAM_VALUE 0 wd->sh->shost_gendev.power.last_status (-1)
PARAM_VALUE 0 wd->sh->shost_gendev.power.qos 0
PARAM_VALUE 0 wd->sh->shost_gendev.power.request 0
PARAM_VALUE 0 wd->sh->shost_gendev.power.runtime_auto 1
PARAM_VALUE 0 wd->sh->shost_gendev.power.runtime_status 2
PARAM_VALUE 0 wd->sh->shost_gendev.type 4452975310479048704
PARAM_VALUE 0 wd->sh->shost_state 1
PARAM_VALUE 0 wd->sh->this_id 7
PARAM_VALUE 0 wd->sh->transportt 5918905452196392960
PARAM_VALUE 0 wd->sh->virt_boundary_mask 0
PARAM_VALUE 0 wd->type 0-3
BUF_SIZE 0 wd->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
CAPPED_DATA 0 &wd->pdev->dev 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wd->pdev->current_state 0-3[c]

drivers/scsi/wd719x.c wd719x_pci_remove() -> wd719x_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL