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 release_buffering() -> sgl_unmap_user_pages()

Type Parameter Key Value
PARAM_VALUE 0 STbp 4096-ptr_max
PARAM_VALUE 0 STbp->b_data 0,4096-ptr_max
PARAM_VALUE 0 STbp->buffer_bytes 0
PARAM_VALUE 0 STbp->cleared 1
PARAM_VALUE 0 STbp->cmdstat.deferred 0-1
PARAM_VALUE 0 STbp->cmdstat.fixed_format 0-1
PARAM_VALUE 0 STbp->cmdstat.flags 0-224
PARAM_VALUE 0 STbp->cmdstat.have_sense 0-1
PARAM_VALUE 0 STbp->cmdstat.remainder_valid 0-1
PARAM_VALUE 0 STbp->cmdstat.uremainder64 0-255
PARAM_VALUE 0 STbp->do_dio 1-u16max
PARAM_VALUE 0 STbp->mapped_pages 0,16,4096-ptr_max
PARAM_VALUE 0 STbp->reserved_page_order 0-s32max
PARAM_VALUE 0 STbp->syscall_result (-16),(-4),0
PARAM_VALUE 0 *STbp->reserved_pages 1-u64max
PARAM_VALUE 1 nr_pages 1-u16max
PARAM_VALUE 2 dirtied 1
DATA_SOURCE 2 dirtied $1
NOCHECK_CALL
USER_DATA 0 STbp->buffer_blocks (-1000000000)-1000000000[c]
USER_DATA 0 STbp->buffer_bytes 0[c]
USER_DATA 0 STbp->map_data.offset 0-4095[c]
LOCK2 &STp->lock
TYPE_LOCK (struct scsi_tape)->lock