Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/st.c check_tape() -> test_ready()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer 4096-ptr_max
PARAM_VALUE 0 STp->cleaning_req 0
PARAM_VALUE 0 STp->current_mode 0-3
PARAM_VALUE 0 STp->device->host 4096-ptr_max
PARAM_VALUE 0 STp->device->host->shost_state 0-4,8-u32max
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_state 0-3,5,8-u32max
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->ready 0
PARAM_VALUE 1 do_wait 0-1
BUF_SIZE 0 STp s32min-(-1),1-s32max
BUF_SIZE 0 STp s32min-(-1),1-s32max
CAPPED_DATA 0 STp->current_mode 1
DATA_SOURCE 0 STp $0
FUZZY_MAX 1 do_wait 1
HARD_MAX 1 do_wait 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 STp->write_prot 0-1
USER_DATA 1 do_wait 0-1
NO_OVERFLOW_SIMPLE 0 STp->buffer->buffer_size
HALF_LOCKED2 0 &STp->lock