Documented in 1 files:
Defined in 1 files as a function:
Referenced in 29 files:
- fs/affs/amigaffs.c
- fs/btrfs/file.c
- fs/btrfs/inode.c
- fs/btrfs/ioctl.c, line 427
- fs/btrfs/reflink.c, line 32
- fs/btrfs/xattr.c
- fs/exfat/inode.c, line 387
- fs/exfat/namei.c
- fs/exfat/super.c, line 381
- fs/ext2/dir.c, line 90
- fs/ext2/super.c, line 1576
- fs/ext4/inline.c, line 1015
- fs/ext4/inode.c, line 6230
- fs/ext4/ioctl.c
- fs/ext4/namei.c
- fs/ext4/xattr.c, line 2482
- fs/fat/dir.c, line 1096
- fs/fat/inode.c
- fs/fat/namei_msdos.c
- fs/fat/namei_vfat.c
- fs/ntfs/namei.c
- fs/ocfs2/dir.c
- fs/ocfs2/namei.c, line 1534
- fs/ocfs2/quota_global.c, line 293
- fs/posix_acl.c, line 1036
- fs/udf/directory.c, line 438
- fs/ufs/dir.c, line 51
- fs/ufs/inode.c, line 684
- mm/shmem.c
Smatch caller information:
fs/ufs/dir.c ufs_commit_chunk() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/btrfs/xattr.c btrfs_setxattr_trans() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/btrfs/xattr.c btrfs_xattr_handler_set_prop() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &unused->d_inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/btrfs/file.c btrfs_punch_hole() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_flags | 0,4096-u32max |
| CAPPED_DATA | 0 | inode->i_mapping | 1 |
| CAPPED_DATA | 0 | inode->i_mapping->i_pages.xa_head | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/file.c btrfs_punch_hole() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_flags | 0,4096-u32max |
| CAPPED_DATA | 0 | inode->i_mapping | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/file.c btrfs_write_check() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_flags | 0,4096-u32max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffff7f |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/btrfs/inode.c __btrfs_prealloc_file_range() -> inode_inc_iversion()
| 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 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_size | 2-s32max[c] |
fs/btrfs/inode.c __btrfs_unlink_inode() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &target->i_rwsem |
fs/btrfs/inode.c __btrfs_unlink_inode() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &target->i_rwsem |
fs/btrfs/inode.c btrfs_add_link() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes |
fs/btrfs/inode.c btrfs_link() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/btrfs/inode.c btrfs_setattr() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/inode.c btrfs_setsize() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/inode.c btrfs_unlink_subvol() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dentry->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &fs_info->subvol_sem |
fs/ocfs2/quota_global.c ocfs2_quota_write() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dqopt->dqio_sem | ||
| HALF_LOCKED2 | &dquot->dq_lock |
fs/ext2/dir.c ext2_commit_chunk() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/exfat/inode.c exfat_fill_inode() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_bytes | 0 |
| PARAM_VALUE | 0 | inode->i_version.counter | 2 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
mm/shmem.c shmem_fileattr_set() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
mm/shmem.c shmem_link() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_user_ns->gid_map.nr_extents | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_user_ns->uid_map.nr_extents | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775787)-16 |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
mm/shmem.c shmem_mknod() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775787)-16 |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
mm/shmem.c shmem_rename2() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4) |
| HALF_LOCKED2 | &new_dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
mm/shmem.c shmem_rename2() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &new_dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
mm/shmem.c shmem_setattr() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |
mm/shmem.c shmem_symlink() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_user_ns->gid_map.nr_extents | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_user_ns->uid_map.nr_extents | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775787)-16 |
mm/shmem.c shmem_truncate_range() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_private | (-1),40 |
| 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 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| HALF_LOCKED2 | &encl->lock | ||
| HALF_LOCKED2 | obj->base.resv | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
mm/shmem.c shmem_unlink() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
mm/shmem.c shmem_xattr_handler_set() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $3 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &unused->d_inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ocfs2/dir.c __ocfs2_add_entry() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &orphan_dir_inode->i_rwsem |
fs/ocfs2/dir.c __ocfs2_delete_entry() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0,4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| DATA_SOURCE | 0 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/xattr.c ext4_xattr_set_handle() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_link | (-1),1-255 |
| BUF_SIZE | 0 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/exfat/super.c exfat_read_root() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_bytes | 0 |
| PARAM_VALUE | 0 | inode->i_version.counter | 2 |
| BUF_SIZE | 0 | inode->i_sb | (-1),2880 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/ext4/inline.c ext4_add_dirent_to_inline() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $2 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
fs/posix_acl.c simple_set_acl() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| BIT_INFO | 0 | inode->i_sb->s_flags | 0x800000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/exfat/namei.c exfat_create() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_fs_info->num_clusters | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/exfat/namei.c exfat_create() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| DATA_SOURCE | 0 | inode | r exfat_build_inode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &dir->i_rwsem |
fs/exfat/namei.c exfat_mkdir() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1),1160 |
| BUF_SIZE | 0 | inode | (-1),1160 |
| CAPPED_DATA | 0 | inode->i_sb->s_fs_info->num_clusters | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_user_ns->gid_map.nr_extents | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_user_ns->uid_map.nr_extents | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/exfat/namei.c exfat_mkdir() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| DATA_SOURCE | 0 | inode | r exfat_build_inode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/exfat/namei.c exfat_rename() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_rename() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_rmdir() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dentry->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &dir->d_inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/exfat/namei.c exfat_unlink() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &target->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dentry->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &dir->d_inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/udf/directory.c udf_fiiter_write_fi() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/fat/dir.c fat_remove_entries() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext2/super.c ext2_quota_write() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dqopt->dqio_sem | ||
| HALF_LOCKED2 | &dquot->dq_lock |
fs/affs/amigaffs.c affs_insert_hash() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 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 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/affs/amigaffs.c affs_remove_hash() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 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 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &target->i_rwsem |
fs/fat/inode.c fat_fill_inode() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_bytes | 0 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/fat/inode.c fat_read_root() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_bytes | 0 |
| PARAM_VALUE | 0 | inode->i_version.counter | 2 |
| BUF_SIZE | 0 | inode->i_sb | (-1),2880 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/btrfs/ioctl.c btrfs_fileattr_set() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/fat/namei_vfat.c vfat_create() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/fat/namei_vfat.c vfat_create() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| DATA_SOURCE | 0 | inode | r fat_build_inode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &dir->i_rwsem |
fs/fat/namei_vfat.c vfat_mkdir() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1),1160 |
| BUF_SIZE | 0 | inode | (-1),1160 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_user_ns->gid_map.nr_extents | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_user_ns->uid_map.nr_extents | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/fat/namei_vfat.c vfat_mkdir() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| DATA_SOURCE | 0 | inode | r fat_build_inode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/fat/namei_vfat.c vfat_rename() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/fat/namei_vfat.c vfat_update_dir_metadata() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/fat/namei_msdos.c do_msdos_rename() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/fat/namei_msdos.c do_msdos_rename() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/fat/namei_msdos.c do_msdos_rename() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/ufs/inode.c ufs_iget() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_sb | (-1),2880 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | inode | r iget_locked |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_ino | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_ino | 2-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/ext4/ioctl.c __ext4_ioctl() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/ioctl.c ext4_ioctl_setflags() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_ino | 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 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/ioctl.c ext4_ioctl_setproject() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 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 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/ioctl.c swap_inode_boot_loader() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_data.i_pages.xa_head | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $2 |
| CAPABLE | 0 | 21 | |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffbef3 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &inode->i_mapping->invalidate_lock | |
| TYPE_LOCK | (struct address_space)->invalidate_lock |
fs/ntfs/namei.c __ntfs_create() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_bytes | 0 |
| DATA_SOURCE | 0 | inode | r new_inode |
| BIT_INFO | 0 | inode->i_flags | 0x0,0x1000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/ntfs/namei.c ntfs_link() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_user_ns->gid_map.nr_extents | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_user_ns->uid_map.nr_extents | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| LOCK2 | &dir_ni->mrec_lock | ||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &ni->mrec_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem | ||
| TYPE_LOCK | (struct ntfs_inode)->mrec_lock |
fs/ntfs/namei.c ntfs_link() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dir_ni->mrec_lock | ||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &ni->mrec_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem | ||
| TYPE_LOCK | (struct ntfs_inode)->mrec_lock |
fs/ntfs/namei.c ntfs_rename() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &old_dir_ni->mrec_lock | ||
| LOCK2 | &old_ni->mrec_lock | ||
| HALF_LOCKED2 | &new_dir_ni->mrec_lock | ||
| HALF_LOCKED2 | &new_ni->mrec_lock | ||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| TYPE_LOCK | (struct ntfs_inode)->mrec_lock |
fs/btrfs/reflink.c clone_finish_inode_update() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | 1160 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| HALF_LOCKED2 | &src_inode->vfs_inode.i_rwsem |
fs/ext4/namei.c add_dirent_to_buf() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $2 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
fs/ext4/namei.c ext4_generic_delete_entry() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/namei.c ext4_rmdir() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_sb->s_fs_info->s_first_error_block | s64min-s64max[c] |
| USER_DATA | 0 | inode->i_sb->s_fs_info->s_first_error_ino | 0-4294967295 |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| LOCK2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dentry->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &dir->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dir->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/namei.c ext4_setent() -> inode_inc_iversion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| NOCHECK_CALL |