Defined in 1 files as a prototype:
Referenced in 18 files:
- fs/ext4/crypto.c, line 156
- fs/ext4/dir.c, line 51
- fs/ext4/ext4.h
- fs/ext4/ext4_jbd2.c
- fs/ext4/ext4_jbd2.h, line 418
- fs/ext4/extents.c
- fs/ext4/extents_status.c, line 830
- fs/ext4/fast_commit.c
- fs/ext4/file.c, line 291
- fs/ext4/ialloc.c
- fs/ext4/indirect.c
- fs/ext4/inode.c
- fs/ext4/mballoc.c
- fs/ext4/migrate.c
- fs/ext4/move_extent.c
- fs/ext4/namei.c
- fs/ext4/super.c, line 7015
- fs/ext4/verity.c
Smatch caller information:
fs/ext4/move_extent.c mext_check_validity() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffff9fff |
fs/ext4/move_extent.c mext_check_validity() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffbfff |
fs/ext4/extents.c ext4_alloc_file_blocks() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/extents.c ext4_collapse_range() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/extents.c ext4_do_fallocate() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/extents.c ext4_ext_clear_bb() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| DATA_SOURCE | 0 | inode | $0 |
fs/ext4/extents.c ext4_ext_precache() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| DATA_SOURCE | 0 | inode | $0 |
| LOCK2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/extents.c ext4_get_maxbytes() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| DATA_SOURCE | 0 | inode | $0 |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/extents.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 28 |
| 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_link | (-1),1-255 |
| BUF_SIZE | 0 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| BUF_SIZE | 0 | inode->i_sb | (-1),80,2816 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_sb->s_flags | 1-310477010[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| 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/ext4/extents.c ext4_insert_range() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/extents.c ext4_zero_range() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/extents.c get_default_free_blocks_flags() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 21 |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-36028797024823343,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-9223372036854775806 |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/indirect.c ext4_clear_blocks() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 21 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| 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_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-9223372036854775806 |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_data.host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/indirect.c ext4_ind_map_blocks() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| 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 | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_bytes | 0-65023[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_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| 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/ext4/crypto.c ext4_set_context() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 25 |
| 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 |
| DATA_SOURCE | 0 | inode | $0 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffdfff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| 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_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/fast_commit.c ext4_fc_replay_inode() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| DATA_SOURCE | 0 | inode | r __ext4_iget |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes |
fs/ext4/fast_commit.c ext4_fc_set_bitmaps_and_counters() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| DATA_SOURCE | 0 | inode | r __ext4_iget |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes |
fs/ext4/fast_commit.c ext4_fc_snapshot_inode() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &journal->j_barrier | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct journal_s)->j_barrier |
fs/ext4/fast_commit.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| 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 | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_bytes | 0-65023[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_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/inode.c ext4_check_map_extents_env() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 21 |
| 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 | $0 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xfffeffdf |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[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_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/inode.c ext4_get_maxbytes() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 19 |
| DATA_SOURCE | 0 | inode | $0 |
fs/ext4/inode.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1)-0,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 |
| BUF_SIZE | 0 | inode->i_sb | (-1),80,2816 |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_ino | |
| NOSPEC | 0 | inode->i_mode | |
| NOSPEC | 0 | inode->i_size | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_atime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_atime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_generation | 0-u32max |
| USER_DATA | 0 | inode->i_ino | 2-u32max[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_mtime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_mtime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_data.host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_data.host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/inode.c ext4_index_trans_blocks() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| 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_link | (-1),1-255 |
| BUF_SIZE | 0 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| BUF_SIZE | 0 | inode->i_sb | (-1),2816 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| 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/ext4/inode.c ext4_inode_blocks() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 18 |
| BUF_SIZE | 0 | inode | 1160 |
fs/ext4/inode.c ext4_inode_can_atomic_write() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &iint->mutex | ||
| HALF_LOCKED2 | &lo->lo_mutex |
fs/ext4/inode.c ext4_iomap_alloc() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
| 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 |
fs/ext4/inode.c ext4_iomap_begin_report() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/inode.c ext4_map_create_blocks() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| BUF_SIZE | 0 | inode | (-1),1160 |
| BUF_SIZE | 0 | inode | (-1),1160 |
| 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 | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[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_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| 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/ext4/inode.c ext4_map_query_blocks() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| BUF_SIZE | 0 | inode | (-1),1160 |
| BUF_SIZE | 0 | inode | (-1),1160 |
| 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 | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[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_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| 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/ext4/inode.c ext4_punch_hole() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/inode.c ext4_punch_hole() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_mapping | 1 |
| CAPPED_DATA | 0 | inode->i_mapping->i_pages.xa_head | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_size | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| 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 |
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/inode.c ext4_punch_hole() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_mapping | 1 |
| CAPPED_DATA | 0 | inode->i_mapping->i_pages.xa_head | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_size | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-36028797024823343,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| 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 |
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/inode.c ext4_set_inode_mapping_order() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 14 |
| BUF_SIZE | 0 | inode->i_sb | (-1),2816 |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_mapping | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffdfff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &journal->j_barrier | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |
fs/ext4/inode.c ext4_set_iomap() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
fs/ext4/inode.c ext4_should_dioread_nolock() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/inode.c ext4_should_enable_dax() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 11 |
| 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 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_mode | 1-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 | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/inode.c ext4_should_enable_dax() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 20 |
| 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 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_mode | 1-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 | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/inode.c ext4_should_enable_dax() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 25 |
| 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 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_mode | 1-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 | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/symlink.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/ialloc.c __ext4_new_inode() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 29 |
| DATA_SOURCE | 0 | inode | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
fs/ext4/ialloc.c find_group_orlov() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 17 |
| DATA_SOURCE | 0 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
fs/ext4/xattr.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| 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_link | (-1),1-255 |
| BUF_SIZE | 0 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| BUF_SIZE | 0 | inode->i_sb | (-1),2816 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| 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-36028797024823343,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| 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_mapping->host->i_size | |
| 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/ext4/inline.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 28 |
| 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 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_mode | 1-u16max |
| 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 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/inline.c ext4_should_dioread_nolock() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/inline.c ext4_update_dx_flag() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/verity.c ext4_begin_enable_verity() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 25 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffdfff |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/verity.c ext4_begin_enable_verity() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| CAPPED_DATA | 0 | inode | 1 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffdfff |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/verity.c ext4_get_verity_descriptor_location() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/ext4/mballoc.c ext4_get_allocation_groups_count() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 19 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/ext4/mballoc.c ext4_mb_use_preallocated() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| LOCK2 | &ei->i_prealloc_lock | ||
| LOCK2 | &tmp_pa->pa_lock | ||
| TYPE_LOCK | (struct ext4_inode_info)->i_prealloc_lock | ||
| TYPE_LOCK | (struct ext4_prealloc_space)->pa_lock |
fs/ext4/readpage.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 28 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/ext4_jbd2.c ext4_inode_journal_mode() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 21 |
| 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_link | (-1),1-255 |
| BUF_SIZE | 0 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| BUF_SIZE | 0 | inode->i_sb | (-1),2816 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_ino | |
| NOSPEC | 0 | inode->i_size | |
| PREEMPT_ADD | |||
| 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_generation | 0-u32max |
| USER_DATA | 0 | inode->i_ino | 2-u32max[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_data.host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/ext4_jbd2.c ext4_inode_journal_mode() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 14 |
| 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_link | (-1),1-255 |
| BUF_SIZE | 0 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| BUF_SIZE | 0 | inode->i_sb | (-1),2816 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_ino | |
| NOSPEC | 0 | inode->i_size | |
| PREEMPT_ADD | |||
| 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_generation | 0-u32max |
| USER_DATA | 0 | inode->i_ino | 2-u32max[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_data.host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/file.c ext4_generic_write_checks() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xfffffff7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/file.c ext4_get_maxbytes() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 19 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/file.c ext4_inode_can_atomic_write() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits |
fs/ext4/file.c ext4_release_file() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/ext4/ioctl.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffbeff |
fs/ext4/migrate.c ext4_ext_migrate() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/migrate.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/migrate.c ext4_ind_migrate() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 19 |
| 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 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/namei.c __ext4_add_entry() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/ext4/namei.c __ext4_find_entry() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| 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 |
fs/ext4/namei.c __ext4_read_dirblock() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/namei.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 28 |
| 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 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/namei.c ext4_htree_fill_tree() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 12 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/namei.c ext4_inc_count() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
fs/ext4/namei.c ext4_link() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 29 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/namei.c ext4_mkdir() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| BUF_SIZE | 0 | inode | (-1),1160 |
| BUF_SIZE | 0 | inode | (-1),1160 |
| 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 | |||
| 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/ext4/namei.c ext4_rename_dir_finish() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
fs/ext4/namei.c ext4_update_dx_flag() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| 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 | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/ext4/namei.c is_dx_internal_node() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &dir->i_rwsem |
fs/ext4/dir.c ext4_has_inline_data() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 28 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/dir.c is_dx_dir() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/super.c ext4_statfs() -> ext4_test_inode_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 29 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &s->s_umount |