Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/btrfs/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
DATA_SOURCE 0 iocb $0
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0,2-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max

fs/nfs/direct.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos (-9223372036854775807)-9223372036854775805

fs/fuse/dax.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
DATA_SOURCE 0 iocb $0
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max
HALF_LOCKED2 &pool->lock

fs/nfs/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
BUF_SIZE 0 iocb (-1),48
BUF_SIZE 0 iocb (-1),48
DATA_SOURCE 0 iocb $0
BIT_INFO 0 iocb->ki_flags 0x0,0x7ffdfff7
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-(-2),0-s64max
HALF_LOCKED2 &pool->lock

mm/filemap.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
BUF_SIZE 0 iocb (-1),48
BUF_SIZE 0 iocb (-1),48
CAPPED_DATA 0 iocb->ki_filp->f_mapping 1
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max
HALF_LOCKED2 &pool->lock

fs/netfs/buffered_write.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
BUF_SIZE 0 iocb (-1),48
BUF_SIZE 0 iocb (-1),48
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-(-2),0-s64max
HALF_LOCKED2 &pool->lock

fs/ext2/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
DATA_SOURCE 0 iocb $0
BIT_INFO 0 iocb->ki_flags 0x0,0xfffdffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-(-2),0-s64max
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/direct-io.c __blockdev_direct_IO() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
CAPPED_DATA 0 iocb->ki_filp->f_mapping 1
DATA_SOURCE 0 iocb $0
BIT_INFO 0 iocb->ki_flags 0x20000,0xffffffffffffffff
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_filp->f_inode->i_blocks 0-18014398509481984[c]
USER_DATA 0 iocb->ki_filp->f_ra.prev_pos s64min-(-9223372036854743042),0-s64max[c]
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-(-2),0-s64max
NO_OVERFLOW_SIMPLE 0 iocb->ki_filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 iocb->ki_filp->f_path.moved->d_inode->i_size
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/direct-io.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/smb/client/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-(-2),0-s64max
HALF_LOCKED2 &pool->lock

fs/udf/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
BUF_SIZE 0 iocb (-1),48
BUF_SIZE 0 iocb (-1),48
CAPPED_DATA 0 iocb->ki_filp->f_mapping 1
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max
HALF_LOCKED2 &pool->lock

fs/exfat/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
BUF_SIZE 0 iocb (-1),48
BUF_SIZE 0 iocb (-1),48
DATA_SOURCE 0 iocb $0
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos (-9223372036854775807)-s64max
HALF_LOCKED2 &pool->lock

fs/f2fs/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
DATA_SOURCE 0 iocb $0

fs/ext4/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
CAPPED_DATA 0 iocb->ki_filp->f_inode 1
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-(-2),0-9223372036854775806
HALF_LOCKED2 &pool->lock

fs/ntfs/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
BUF_SIZE 0 iocb (-1),48
BUF_SIZE 0 iocb (-1),48
DATA_SOURCE 0 iocb $0
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
DATA_SOURCE 0 iocb $0
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max
HALF_LOCKED2 &pool->lock

fs/gfs2/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
BUF_SIZE 0 iocb (-1),48
BUF_SIZE 0 iocb (-1),48
CAPPED_DATA 0 iocb->ki_filp->f_inode 1
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

block/fops.c dio_bio_write_op() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
CAPPED_DATA 0 iocb->ki_filp->f_mapping 1
DATA_SOURCE 0 iocb $0
BIT_INFO 0 iocb->ki_flags 0x20000,0xffffffffffffffff
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-(-2),0-9223372036854775806
NO_OVERFLOW_SIMPLE 0 iocb->ki_filp->f_path.d_inode->i_size
HALF_LOCKED2 &pool->lock

block/fops.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
BUF_SIZE 0 iocb (-1),48
BUF_SIZE 0 iocb (-1),48
CAPPED_DATA 0 iocb->ki_filp->f_mapping 1
DATA_SOURCE 0 iocb $0
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max
HALF_LOCKED2 &pool->lock

fs/zonefs/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_flags s32min-(-1),8-s32max
DATA_SOURCE 0 iocb $0
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 8-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max
HALF_LOCKED2 &pool->lock

fs/ntfs3/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
PARAM_VALUE 0 iocb->ki_flags 0-2147352575
BUF_SIZE 0 iocb (-1),48
BUF_SIZE 0 iocb (-1),48
DATA_SOURCE 0 iocb $0
BIT_INFO 0 iocb->ki_flags 0x0,0x7ffdffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-2147352575[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max
HALF_LOCKED2 &pool->lock

fs/iomap/direct-io.c __iomap_dio_rw() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
DATA_SOURCE 0 iocb $0
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-(-2),0-s64max
NO_OVERFLOW_SIMPLE 0 iocb->ki_filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 iocb->ki_filp->f_path.moved->d_inode->i_size

fs/iomap/direct-io.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos (-9223372036854775807)-9223372036854775805

fs/ceph/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
BUF_SIZE 0 iocb (-1),48
BUF_SIZE 0 iocb (-1),48
DATA_SOURCE 0 iocb $0
NOSPEC 0 iocb->ki_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_filp->f_inode->i_blocks 0-18014398509481984[c]
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-(-2),0-9223372036854775806
HALF_LOCKED2 &pool->lock

fs/fuse/file.c fuse_write_flags() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-9223372036854775806
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/fuse/file.c generic_write_sync() -> iocb_is_dsync()

Type Parameter Key Value
PARAM_VALUE 0 iocb 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 iocb->ki_filp->f_mapping->host 4096-ptr_max
CAPPED_DATA 0 iocb->ki_filp->f_mapping 1
DATA_SOURCE 0 iocb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 iocb->ki_ioprio 0-u16max
USER_DATA 0 iocb->ki_pos s64min-s64max
HALF_LOCKED2 &pool->lock