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_internal() -> spi_dv_device_compare_inquiry()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host 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_gendev.bus 0,4096-ptr_max
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 1 buffer 4096-ptr_max
PARAM_VALUE 2 ptr 4096-ptr_max
PARAM_VALUE 3 retries 3
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
BUF_SIZE 2 ptr 8192
BUF_SIZE 2 ptr 8192
DATA_SOURCE 0 sdev $0
DATA_SOURCE 1 buffer $1
DATA_SOURCE 2 ptr $1
FUZZY_MAX 0 sdev->sdev_state 8
NOSPEC 0 sdev->channel
NOSPEC 0 sdev->id
NOSPEC 0 sdev->lun
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sdev->budget_map.depth 1-4095[c]
USER_DATA 0 sdev->channel 2-s32max[c]
USER_DATA 0 sdev->id 0-s32max[c]
USER_DATA 0 sdev->lun 0-201863462912[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

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

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_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 3 retries 3
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 1 buffer 8192
BUF_SIZE 1 buffer 8192
CAPPED_DATA 1 buffer 1
DATA_SOURCE 0 sdev $0
DATA_SOURCE 1 buffer $1
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
RX_PATH
TASK_NOT_RUNNING
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

drivers/scsi/scsi_transport_spi.c spi_dv_retrain() -> spi_dv_retrain param 3()

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_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 3 retries 3
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 1 buffer 8192
BUF_SIZE 1 buffer 8192
CAPPED_DATA 1 buffer 1
DATA_SOURCE 0 sdev $0
DATA_SOURCE 1 buffer $1
DATA_SOURCE 2 ptr $2
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
RX_PATH
TASK_NOT_RUNNING
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->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