Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi.c scsi_cdl_check() -> scsi_cdl_check_cmd()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->scsi_level 8-255
PARAM_VALUE 0 sdev->sdev_dev.dma_io_tlb_mem->debugfs 0-s64max
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 1 opcode 136
PARAM_VALUE 2 sa 0
PARAM_VALUE 3 buf 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 3 buf 64
BUF_SIZE 3 buf 64
DATA_SOURCE 0 sdev $0
DATA_SOURCE 3 buf r _kmalloc_noprof
FUZZY_MAX 0 sdev->scsi_level 8
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->request_queue->disk->bdi->io_pages 0-268435455[c]
USER_DATA 0 sdev->request_queue->disk->bdi->ra_pages 33-536870911[c]
USER_DATA 0 sdev->request_queue->limits.alignment_offset 0-u32max[c][u]
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.max_hw_wzeroes_unmap_sectors 0-u32max[c]
USER_DATA 0 sdev->request_queue->limits.max_sectors 0-s32max[c]
USER_DATA 0 sdev->request_queue->limits.max_write_zeroes_sectors 0-u32max[c]
USER_DATA 0 sdev->request_queue->limits.max_wzeroes_unmap_sectors 0-s32max[c]
USER_DATA 0 sdev->request_queue->limits.max_zone_append_sectors 0-s32max[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->budget_map.depth
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->async_depth
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->nr_requests
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &shost->scan_mutex

drivers/scsi/scsi.c scsi_cdl_check() -> scsi_cdl_check_cmd()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.dma_io_tlb_mem->debugfs 0-s64max
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 1 opcode 138
PARAM_VALUE 2 sa 0
PARAM_VALUE 3 buf 4096-ptr_max
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 3 buf 64
BUF_SIZE 3 buf 64
DATA_SOURCE 0 sdev $0
DATA_SOURCE 3 buf r _kmalloc_noprof
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sdev->request_queue->disk->bdi->io_pages 0-268435455[c]
USER_DATA 0 sdev->request_queue->disk->bdi->ra_pages 33-536870911[c]
USER_DATA 0 sdev->request_queue->limits.alignment_offset 0-u32max[c][u]
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.max_hw_wzeroes_unmap_sectors 0-u32max[c]
USER_DATA 0 sdev->request_queue->limits.max_sectors 0-s32max[c]
USER_DATA 0 sdev->request_queue->limits.max_write_zeroes_sectors 0-u32max[c]
USER_DATA 0 sdev->request_queue->limits.max_wzeroes_unmap_sectors 0-s32max[c]
USER_DATA 0 sdev->request_queue->limits.max_zone_append_sectors 0-s32max[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->budget_map.depth
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->async_depth
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->nr_requests
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &shost->scan_mutex

drivers/scsi/scsi.c scsi_cdl_check() -> scsi_cdl_check_cmd()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.dma_io_tlb_mem->debugfs 0-s64max
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 1 opcode 127
PARAM_VALUE 2 sa 9
PARAM_VALUE 3 buf 4096-ptr_max
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 3 buf 64
BUF_SIZE 3 buf 64
DATA_SOURCE 0 sdev $0
DATA_SOURCE 3 buf r _kmalloc_noprof
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sdev->request_queue->disk->bdi->io_pages 0-268435455[c]
USER_DATA 0 sdev->request_queue->disk->bdi->ra_pages 33-536870911[c]
USER_DATA 0 sdev->request_queue->limits.alignment_offset 0-u32max[c][u]
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.max_hw_wzeroes_unmap_sectors 0-u32max[c]
USER_DATA 0 sdev->request_queue->limits.max_sectors 0-s32max[c]
USER_DATA 0 sdev->request_queue->limits.max_write_zeroes_sectors 0-u32max[c]
USER_DATA 0 sdev->request_queue->limits.max_wzeroes_unmap_sectors 0-s32max[c]
USER_DATA 0 sdev->request_queue->limits.max_zone_append_sectors 0-s32max[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->budget_map.depth
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->async_depth
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->nr_requests
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &shost->scan_mutex

drivers/scsi/scsi.c scsi_cdl_check() -> scsi_cdl_check_cmd()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.dma_io_tlb_mem->debugfs 0-s64max
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 1 opcode 127
PARAM_VALUE 2 sa 11
PARAM_VALUE 3 buf 4096-ptr_max
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 0 sdev (-1),4232-s32max
BUF_SIZE 3 buf 64
BUF_SIZE 3 buf 64
DATA_SOURCE 0 sdev $0
DATA_SOURCE 3 buf r _kmalloc_noprof
NOSPEC 0 sdev->sdev_target->channel
NOSPEC 0 sdev->sdev_target->id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sdev->request_queue->disk->bdi->io_pages 0-268435455[c]
USER_DATA 0 sdev->request_queue->disk->bdi->ra_pages 33-536870911[c]
USER_DATA 0 sdev->request_queue->limits.alignment_offset 0-u32max[c][u]
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.max_hw_wzeroes_unmap_sectors 0-u32max[c]
USER_DATA 0 sdev->request_queue->limits.max_sectors 0-s32max[c]
USER_DATA 0 sdev->request_queue->limits.max_write_zeroes_sectors 0-u32max[c]
USER_DATA 0 sdev->request_queue->limits.max_wzeroes_unmap_sectors 0-s32max[c]
USER_DATA 0 sdev->request_queue->limits.max_zone_append_sectors 0-s32max[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->budget_map.depth
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->async_depth
NO_OVERFLOW_SIMPLE 0 sdev->request_queue->nr_requests
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &shost->scan_mutex