Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/st.c switch_partition() -> set_location()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->can_partitions 1-255
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 3 logical 1
BUF_SIZE 0 STp s32min-(-2),1-s32max
BUF_SIZE 0 STp s32min-(-2),1-s32max
DATA_SOURCE 0 STp $0
PARAM_COMPARE 0 STp->new_partition != $0->partition
PARAM_COMPARE 2 partition != $0->partition
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &STp->lock