Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

kernel/trace/trace_events_user.c user_events_write_core() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->__iov 4096-u64max
DATA_SOURCE 0 i $1
NOSPEC 0 i->count
NOSPEC 1 size
NOSPEC 1 size
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->count 0-18446744073709551614
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-18446744073709551614
UNITS 1 size unit_byte

fs/btrfs/file.c copy_one_range() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 0-1000000000
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size r calc_write_bytes
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-1000000000[c]
HALF_LOCKED2 &pool->lock

fs/ntfs/compress.c ntfs_compress_write() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 0-9223372036854775807
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $3
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-s32max[c]
UNITS 1 size unit_byte
LOCK2 &vi->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

mm/filemap.c generic_perform_write() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
NOSPEC 0 i->count
NOSPEC 0 i->iov_offset
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->count 1-s32max[c]
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-s32max[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/netfs/buffered_write.c netfs_perform_write() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 0-1000000000
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-1000000000[c]
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &cinode->lock_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/btrfs/direct-io.c btrfs_direct_write() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 0-1000000000
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size r iov_iter_count
PARAM_COMPARE 0 i->count == $1
PARAM_COMPARE 1 size == $0->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-1000000000
HALF_LOCKED2 &pool->lock

fs/iomap/buffered-io.c iomap_write_iter() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
NOSPEC 0 i->count
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->count 0-18446744073709551614
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-s32max[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &vi->i_rwsem

fs/f2fs/file.c f2fs_preallocate_blocks() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 0-1000000000
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size r iov_iter_count
PARAM_COMPARE 1 size == $0->count
PARAM_COMPARE 1 size == $0->count
USER_DATA 1 size 0-1000000000

fs/gfs2/file.c gfs2_file_buffered_write() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 0-1
PARAM_VALUE 1 size 1-4096,28673-1048576
DATA_SOURCE 0 i $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-4096,28673-1048576[c]
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/gfs2/file.c gfs2_file_direct_write() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 0-1
PARAM_VALUE 1 size 1-4096,28673-1048576
DATA_SOURCE 0 i $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-4096,28673-1048576[c]
UNITS 1 size unit_byte
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/ntfs3/file.c ntfs_compress_write() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 0-u32max
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
PARAM_COMPARE 1 size <= $0->count
PARAM_COMPARE 1 size <= $0->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-s32max[c]
UNITS 1 size unit_byte
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/fuse/file.c fuse_fill_write_pages() -> fault_in_iov_iter_readable()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-1000000000[c]
UNITS 1 size unit_byte
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem