Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/st.c st_flush_write_buffer() -> write_behind_check()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->pos_unknown 0
PARAM_VALUE 0 STp->ps 4096-ptr_max
BUF_SIZE 0 STp s32min-(-1),1-s32max
BUF_SIZE 0 STp s32min-(-1),1-s32max
DATA_SOURCE 0 STp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &STp->lock

drivers/scsi/st.c st_write() -> write_behind_check()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer->cmdstat.deferred 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.fixed_format 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.flags 0-224
PARAM_VALUE 0 STp->buffer->cmdstat.have_sense 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.remainder_valid 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.uremainder64 0-255
PARAM_VALUE 0 STp->buffer->map_data.offset 0
PARAM_VALUE 0 STp->device->changed 1
PARAM_VALUE 0 STp->device->host->shost_state 0-4,8-u32max
PARAM_VALUE 0 STp->device->lockable 0
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->lock.dep_map->name 0-255
PARAM_VALUE 0 STp->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 STp->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 STp->wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->prev 4096-ptr_max
BUF_SIZE 0 STp s32min-(-2),1-s32max
BUF_SIZE 0 STp s32min-(-2),1-s32max
CAPPED_DATA 0 &STp->lock 1
LOCK2 0 &STp->lock
TYPE_LOCK (struct scsi_tape)->lock