Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/coda/file.c coda_file_write_iter() -> vfs_iter_write()

Type Parameter Key Value
PARAM_VALUE 1 iter 4096-ptr_max
PARAM_VALUE 2 ppos 4096-ptr_max
PARAM_VALUE 3 flags 0
DATA_SOURCE 1 iter $1
NOSPEC 1 iter->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 iter->count 0-18446744073709551614
USER_DATA 1 iter->iov_offset 0-u64max[c]
USER_DATA 2 *ppos s64min-(-2),0-s64max
USER_PTR 2 ppos
LOCK2 &coda_inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

drivers/target/target_core_file.c fd_do_rw() -> vfs_iter_write()

Type Parameter Key Value
PARAM_VALUE 1 iter 5343612192924618752
PARAM_VALUE 2 ppos 3248552244666249216
PARAM_VALUE 3 flags 0
DATA_SOURCE 0 file $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->caw_sem
HALF_LOCKED2 &pool->lock

drivers/target/target_core_file.c fd_execute_write_same() -> vfs_iter_write()

Type Parameter Key Value
PARAM_VALUE 1 iter 571171542147727360
PARAM_VALUE 2 ppos 2542067000751013888
PARAM_VALUE 3 flags 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/backing-file.c do_backing_file_write_iter() -> vfs_iter_write()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 iter 4096-ptr_max
PARAM_VALUE 2 ppos 4096-ptr_max
PARAM_VALUE 3 flags 0-31
BUF_SIZE 0 file s32min,(-1),1-s32max
BUF_SIZE 0 file s32min,(-1),1-s32max
DATA_SOURCE 0 file $0
DATA_SOURCE 1 iter $1
DATA_SOURCE 3 flags r iocb_to_rw_flags
BIT_INFO 0 file->f_mode 0x1000000,0xffffffff
NOSPEC 1 iter->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 iter->count 0-18446744073709551614
USER_DATA 1 iter->iov_offset 0-u64max[c]
USER_DATA 2 *ppos s64min-(-2),0-s64max
USER_DATA 3 flags 0-31[c]
USER_PTR 2 ppos
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem