Documented in 1 files:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

fs/erofs/zdata.c z_erofs_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-4503612512272380[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
USER_DATA 0 rac->mapping->host->i_bytes 0-65023[c]
USER_DATA 0 rac->mapping->host->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/orangefs/inode.c orangefs_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-4503612512272380[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
USER_DATA 0 rac->mapping->host->i_bytes 0-65023[c]
USER_DATA 0 rac->mapping->host->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/mpage.c mpage_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &oi->ip_alloc_sem

fs/erofs/fileio.c erofs_fileio_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-4503612512272380[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
USER_DATA 0 rac->mapping->host->i_bytes 0-65023[c]
USER_DATA 0 rac->mapping->host->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

mm/readahead.c read_pages() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-u64max[c]
USER_DATA 0 rac->_nr_pages 0-u32max[c][u]
USER_DATA 0 rac->mapping->host->i_bytes 0-65023[c]
USER_DATA 0 rac->mapping->host->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

mm/readahead.c read_pages() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 0
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->mapping->host->i_bytes 0-65023[c]
USER_DATA 0 rac->mapping->host->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/f2fs/data.c f2fs_mpage_readpages() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $2
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-u64max[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/f2fs/data.c f2fs_read_data_large_folio() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $2
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-u64max[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/f2fs/data.c f2fs_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-4503612512272380[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
USER_DATA 0 rac->mapping->host->i_bytes 0-65023[c]
USER_DATA 0 rac->mapping->host->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/f2fs/data.c f2fs_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-4503612512272380[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
USER_DATA 0 rac->mapping->host->i_bytes 0-65023[c]
USER_DATA 0 rac->mapping->host->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/ext4/readpage.c ext4_mpage_readpages() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $2
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-u64max[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/ext4/readpage.c ext4_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-4503612512272380[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
USER_DATA 0 rac->mapping->host->i_bytes 0-65023[c]
USER_DATA 0 rac->mapping->host->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/nfs/read.c nfs_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-4503612512272380[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
USER_DATA 0 rac->mapping->host->i_bytes 0-65023[c]
USER_DATA 0 rac->mapping->host->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/iomap/buffered-io.c iomap_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock

fs/iomap/buffered-io.c iomap_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock

fs/erofs/data.c erofs_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
PARAM_VALUE 0 rac->_nr_pages 1-u32max
BUF_SIZE 0 rac->file s32min-(-1),1-s32max
BUF_SIZE 0 rac->ra (-1),32
DATA_SOURCE 0 rac $0
NOSPEC 0 rac->_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rac->_index 0-4503612512272380[c]
USER_DATA 0 rac->_nr_pages 1-u32max[c][u]
USER_DATA 0 rac->mapping->host->i_bytes 0-65023[c]
USER_DATA 0 rac->mapping->host->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 rac->mapping->host->i_size
HALF_LOCKED2 &mapping->invalidate_lock

fs/fuse/file.c fuse_handle_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
DATA_SOURCE 0 rac $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock

fs/fuse/file.c fuse_handle_readahead() -> readahead_count()

Type Parameter Key Value
PARAM_VALUE 0 rac 4096-ptr_max
DATA_SOURCE 0 rac $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock