Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi_debug.c check_device_access_params() -> check_zbc_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 2 num 0-s32max
CAPPED_DATA 2 num 1
DATA_SOURCE 0 scp $0
DATA_SOURCE 1 lba $1
DATA_SOURCE 2 num $2
DATA_SOURCE 3 write $3
HARD_MAX 0 scp->submitter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex