Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi_sysfs.c __scsi_remove_device() -> (struct scsi_host_template)->sdev_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->handler->activate 3600842718638694400,5243147847518916608,6496534065377783808,7898610171885281280
PARAM_VALUE 0 sdev->handler->attach 2746902616992653312,5132065149155708928,7564096471920857088,9118315553196937216
PARAM_VALUE 0 sdev->handler->check_sense 0,701326664625311744,716319328914759680,8493182162192814080
PARAM_VALUE 0 sdev->handler->detach 2239460665994428416,7541542956768612352,7758210456396615680,8395656600214880256
PARAM_VALUE 0 sdev->handler->module 0
PARAM_VALUE 0 sdev->handler->name 1287730336579219456,1722257511912083456,4936889561651781632,8213573606272856064
PARAM_VALUE 0 sdev->handler->prep_fn 2073699460252585984,2725122490299138048,6040602161116102656,8939971808867581952
PARAM_VALUE 0 sdev->handler->rescan 0,3606729598493151232
PARAM_VALUE 0 sdev->handler->set_params 0,3196262558016962560,4603352741667606528
PARAM_VALUE 0 sdev->host 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->sdev_destroy 1-u64max
PARAM_VALUE 0 sdev->lun 0-18446744073709551614
PARAM_VALUE 0 sdev->request_queue 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->request_queue->mq_freeze_lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->request_queue->mq_freeze_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->mq_freeze_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sdev->request_queue->mq_freeze_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sdev->request_queue->mq_freeze_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->request_queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sdev->request_queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sdev->request_queue->mq_freeze_lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 sdev->request_queue->mq_freeze_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sdev->request_queue->mq_freeze_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->request_queue->mq_freeze_owner 1-u64max
PARAM_VALUE 0 sdev->request_queue->mq_ops 0-1
PARAM_VALUE 0 sdev->request_queue->q_usage_counter.data 0,4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->q_usage_counter.data->rcu.func 1-u64max
PARAM_VALUE 0 sdev->request_queue->q_usage_counter.data->rcu.next 0
PARAM_VALUE 0 sdev->request_queue->q_usage_counter.percpu_count_ptr 1-u64max
PARAM_VALUE 0 sdev->request_queue->requeue_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 sdev->request_queue->tag_set 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tag_list_lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->request_queue->tag_set->tag_list_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tag_list_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sdev->request_queue->tag_set->tag_list_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sdev->request_queue->tag_set->tag_list_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sdev->request_queue->tag_set->tag_list_lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tag_list_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sdev->request_queue->tag_set->tag_list_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.sda 0,4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->lock.owner (-1)
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->lock.owner_cpu u32max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node 0,4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->grphi 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->grplo 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->lock.magic 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->lock.owner 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->lock.owner_cpu 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->lock.raw_lock.locked 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->lock.raw_lock.pending 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->lock.raw_lock.tail 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->lock.raw_lock.val.counter 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->srcu_gp_seq_needed_exp 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->node->srcu_parent 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->sda_is_static 1
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_barrier_cpu_cnt.counter 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_barrier_mutex.first_waiter 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_barrier_mutex.owner.counter 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_barrier_seq 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_cb_mutex.first_waiter 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_cb_mutex.osq.tail.counter 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_cb_mutex.owner.counter 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_gp_mutex.first_waiter 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_gp_mutex.osq.tail.counter 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_gp_mutex.owner.counter 0
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_ssp 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->work.work.entry.next 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->work.work.entry.prev 2076614606316732416
PARAM_VALUE 0 sdev->request_queue->tag_set->tags_srcu.srcu_sup->work.work.entry.prev->prev 2076614606316732416
PARAM_VALUE 0 sdev->request_queue->tag_set_list.next->prev 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->timeout.entry.pprev 0
PARAM_VALUE 0 sdev->request_queue->timeout.flags 0-4194302
PARAM_VALUE 0 sdev->request_queue->timeout.function 0
PARAM_VALUE 0 sdev->request_queue->timeout_work.lockdep_map->name 0-255
PARAM_VALUE 0 sdev->request_queue->unused_hctx_list.next 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->unused_hctx_list.next->next 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->unused_hctx_list.next->prev 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->unused_hctx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sdev->requeue_work.lockdep_map->name 0-255
PARAM_VALUE 0 sdev->sdev_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_target->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sdev->sdev_target->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 sdev->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sdev->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sdev->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->state_mutex.wait_lock.dep_map->name 0-255
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 0 sdev (-1),4232-s32max
CAPPED_DATA 0 sdev->request_queue->nr_hw_queues 1
CAPPED_DATA 0 &sdev->requeue_work 1
CAPPED_DATA 0 &sdev->sdev_dev 1
CAPPED_DATA 0 &sdev->state_mutex 1
DATA_SOURCE 0 sdev $0
CONTAINER 0 -144-416-0+0 $(-1)
PARAM_COMPARE 0 sdev->request_queue->nr_hw_queues != $0->request_queue->tag_set->nr_hw_queues
NOSPEC 0 sdev->channel
NOSPEC 0 sdev->id
NOSPEC 0 sdev->lun
NOSPEC 0 sdev->max_queue_depth
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sdev->budget_map.depth 1-4095[c]
USER_DATA 0 sdev->channel 1-s32max[c]
USER_DATA 0 sdev->id 0-s32max[c]
USER_DATA 0 sdev->lun 0-18446744073709551614[c]
USER_DATA 0 sdev->max_queue_depth 1-4095[c]
USER_DATA 0 sdev->queue_depth 1-4095[c]
USER_DATA 0 sdev->request_queue->limits.atomic_write_max_sectors 0-8388607[c]
USER_DATA 0 sdev->request_queue->limits.discard_granularity 512-u32max[c]
USER_DATA 0 sdev->request_queue->limits.io_min 512-u32max[c]
USER_DATA 0 sdev->request_queue->limits.logical_block_size 512-65536[c]
USER_DATA 0 sdev->request_queue->limits.physical_block_size 512-u32max[c]
USER_DATA 0 sdev->request_queue->queue_depth 1-4095[c]
USER_DATA 0 sdev->sdev_target->channel 1-s32max[c]
USER_DATA 0 sdev->sdev_target->id 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 sdev->inquiry_len
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->async_depth
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->nr_requests
LOCK2 &shost->scan_mutex
TYPE_LOCK (struct Scsi_Host)->scan_mutex