Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/st.c st_read() -> setup_buffering()

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->buffer->syscall_result (-16),(-5)-(-4),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
PARAM_VALUE 2 count 1-1000000000,2147479552
PARAM_VALUE 3 is_read 1
BUF_SIZE 0 STp s32min-(-2),1-s32max
BUF_SIZE 0 STp s32min-(-2),1-s32max
CAPPED_DATA 0 &STp->lock 1
CAPPED_DATA 1 buf 1
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
FUZZY_MAX 2 count 2147479552
USER_DATA 1 buf 0-u64max[c]
USER_DATA 2 count 1-1000000000[c]
LOCK2 0 &STp->lock
TYPE_LOCK (struct scsi_tape)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer 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->buffer->writing 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
PARAM_VALUE 2 count 1-1000000000,2147479552
PARAM_VALUE 3 is_read 0
BUF_SIZE 0 STp s32min-(-2),1-s32max
BUF_SIZE 0 STp s32min-(-2),1-s32max
CAPPED_DATA 0 &STp->lock 1
CAPPED_DATA 1 buf 1
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
FUZZY_MAX 2 count 2147479552
NOSPEC 2 count
USER_DATA 1 buf 0-u64max[c]
USER_DATA 2 count 1-1000000000[c]
LOCK2 0 &STp->lock
TYPE_LOCK (struct scsi_tape)->lock