Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/device_handler/scsi_dh_rdac.c initialize_controller() -> get_controller()

Type Parameter Key Value
PARAM_VALUE 0 index 0-1
PARAM_VALUE 1 array_name 5808599298535997440
PARAM_VALUE 2 array_id 7031332467062497280
PARAM_VALUE 3 sdev 4096-ptr_max
PARAM_VALUE 3 sdev->handler->activate 3600842718638694400,5243147847518916608,6496534065377783808,7898610171885281280
PARAM_VALUE 3 sdev->handler->attach 2746902616992653312,5132065149155708928,7564096471920857088,9118315553196937216
PARAM_VALUE 3 sdev->handler->check_sense 0,701326664625311744,716319328914759680,8493182162192814080
PARAM_VALUE 3 sdev->handler->detach 2239460665994428416,7541542956768612352,7758210456396615680,8395656600214880256
PARAM_VALUE 3 sdev->handler->module 0
PARAM_VALUE 3 sdev->handler->name 1287730336579219456,1722257511912083456,4936889561651781632,8213573606272856064
PARAM_VALUE 3 sdev->handler->prep_fn 2073699460252585984,2725122490299138048,6040602161116102656,8939971808867581952
PARAM_VALUE 3 sdev->handler->rescan 0,3606729598493151232
PARAM_VALUE 3 sdev->handler->set_params 0,3196262558016962560,4603352741667606528
PARAM_VALUE 3 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 3 sdev->request_queue->disk->bdi->io_pages 0-s64max
PARAM_VALUE 3 sdev->request_queue->disk->bdi->ra_pages 0-s64max
PARAM_VALUE 3 sdev->sdev_dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 3 sdev->sdev_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 3 sdev->sdev_dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 3 sdev->sdev_dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 3 sdev->sdev_dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 3 sdev->sdev_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 3 sdev->sdev_dev.p->dead 0-1
PARAM_VALUE 3 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 3 sdev->sdev_gendev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 3 sdev->sdev_gendev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 3 sdev->sdev_gendev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 3 sdev->sdev_gendev.p->dead 0-1
PARAM_VALUE 3 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 3 sdev->sdev_target->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 3 sdev->sdev_target->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 3 sdev->sdev_target->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 3 sdev->sdev_target->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 3 sdev->sdev_target->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 3 sdev->sdev_target->dev.power.wakeirq->status 0-4294967295
BUF_SIZE 1 array_name 31
BUF_SIZE 1 array_name 31
BUF_SIZE 2 array_id 16
BUF_SIZE 2 array_id 16
BUF_SIZE 3 sdev (-1),128,736,792,816,1000-s32max
BUF_SIZE 3 sdev (-1),128,736,792,816,1000-s32max
DATA_SOURCE 1 array_name $2
DATA_SOURCE 2 array_id $3
DATA_SOURCE 3 sdev $0
FUZZY_MAX 0 index 1
NOSPEC 3 sdev->sdev_target->channel
NOSPEC 3 sdev->sdev_target->id
HARD_MAX 0 index 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 sdev->request_queue->limits.alignment_offset 0-u32max[c][u]
USER_DATA 3 sdev->request_queue->limits.atomic_write_max_sectors 0-8388607[c]
USER_DATA 3 sdev->request_queue->limits.discard_granularity 512-u32max[c]
USER_DATA 3 sdev->request_queue->limits.io_min 512-u32max[c]
USER_DATA 3 sdev->request_queue->limits.logical_block_size 512-65536[c]
USER_DATA 3 sdev->request_queue->limits.max_hw_wzeroes_unmap_sectors 0-u32max[c]
USER_DATA 3 sdev->request_queue->limits.max_sectors 0-s32max[c]
USER_DATA 3 sdev->request_queue->limits.max_write_zeroes_sectors 0-u32max[c]
USER_DATA 3 sdev->request_queue->limits.max_wzeroes_unmap_sectors 0-s32max[c]
USER_DATA 3 sdev->request_queue->limits.max_zone_append_sectors 0-s32max[c]
USER_DATA 3 sdev->request_queue->limits.physical_block_size 512-u32max[c]
USER_DATA 3 sdev->sdev_target->channel 1-s32max[c]
USER_DATA 3 sdev->sdev_target->id 0-s32max[c]
NO_OVERFLOW_SIMPLE 3 sdev->request_queue->async_depth
NO_OVERFLOW_SIMPLE 3 sdev->request_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 3 sdev->request_queue->nr_requests
LOCK2 global &list_lock
HALF_LOCKED2 &shost->scan_mutex