Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/snic/snic_main.c snic_probe() -> snic_del_host()

Type Parameter Key Value
PARAM_VALUE 0 shost 4096-ptr_max
PARAM_VALUE 0 shost->__devices.next 4096-ptr_max
PARAM_VALUE 0 shost->__devices.prev 4096-ptr_max
PARAM_VALUE 0 shost->__targets.next 4096-ptr_max
PARAM_VALUE 0 shost->__targets.prev 4096-ptr_max
PARAM_VALUE 0 shost->active_mode 1-3
PARAM_VALUE 0 shost->can_queue 50
PARAM_VALUE 0 shost->cmd_per_lun 32
PARAM_VALUE 0 shost->dma_alignment 1-u32max
PARAM_VALUE 0 shost->dma_boundary 1-u64max
PARAM_VALUE 0 shost->dma_channel 255
PARAM_VALUE 0 shost->eh_abort_list.next 4096-ptr_max
PARAM_VALUE 0 shost->eh_abort_list.prev 4096-ptr_max
PARAM_VALUE 0 shost->eh_cmd_q.next 4096-ptr_max
PARAM_VALUE 0 shost->eh_cmd_q.prev 4096-ptr_max
PARAM_VALUE 0 shost->eh_deadline (-1)-2147483500,s32max
PARAM_VALUE 0 shost->ehandler 4096-ptr_max
PARAM_VALUE 0 shost->host_lock 4096-ptr_max
PARAM_VALUE 0 shost->host_no 0-s32max
PARAM_VALUE 0 shost->host_tagset 0
PARAM_VALUE 0 shost->host_wait.head.next 4096-ptr_max
PARAM_VALUE 0 shost->host_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 shost->hostt 3694472058439499776
PARAM_VALUE 0 shost->max_channel 0
PARAM_VALUE 0 shost->max_cmd_len 12
PARAM_VALUE 0 shost->max_host_blocked 1-u32max
PARAM_VALUE 0 shost->max_id 8
PARAM_VALUE 0 shost->max_lun 8
PARAM_VALUE 0 shost->max_sectors 1-u32max
PARAM_VALUE 0 shost->max_segment_size 1-u32max
PARAM_VALUE 0 shost->no_write_same 0
PARAM_VALUE 0 shost->nr_reserved_cmds 0
PARAM_VALUE 0 shost->queuecommand_may_block 0
PARAM_VALUE 0 shost->scan_mutex.first_waiter 0
PARAM_VALUE 0 shost->scan_mutex.magic 4096-ptr_max
PARAM_VALUE 0 shost->scan_mutex.osq.tail.counter 0
PARAM_VALUE 0 shost->scan_mutex.owner.counter 0
PARAM_VALUE 0 shost->sg_prot_tablesize 0
PARAM_VALUE 0 shost->sg_tablesize 60
PARAM_VALUE 0 shost->shost_dev.class 942952841909760000
PARAM_VALUE 0 shost->shost_dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 shost->shost_dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.dma_uses_io_tlb 0
PARAM_VALUE 0 shost->shost_dev.groups 8745419936165199872
PARAM_VALUE 0 shost->shost_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 shost->shost_dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 shost->shost_dev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 shost->shost_dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 shost->shost_dev.kobj.state_initialized 1
PARAM_VALUE 0 shost->shost_dev.kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 shost->shost_dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.links.status 0
PARAM_VALUE 0 shost->shost_dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.numa_node (-1)
PARAM_VALUE 0 shost->shost_dev.parent 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.power.child_count.counter 0
PARAM_VALUE 0 shost->shost_dev.power.deferred_resume 0
PARAM_VALUE 0 shost->shost_dev.power.disable_depth 1
PARAM_VALUE 0 shost->shost_dev.power.early_init 1
PARAM_VALUE 0 shost->shost_dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.power.idle_notification 0
PARAM_VALUE 0 shost->shost_dev.power.ignore_children 0
PARAM_VALUE 0 shost->shost_dev.power.last_status (-1)
PARAM_VALUE 0 shost->shost_dev.power.needs_force_resume 0
PARAM_VALUE 0 shost->shost_dev.power.qos 0
PARAM_VALUE 0 shost->shost_dev.power.request 0
PARAM_VALUE 0 shost->shost_dev.power.request_pending 0
PARAM_VALUE 0 shost->shost_dev.power.runtime_auto 1
PARAM_VALUE 0 shost->shost_dev.power.runtime_error 0
PARAM_VALUE 0 shost->shost_dev.power.runtime_status 2
PARAM_VALUE 0 shost->shost_dev.power.timer_expires 0
PARAM_VALUE 0 shost->shost_dev.power.usage_count.counter 0
PARAM_VALUE 0 shost->shost_dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.bus 3137178616257380352
PARAM_VALUE 0 shost->shost_gendev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 shost->shost_gendev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 shost->shost_gendev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 shost->shost_gendev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 shost->shost_gendev.kobj.state_in_sysfs 0
PARAM_VALUE 0 shost->shost_gendev.kobj.state_initialized 1
PARAM_VALUE 0 shost->shost_gendev.kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 shost->shost_gendev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.links.status 0
PARAM_VALUE 0 shost->shost_gendev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.numa_node (-1)
PARAM_VALUE 0 shost->shost_gendev.power.child_count.counter 0
PARAM_VALUE 0 shost->shost_gendev.power.deferred_resume 0
PARAM_VALUE 0 shost->shost_gendev.power.disable_depth 1
PARAM_VALUE 0 shost->shost_gendev.power.early_init 1
PARAM_VALUE 0 shost->shost_gendev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.power.idle_notification 0
PARAM_VALUE 0 shost->shost_gendev.power.ignore_children 0
PARAM_VALUE 0 shost->shost_gendev.power.last_status (-1)
PARAM_VALUE 0 shost->shost_gendev.power.needs_force_resume 0
PARAM_VALUE 0 shost->shost_gendev.power.qos 0
PARAM_VALUE 0 shost->shost_gendev.power.request 0
PARAM_VALUE 0 shost->shost_gendev.power.request_pending 0
PARAM_VALUE 0 shost->shost_gendev.power.runtime_auto 1
PARAM_VALUE 0 shost->shost_gendev.power.runtime_error 0
PARAM_VALUE 0 shost->shost_gendev.power.runtime_status 2
PARAM_VALUE 0 shost->shost_gendev.power.timer_expires 0
PARAM_VALUE 0 shost->shost_gendev.power.usage_count.counter 0
PARAM_VALUE 0 shost->shost_gendev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 shost->shost_gendev.type 4452975310479048704
PARAM_VALUE 0 shost->shost_state 1
PARAM_VALUE 0 shost->starved_list.next 4096-ptr_max
PARAM_VALUE 0 shost->starved_list.prev 4096-ptr_max
PARAM_VALUE 0 shost->this_id (-1)
PARAM_VALUE 0 shost->tmf_work_q 4096-ptr_max
PARAM_VALUE 0 shost->transportt 5918905452196392960
PARAM_VALUE 0 shost->virt_boundary_mask 0
BUF_SIZE 0 shost 4600-s32max
BUF_SIZE 0 shost 4600-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/snic/snic_main.c snic_remove() -> snic_del_host()

Type Parameter Key Value
PARAM_VALUE 0 shost 4096-ptr_max
PARAM_VALUE 0 shost->host_lock 4096-ptr_max
PARAM_VALUE 0 shost->host_lock->rlock.dep_map->name 0-255
PARAM_VALUE 0 shost->work_q->first_flusher->done.done 0-4294967295
PARAM_VALUE 0 shost->work_q->first_flusher->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 shost->work_q->first_flusher->done.wait.lock.owner (-1)
PARAM_VALUE 0 shost->work_q->first_flusher->done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 shost->work_q->first_flusher->done.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 shost->work_q->flush_color s32min-s32max
PARAM_VALUE 0 shost->work_q->flusher_overflow.prev->next 2906673126597898240
PARAM_VALUE 0 shost->work_q->flusher_queue.prev->next 2906673126597898240
PARAM_VALUE 0 shost->work_q->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 shost->work_q->work_color s32min-s32max
PARAM_VALUE 0 *shost->work_q->lockdep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL