Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi_debug.c resp_write_dt0() -> prot_verify_write()

Type Parameter Key Value
PARAM_VALUE 0 SCpnt 4096-ptr_max
PARAM_VALUE 0 SCpnt->cmnd 4096-ptr_max
PARAM_VALUE 0 SCpnt->device 4096-ptr_max
PARAM_VALUE 0 SCpnt->device->hostdata->nr_zones 0-4294967295
PARAM_VALUE 0 SCpnt->flags 0-s32max
PARAM_VALUE 0 SCpnt->prot_sdb 4096-ptr_max
PARAM_VALUE 0 SCpnt->resid_len 0
PARAM_VALUE 0 SCpnt->submitter 0-1
PARAM_VALUE 0 *SCpnt->cmnd 0-255
PARAM_VALUE 1 start_sec 0-2097151
PARAM_VALUE 2 sectors 0-256
PARAM_VALUE 3 ei_lba 0-255
CAPPED_DATA 2 sectors 1
DATA_SOURCE 0 SCpnt $0
FUZZY_MAX 2 sectors 256
FUZZY_MAX 3 ei_lba 0
BIT_INFO 1 start_sec 0x0,0xffffffff
HARD_MAX 0 SCpnt->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c resp_write_scat() -> prot_verify_write()

Type Parameter Key Value
PARAM_VALUE 0 SCpnt 4096-ptr_max
PARAM_VALUE 0 SCpnt->cmnd 4096-ptr_max
PARAM_VALUE 0 SCpnt->device 4096-ptr_max
PARAM_VALUE 0 SCpnt->device->hostdata->nr_zones 0-4294967295
PARAM_VALUE 0 SCpnt->flags 0-s32max
PARAM_VALUE 0 SCpnt->prot_sdb 4096-ptr_max
PARAM_VALUE 0 SCpnt->resid_len 0
PARAM_VALUE 0 SCpnt->submitter 0-1
PARAM_VALUE 0 *SCpnt->cmnd 0-255
PARAM_VALUE 1 start_sec 0-255
PARAM_VALUE 2 sectors 1-255
PARAM_VALUE 3 ei_lba 0-255
CAPPED_DATA 1 start_sec 1
CAPPED_DATA 1 start_sec 1
CAPPED_DATA 2 sectors 1
DATA_SOURCE 0 SCpnt $0
DATA_SOURCE 1 start_sec r get_unaligned_be64
DATA_SOURCE 2 sectors r get_unaligned_be32
FUZZY_MAX 3 ei_lba 0
HARD_MAX 0 SCpnt->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex