Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

fs/exfat/inode.c exfat_map_cluster() -> inode_needs_sync()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_ino
NO_OVERFLOW_SIMPLE 0 inode->i_size
LOCK2 &sbi->s_lock
TYPE_LOCK (struct exfat_sb_info)->s_lock

fs/ext2/inode.c ext2_evict_inode() -> inode_needs_sync()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
CAPPED_DATA 0 inode 1
CAPPED_DATA 0 inode->i_data.i_pages.xa_head 1
CAPPED_DATA 0 &inode->i_data 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes

fs/ext2/inode.c ext2_setsize() -> inode_needs_sync()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
CAPPED_DATA 0 inode->i_mapping 1
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode $0
PARAM_COMPARE 0 inode->i_sb->s_time_max >= $0->i_sb->s_time_min
BIT_INFO 0 inode->i_flags 0x0,0xfffffff3
NOSPEC 0 inode->i_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_blocks 0-18014398515341359,18428729675200069633-u64max
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_sb->s_flags 0-2147552257[c]
USER_DATA 0 inode->i_size (-9223372036854775807)-s64max
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/fat/fatent.c fat_alloc_clusters() -> inode_needs_sync()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
HALF_LOCKED2 0 &inode->i_rwsem

fs/fat/inode.c fat_free_eofblocks() -> inode_needs_sync()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_bytes

fs/ext4/ext4_jbd2.c __ext4_handle_dirty_metadata() -> inode_needs_sync()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode->i_fop (-1),272
BUF_SIZE 0 inode->i_mapping->a_ops (-1),152
BUF_SIZE 0 inode->i_op (-1),256
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $3
NOSPEC 0 inode->i_bytes
NOSPEC 0 inode->i_ino
NOSPEC 0 inode->i_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398515341359,18428729675200069633-u64max
USER_DATA 0 inode->i_bytes 0-65023[c]
USER_DATA 0 inode->i_ino 2-u32max[c]
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-s64max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_linklen

fs/exfat/file.c __exfat_truncate() -> inode_needs_sync()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
DATA_SOURCE 0 inode $0
NOSPEC 0 inode->i_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_blocks 0-18014398509481983[c]
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-2),0-s64max
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
HALF_LOCKED2 &sbi->s_lock
HALF_LOCKED2 0 &inode->i_rwsem

fs/exfat/file.c exfat_cont_expand() -> inode_needs_sync()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
CAPPED_DATA 0 inode->i_mapping 1
CAPPED_DATA 0 inode->i_mapping->i_pages.xa_head 1
CAPPED_DATA 0 inode->i_size 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-9223372036854775806[c]
HALF_LOCKED2 0 &inode->i_rwsem

fs/ufs/inode.c ufs_evict_inode() -> inode_needs_sync()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
CAPPED_DATA 0 inode 1
CAPPED_DATA 0 inode->i_data.i_pages.xa_head 1
CAPPED_DATA 0 &inode->i_data 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes

fs/fat/misc.c fat_chain_add() -> inode_needs_sync()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
CAPPED_DATA 0 inode->i_sb->s_fs_info->free_clusters 1
CAPPED_DATA 0 inode->i_sb->s_fs_info->max_cluster 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_sb->s_flags 0-2147550209[c]
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
HALF_LOCKED2 0 &inode->i_rwsem