Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi_debug.c resp_comp_write() -> check_device_access_params()

Type Parameter Key Value
PARAM_VALUE 0 scp 4096-ptr_max
PARAM_VALUE 0 scp->cmnd 4096-ptr_max
PARAM_VALUE 0 scp->device 4096-ptr_max
PARAM_VALUE 0 scp->flags 0-s32max
PARAM_VALUE 0 scp->resid_len 0
PARAM_VALUE 0 scp->submitter 0-1
PARAM_VALUE 0 *scp->cmnd 0-255
PARAM_VALUE 1 lba 0-255
PARAM_VALUE 2 num 1-255
PARAM_VALUE 3 write 0
DATA_SOURCE 0 scp $0
DATA_SOURCE 1 lba r get_unaligned_be64
HARD_MAX 0 scp->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c resp_get_lba_status() -> check_device_access_params()

Type Parameter Key Value
PARAM_VALUE 0 scp 4096-ptr_max
PARAM_VALUE 0 scp->cmnd 4096-ptr_max
PARAM_VALUE 0 scp->device 4096-ptr_max
PARAM_VALUE 0 scp->flags 0-s32max
PARAM_VALUE 0 scp->resid_len 0
PARAM_VALUE 0 scp->submitter 0-1
PARAM_VALUE 0 *scp->cmnd 0-255
PARAM_VALUE 1 lba 0-255
PARAM_VALUE 2 num 1
PARAM_VALUE 3 write 0
DATA_SOURCE 0 scp $0
DATA_SOURCE 1 lba r get_unaligned_be64
HARD_MAX 0 scp->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c resp_read_dt0() -> check_device_access_params()

Type Parameter Key Value
PARAM_VALUE 0 scp 4096-ptr_max
PARAM_VALUE 0 scp->cmnd 4096-ptr_max
PARAM_VALUE 0 scp->device 4096-ptr_max
PARAM_VALUE 0 scp->flags 0-s32max
PARAM_VALUE 0 scp->resid_len 0
PARAM_VALUE 0 scp->submitter 0-1
PARAM_VALUE 0 *scp->cmnd 0-255
PARAM_VALUE 1 lba 0-2097151
PARAM_VALUE 2 num 0-256
PARAM_VALUE 3 write 0
DATA_SOURCE 0 scp $0
FUZZY_MAX 2 num 256
BIT_INFO 1 lba 0x0,0xffffffff
HARD_MAX 0 scp->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c resp_unmap() -> check_device_access_params()

Type Parameter Key Value
PARAM_VALUE 0 scp 4096-ptr_max
PARAM_VALUE 0 scp->cmnd 4096-ptr_max
PARAM_VALUE 0 scp->device 4096-ptr_max
PARAM_VALUE 0 scp->flags 0-s32max
PARAM_VALUE 0 scp->resid_len 0
PARAM_VALUE 0 scp->sdb.length 0-255
PARAM_VALUE 0 scp->submitter 0-1
PARAM_VALUE 0 *scp->cmnd 0-255
PARAM_VALUE 3 write 1
DATA_SOURCE 0 scp $0
DATA_SOURCE 1 lba r get_unaligned_be64
DATA_SOURCE 2 num r get_unaligned_be32
HARD_MAX 0 scp->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c resp_verify() -> check_device_access_params()

Type Parameter Key Value
PARAM_VALUE 0 scp 4096-ptr_max
PARAM_VALUE 0 scp->cmnd 4096-ptr_max
PARAM_VALUE 0 scp->device 4096-ptr_max
PARAM_VALUE 0 scp->flags 0-s32max
PARAM_VALUE 0 scp->resid_len 0
PARAM_VALUE 0 scp->submitter 0-1
PARAM_VALUE 0 *scp->cmnd 0-255
PARAM_VALUE 1 lba 0-255
PARAM_VALUE 2 num 1-255
PARAM_VALUE 3 write 0
DATA_SOURCE 0 scp $0
FUZZY_MAX 2 num 1
HARD_MAX 0 scp->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 scp 4096-ptr_max
PARAM_VALUE 0 scp->cmnd 4096-ptr_max
PARAM_VALUE 0 scp->device 4096-ptr_max
PARAM_VALUE 0 scp->flags 0-s32max
PARAM_VALUE 0 scp->resid_len 0
PARAM_VALUE 0 scp->submitter 0-1
PARAM_VALUE 0 *scp->cmnd 0-255
PARAM_VALUE 1 lba 0-2097151
PARAM_VALUE 2 num 0-256
PARAM_VALUE 3 write 1
DATA_SOURCE 0 scp $0
FUZZY_MAX 2 num 256
BIT_INFO 1 lba 0x0,0xffffffff
HARD_MAX 0 scp->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c resp_write_same() -> check_device_access_params()

Type Parameter Key Value
PARAM_VALUE 0 scp 4096-ptr_max
PARAM_VALUE 0 scp->cmnd 4096-ptr_max
PARAM_VALUE 0 scp->device 4096-ptr_max
PARAM_VALUE 0 scp->device->hostdata 4096-ptr_max
PARAM_VALUE 0 scp->device->hostdata->sdbg_host 4096-ptr_max
PARAM_VALUE 0 scp->flags 0-s32max
PARAM_VALUE 0 scp->resid_len 0
PARAM_VALUE 0 scp->submitter 0-1
PARAM_VALUE 0 *scp->cmnd 0-255
PARAM_VALUE 1 lba 0-255
PARAM_VALUE 2 num 0-255
PARAM_VALUE 3 write 1
CAPPED_DATA 2 num 1
DATA_SOURCE 0 scp $0
DATA_SOURCE 1 lba $1
DATA_SOURCE 2 num $2
HARD_MAX 0 scp->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 scp 4096-ptr_max
PARAM_VALUE 0 scp->cmnd 4096-ptr_max
PARAM_VALUE 0 scp->device 4096-ptr_max
PARAM_VALUE 0 scp->flags 0-s32max
PARAM_VALUE 0 scp->resid_len 0
PARAM_VALUE 0 scp->submitter 0-1
PARAM_VALUE 0 *scp->cmnd 0-255
PARAM_VALUE 1 lba 0-255
PARAM_VALUE 2 num 1-255
PARAM_VALUE 3 write 1
CAPPED_DATA 1 lba 1
CAPPED_DATA 1 lba 1
CAPPED_DATA 2 num 1
DATA_SOURCE 0 scp $0
DATA_SOURCE 1 lba r get_unaligned_be64
DATA_SOURCE 2 num r get_unaligned_be32
HARD_MAX 0 scp->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex