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 |