Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi_transport_spi.c spi_dv_device() -> spi_dv_device_internal()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 sdev->sdev_dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 sdev->sdev_dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 sdev->sdev_gendev.bus 0,4096-ptr_max
PARAM_VALUE 0 sdev->sdev_gendev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 sdev->sdev_gendev.power.request 0-4
PARAM_VALUE 0 sdev->sdev_gendev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.type 0,4096-ptr_max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
PARAM_VALUE 0 sdev->sdev_target 4096-ptr_max
PARAM_VALUE 0 sdev->sdev_target->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 sdev->sdev_target->dev.class 0,4096-ptr_max
PARAM_VALUE 0 sdev->sdev_target->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 sdev->sdev_target->dev.parent 4096-ptr_max
PARAM_VALUE 1 buffer 4096-ptr_max
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 0 sdev->inquiry (-1),36-255
BUF_SIZE 1 buffer 8192
BUF_SIZE 1 buffer 8192
DATA_SOURCE 0 sdev $0
DATA_SOURCE 1 buffer r _kzalloc_noprof
FUZZY_MAX 0 sdev->sdev_state 8
NOSPEC 0 sdev->channel
NOSPEC 0 sdev->id
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->queue_depth 1-4095[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->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 &(&starget->starget_data)->dv_mutex
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &shost->scan_mutex
HALF_LOCKED2 0 &sdev->request_queue->limits_lock