Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/st.c st_do_scsi() -> st_scsi_execute()

Type Parameter Key Value
PARAM_VALUE 0 SRpnt 4096-ptr_max
PARAM_VALUE 0 SRpnt->stp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 SRpnt->waiting 4096-ptr_max
PARAM_VALUE 0 SRpnt->waiting->done 0
PARAM_VALUE 0 SRpnt->waiting->wait.lock.magic 3735899821
PARAM_VALUE 0 SRpnt->waiting->wait.lock.owner (-1)
PARAM_VALUE 0 SRpnt->waiting->wait.lock.owner_cpu u32max
PARAM_VALUE 0 SRpnt->waiting->wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 SRpnt->waiting->wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 2 data_direction 1-3
PARAM_VALUE 3 buffer 0
PARAM_VALUE 6 retries 0
BUF_SIZE 0 SRpnt (-1)-0,144
BUF_SIZE 0 SRpnt (-1)-0,144
BUF_SIZE 0 SRpnt->stp s32min-(-1),1-s32max
BUF_SIZE 0 SRpnt->waiting 96
BUF_SIZE 1 cmd 16
BUF_SIZE 1 cmd 16
DATA_SOURCE 0 SRpnt $0 [m]
DATA_SOURCE 1 cmd $2
DATA_SOURCE 2 data_direction $4
DATA_SOURCE 4 bufflen $3
DATA_SOURCE 5 timeout $5
DATA_SOURCE 6 retries $6
FUZZY_MAX 2 data_direction 3
HARD_MAX 2 data_direction 3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 SRpnt->stp->block_size 1-16777215[c]
USER_DATA 0 SRpnt->stp->c_algo 1-255[c]
USER_DATA 0 SRpnt->stp->changed_blksize s32min-s32max
USER_DATA 0 SRpnt->stp->changed_density 0-255
USER_DATA 0 SRpnt->stp->default_drvbuffer 0-6[c]
USER_DATA 0 SRpnt->stp->density 0-255
USER_DATA 0 SRpnt->stp->drv_buffer 0-7[c]
USER_DATA 0 SRpnt->stp->write_prot 0-1
USER_DATA 4 bufflen 0-u32max[c]
UNITS 4 bufflen unit_byte
HALF_LOCKED2 &STp->lock