Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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->phys_limit 0-s64max
PARAM_VALUE 0 sdev->sdev_gendev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 2 op 34
PARAM_VALUE 4 bufflen 0-255
PARAM_VALUE 5 sshdr 0
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 0 sdev->inquiry (-1),36-255
BUF_SIZE 1 cmd 6
BUF_SIZE 3 buffer (-1),8192
CAPPED_DATA 4 bufflen 1
DATA_SOURCE 0 sdev $0
DATA_SOURCE 3 buffer $2
NOSPEC 0 sdev->channel
NOSPEC 0 sdev->id
NOSPEC 0 sdev->lun
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
TERMINATED 1 cmd 1
RX_PATH
TASK_NOT_RUNNING
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-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_echo_buffer() -> spi_execute()

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->phys_limit 0-s64max
PARAM_VALUE 0 sdev->sdev_gendev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 2 op 35
PARAM_VALUE 3 buffer 4096-ptr_max
PARAM_VALUE 5 sshdr 4940051397342302208
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 0 sdev->inquiry (-1),36-255
BUF_SIZE 1 cmd 10
BUF_SIZE 3 buffer 8192
CAPPED_DATA 4 bufflen 1
DATA_SOURCE 0 sdev $0
DATA_SOURCE 3 buffer $1
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
TERMINATED 1 cmd 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sdev->budget_map.depth 1-4095[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_requests
LOCK2 &(&starget->starget_data)->dv_mutex
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &shost->scan_mutex
HALF_LOCKED2 0 &sdev->request_queue->limits_lock

drivers/scsi/scsi_transport_spi.c spi_dv_device_echo_buffer() -> spi_execute()

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->phys_limit 0-s64max
PARAM_VALUE 0 sdev->sdev_gendev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-3,5,8-u32max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 2 op 34
PARAM_VALUE 5 sshdr 0
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 1 cmd 10
CAPPED_DATA 4 bufflen 1
DATA_SOURCE 0 sdev $0
DATA_SOURCE 3 buffer $2
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
TERMINATED 1 cmd 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_requests
LOCK2 &(&starget->starget_data)->dv_mutex
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &shost->scan_mutex
HALF_LOCKED2 0 &sdev->request_queue->limits_lock

drivers/scsi/scsi_transport_spi.c spi_dv_device_get_echo_buffer() -> spi_execute()

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 cmd 4096-ptr_max
PARAM_VALUE 2 op 34
PARAM_VALUE 3 buffer 0
PARAM_VALUE 4 bufflen 0
PARAM_VALUE 5 sshdr 0
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 1 cmd 6
DATA_SOURCE 0 sdev $0
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
TERMINATED 1 cmd 1
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

drivers/scsi/scsi_transport_spi.c spi_dv_device_get_echo_buffer() -> spi_execute()

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 cmd 4096-ptr_max
PARAM_VALUE 2 op 34
PARAM_VALUE 3 buffer 4096-ptr_max
PARAM_VALUE 4 bufflen 4
PARAM_VALUE 5 sshdr 0
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 0 sdev (-1),4232,4280,4384
BUF_SIZE 1 cmd 10
BUF_SIZE 3 buffer 8192
DATA_SOURCE 0 sdev $0
DATA_SOURCE 3 buffer $1
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
TERMINATED 1 cmd 1
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