Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/st.c read_tape() -> release_buffering()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer->b_data 0,4096-ptr_max
PARAM_VALUE 0 STp->buffer->buffer_bytes 0
PARAM_VALUE 0 STp->buffer->cleared 1
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->mapped_pages 0,16,4096-ptr_max
PARAM_VALUE 0 STp->buffer->reserved_page_order 0-s32max
PARAM_VALUE 0 STp->buffer->syscall_result (-16),(-4),0
PARAM_VALUE 0 STp->device 4096-ptr_max
PARAM_VALUE 0 STp->device->changed 1
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 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_state 0-3,5,8-u32max
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.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 0 *STp->buffer->reserved_pages 1-u64max
PARAM_VALUE 1 is_read 1
BUF_SIZE 0 STp s32min-(-2),1-s32max
BUF_SIZE 0 STp s32min-(-2),1-s32max
DATA_SOURCE 0 STp $0
NOCHECK_CALL
USER_DATA 0 STp->buffer->buffer_blocks (-1000000000)-1000000000[c]
USER_DATA 0 STp->buffer->buffer_bytes 0[c]
USER_DATA 0 STp->buffer->map_data.offset 0-4095[c]
LOCK2 0 &STp->lock
TYPE_LOCK (struct scsi_tape)->lock