Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/st.c enlarge_buffer() -> normalize_buffer()

Type Parameter Key Value
PARAM_VALUE 0 STbuffer 4096-ptr_max
PARAM_VALUE 0 STbuffer->buffer_size 0-4096
CAPPED_DATA 0 STbuffer->buffer_size 1
DATA_SOURCE 0 STbuffer $0
FUZZY_MAX 0 STbuffer->buffer_size 4096
NOSPEC 0 STbuffer->do_dio
HARD_MAX 0 STbuffer->buffer_size 4096
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 STbuffer->do_dio 0[c]
USER_DATA 0 STbuffer->map_data.offset 0-4095[c]
USER_DATA 0 STbuffer->sg_segs 0[c]
NO_OVERFLOW_SIMPLE 0 STbuffer->use_sg
HALF_LOCKED2 &STp->lock

drivers/scsi/st.c enlarge_buffer() -> normalize_buffer()

Type Parameter Key Value
PARAM_VALUE 0 STbuffer 4096-ptr_max
DATA_SOURCE 0 STbuffer $0
NOSPEC 0 STbuffer->do_dio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 STbuffer->do_dio 0[c]
USER_DATA 0 STbuffer->map_data.offset 0-4095[c]
USER_DATA 0 STbuffer->sg_segs 0[c]
NO_OVERFLOW_SIMPLE 0 STbuffer->use_sg
HALF_LOCKED2 &STp->lock

drivers/scsi/st.c enlarge_buffer() -> normalize_buffer()

Type Parameter Key Value
PARAM_VALUE 0 STbuffer 4096-ptr_max
PARAM_VALUE 0 STbuffer->buffer_size s32min-2147483646
CAPPED_DATA 0 STbuffer->buffer_size 1
DATA_SOURCE 0 STbuffer $0
NOSPEC 0 STbuffer->do_dio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 STbuffer->do_dio 0[c]
USER_DATA 0 STbuffer->map_data.offset 0-4095[c]
USER_DATA 0 STbuffer->sg_segs 0[c]
NO_OVERFLOW_SIMPLE 0 STbuffer->buffer_size
NO_OVERFLOW_SIMPLE 0 STbuffer->use_sg
HALF_LOCKED2 &STp->lock

drivers/scsi/st.c scsi_tape_release() -> normalize_buffer()

Type Parameter Key Value
PARAM_VALUE 0 STbuffer 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &st_ref_mutex
HALF_LOCKED2 &dev->mutex

drivers/scsi/st.c st_open() -> normalize_buffer()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 STbuffer->map_data.offset 0-4095[c]
NO_OVERFLOW_SIMPLE 0 STbuffer->buffer_size

drivers/scsi/st.c st_release() -> normalize_buffer()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL