Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/st.c partition_tape() -> format_medium()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer 4096-ptr_max
PARAM_VALUE 0 STp->buffer->syscall_result (-16),(-4),0
PARAM_VALUE 0 STp->device 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue 4096-ptr_max
PARAM_VALUE 0 STp->device->scsi_level 4-255
PARAM_VALUE 1 format 0
DATA_SOURCE 0 STp $0
FUZZY_MAX 0 STp->device->scsi_level 4

drivers/scsi/st.c partition_tape() -> format_medium()

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->syscall_result (-16),(-4),0
PARAM_VALUE 0 STp->device 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue 4096-ptr_max
PARAM_VALUE 0 STp->device->scsi_level 4-255
PARAM_VALUE 1 format 1
DATA_SOURCE 0 STp $0
FUZZY_MAX 0 STp->device->scsi_level 4