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 |