Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/netfs/read_pgpriv2.c netfs_pgpriv2_copy_folio() -> rolling_buffer_advance()

Type Parameter Key Value
PARAM_VALUE 0 roll 4096-ptr_max
PARAM_VALUE 0 roll->iter.iov_offset 0
PARAM_VALUE 0 roll->iter.nr_segs 0-255
PARAM_VALUE 0 roll->iter.xarray_start 0-255
DATA_SOURCE 1 amount r folio_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 amount unit_byte
HALF_LOCKED2 &pool->lock

fs/netfs/buffered_read.c netfs_prepare_read_iterator() -> rolling_buffer_advance()

Type Parameter Key Value
PARAM_VALUE 0 roll 4096-ptr_max
NOSPEC 0 roll->iter.count
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 roll->iter.count 1-1000000000
USER_DATA 0 roll->iter.iov_offset 0-u64max[c]
USER_DATA 1 amount 0-18446744073709551614
UNITS 1 amount unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/netfs/write_issue.c netfs_write_folio() -> rolling_buffer_advance()

Type Parameter Key Value
PARAM_VALUE 0 roll 4096-ptr_max
PARAM_VALUE 0 roll->iter.nr_segs 0-255
PARAM_VALUE 0 roll->iter.xarray_start 0-255
PARAM_VALUE 1 amount 1-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 amount unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/netfs/write_issue.c netfs_write_folio() -> rolling_buffer_advance()

Type Parameter Key Value
PARAM_VALUE 0 roll 4096-ptr_max
PARAM_VALUE 0 roll->iter.nr_segs 0-255
PARAM_VALUE 0 roll->iter.xarray_start 0-255
PARAM_VALUE 1 amount 1-9223372036854775807
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 amount unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/netfs/write_issue.c netfs_write_folio_single() -> rolling_buffer_advance()

Type Parameter Key Value
PARAM_VALUE 0 roll 4096-ptr_max
PARAM_VALUE 0 roll->iter.nr_segs 0-255
PARAM_VALUE 0 roll->iter.xarray_start 0-255
PARAM_VALUE 1 amount 1-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 amount unit_byte
HALF_LOCKED2 &dvnode->validate_lock
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &vnode->validate_lock
TYPE_LOCK (struct afs_vnode)->validate_lock

fs/netfs/write_issue.c netfs_write_folio_single() -> rolling_buffer_advance()

Type Parameter Key Value
PARAM_VALUE 0 roll 4096-ptr_max
PARAM_VALUE 0 roll->iter.iov_offset 0
PARAM_VALUE 0 roll->iter.nr_segs 0-255
PARAM_VALUE 0 roll->iter.xarray_start 0-255
PARAM_VALUE 1 amount 1-9223372036854775807
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 amount unit_byte
HALF_LOCKED2 &dvnode->validate_lock
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &vnode->validate_lock
TYPE_LOCK (struct afs_vnode)->validate_lock