Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/acl.c ext4_set_acl() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 7872229908872699904 |
| PARAM_VALUE | 3 | line | 263 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 13 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_mode | 0-u16max |
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/ext4/extents.c __ext4_ext_dirty() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | func | 6900452401418461184 |
| PARAM_VALUE | 3 | line | 207 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 1 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | inode->i_fop | (-1),272 |
| BUF_SIZE | 1 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 1 | inode->i_op | (-1),256 |
| BUF_SIZE | 2 | func | 17 |
| DATA_SOURCE | 0 | handle | $2 |
| DATA_SOURCE | 1 | inode | $3 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| NOSPEC | 1 | inode->i_ino | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_blocks | 0-36028797024823343,18428729675200069633-u64max |
| USER_DATA | 1 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 1 | inode->i_ino | 2-u32max[c] |
| USER_DATA | 1 | inode->i_mode | 0-u16max |
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_linklen |
fs/ext4/extents.c ext4_collapse_range() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 4185495802981044224 |
| PARAM_VALUE | 3 | line | 5717 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 20 |
| CAPPED_DATA | 0 | handle | 1 |
| CAPPED_DATA | 1 | inode->i_mapping | 1 |
| CAPPED_DATA | 1 | inode->i_mapping->i_pages.xa_head | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_blocks | 0-36028797024823343,18428729675200069633-u64max |
| USER_DATA | 1 | inode->i_bytes | 0-65023[c] |
| 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_convert_unwritten_extents() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 457577142006935552 |
| PARAM_VALUE | 3 | line | 5179 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 31 |
| DATA_SOURCE | 0 | handle | $0 [m] |
| DATA_SOURCE | 1 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | inode->i_size |
fs/ext4/extents.c ext4_convert_unwritten_extents_atomic() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 3615972873806524416 |
| PARAM_VALUE | 3 | line | 5100 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 38 |
| DATA_SOURCE | 0 | handle | $0 [m] |
| DATA_SOURCE | 1 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/extents.c ext4_ext_grow_indepth() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_err | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_bytes | 0-65023 |
| PARAM_VALUE | 1 | inode->i_io_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_io_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 2146300072308842496 |
| PARAM_VALUE | 3 | line | 1387 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 1 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | inode->i_fop | (-1),272 |
| BUF_SIZE | 1 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 1 | inode->i_op | (-1),256 |
| BUF_SIZE | 2 | func | 22 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| NOSPEC | 1 | inode->i_bytes | |
| NOSPEC | 1 | inode->i_ino | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_blocks | 0-36028797024823342,18428729675200069632-u64max |
| USER_DATA | 1 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 1 | inode->i_ino | 2-u32max[c] |
| USER_DATA | 1 | inode->i_mode | 0-u16max |
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_linklen | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_ext_replay_shrink_inode() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 879446599222792192 |
| PARAM_VALUE | 3 | line | 6217 |
| BUF_SIZE | 2 | func | 29 |
| CAPPED_DATA | 1 | inode | 1 |
| DATA_SOURCE | 1 | inode | $0 |
| NOCHECK_CALL |
fs/ext4/extents.c ext4_ext_replay_shrink_inode() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 879446599222792192 |
| PARAM_VALUE | 3 | line | 6228 |
| BUF_SIZE | 2 | func | 29 |
| CAPPED_DATA | 1 | inode | 1 |
| DATA_SOURCE | 1 | inode | $0 |
| NOCHECK_CALL |
fs/ext4/extents.c ext4_ext_replay_update_ex() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 1403551796378873856 |
| PARAM_VALUE | 3 | line | 6199 |
| BUF_SIZE | 2 | func | 26 |
| CAPPED_DATA | 1 | inode | 1 |
| DATA_SOURCE | 1 | inode | $0 |
| NOCHECK_CALL |
fs/ext4/extents.c ext4_ext_tree_init() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 7855341896306155520 |
| PARAM_VALUE | 3 | line | 882 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 1 | inode->i_fop | (-1),272 |
| BUF_SIZE | 1 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 1 | inode->i_op | (-1),256 |
| BUF_SIZE | 2 | func | 19 |
| CAPPED_DATA | 1 | inode | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_size | |
| HALF_LOCKED2 | &ei->i_data_sem | ||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock |
fs/ext4/extents.c ext4_ext_truncate() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 3424490249079914496 |
| PARAM_VALUE | 3 | line | 4565 |
| BUF_SIZE | 2 | func | 18 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
fs/ext4/extents.c ext4_insert_range() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 8268786467277987840 |
| PARAM_VALUE | 3 | line | 5788 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 18 |
| CAPPED_DATA | 1 | inode->i_mapping | 1 |
| CAPPED_DATA | 1 | inode->i_mapping->i_pages.xa_head | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| 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_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 311727375167488 |
| PARAM_VALUE | 3 | line | 4888 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 16 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_mapping | 1 |
| CAPPED_DATA | 1 | inode->i_mapping->i_pages.xa_head | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_mode | 0-u16max |
| 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/indirect.c ext4_ind_trunc_restart_fn() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_aborted | 0 |
| PARAM_VALUE | 0 | handle->h_transaction | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 4561657838296621056 |
| PARAM_VALUE | 3 | line | 700 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 26 |
| CAPPED_DATA | 0 | handle | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| NOSPEC | 1 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
| USER_DATA | 1 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-9223372036854775806 |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_blkbits | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/indirect.c ext4_splice_branch() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 4517749586620428288 |
| PARAM_VALUE | 3 | line | 479 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 19 |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/crypto.c ext4_set_context() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 0-1,3-u64max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 6380391689337372672 |
| PARAM_VALUE | 3 | line | 213 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 1 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | inode->i_fop | (-1),272 |
| BUF_SIZE | 1 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 1 | inode->i_op | (-1),256 |
| BUF_SIZE | 2 | func | 17 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_mode | 0-u16max |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_size | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/fast_commit.c ext4_fc_replay_create() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 2828081084948176896 |
| PARAM_VALUE | 3 | line | 2078 |
| BUF_SIZE | 2 | func | 22 |
| CAPPED_DATA | 1 | inode | 1 |
| DATA_SOURCE | 1 | inode | r __ext4_iget |
| NOCHECK_CALL |
fs/ext4/fast_commit.c ext4_fc_replay_del_range() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 5650506713597366272 |
| PARAM_VALUE | 3 | line | 2310 |
| BUF_SIZE | 2 | func | 25 |
| DATA_SOURCE | 1 | inode | r __ext4_iget |
| NOCHECK_CALL |
fs/ext4/inode.c ext4_change_inode_journal_flag() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 5056822493734273024 |
| PARAM_VALUE | 3 | line | 6816 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 31 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_mapping | 1 |
| CAPPED_DATA | 1 | inode->i_mapping->i_pages.xa_head | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $0 |
| BIT_INFO | 1 | inode->i_flags | 0x0,0xffffdfff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/inode.c ext4_da_do_write_end() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_size | (-9223372036854775807)-s64max |
| PARAM_VALUE | 2 | func | 2745953470131105792 |
| PARAM_VALUE | 3 | line | 3273 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 21 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c ext4_dirty_inode() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 32336382919303168 |
| PARAM_VALUE | 3 | line | 6731 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 1 | inode | (-1)-s32max |
| BUF_SIZE | 1 | inode | (-1)-s32max |
| BUF_SIZE | 1 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 1 | inode->i_fop | (-1)-0,272 |
| BUF_SIZE | 1 | inode->i_link | (-1),1-255 |
| BUF_SIZE | 1 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 1 | inode->i_op | (-1),256 |
| BUF_SIZE | 1 | inode->i_sb | (-1),80,2752,2816 |
| BUF_SIZE | 2 | func | 17 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $0 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| STR_LEN | 1 | inode | (-1)-24,26-27,29,31-32,63,99,115,254 |
| STR_LEN | 1 | inode->i_sb | (-1),8 |
| NOSPEC | 1 | inode->i_bytes | |
| NOSPEC | 1 | inode->i_ino | |
| NOSPEC | 1 | inode->i_mode | |
| NOSPEC | 1 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | inode->__i_nlink | 1-u32max |
| USER_DATA | 1 | inode->i_atime_nsec | 0-u32max |
| USER_DATA | 1 | inode->i_atime_sec | 0-4294967295 |
| USER_DATA | 1 | inode->i_blocks | 0-36028797018963967,18428729675200069632-u64max |
| USER_DATA | 1 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 1 | inode->i_ino | 0-u64max |
| USER_DATA | 1 | inode->i_mode | 0-u16max |
| USER_DATA | 1 | inode->i_mtime_nsec | 0-u32max |
| USER_DATA | 1 | inode->i_mtime_sec | 0-4294967295 |
| USER_DATA | 1 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_linklen | |
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &old_inode_ui->ui_mutex | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | &vol_ni->mrec_lock |
fs/ext4/inode.c ext4_evict_inode() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_lru.next | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_nlink | 0 |
| PARAM_VALUE | 1 | inode->i_op | 0-1144202292485988351,1144202292485988353-u64max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_size | 0 |
| PARAM_VALUE | 2 | func | 3423811206491267072 |
| PARAM_VALUE | 3 | line | 269 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 17 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_data.i_pages.xa_head | 1 |
| CAPPED_DATA | 1 | &inode->i_data | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $0 |
| BIT_INFO | 1 | inode->i_flags | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/inode.c ext4_evict_inode() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_io_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_io_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_lru.next | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_nlink | 0 |
| PARAM_VALUE | 1 | inode->i_op | 0-1144202292485988351,1144202292485988353-u64max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_size | 0 |
| PARAM_VALUE | 2 | func | 3423811206491267072 |
| PARAM_VALUE | 3 | line | 315 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 17 |
| CAPPED_DATA | 0 | handle | 1 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_data.i_pages.xa_head | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | &inode->i_data | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $0 |
| BIT_INFO | 1 | inode->i_flags | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/inode.c ext4_journalled_write_end() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_transaction | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 7399265639670738944 |
| PARAM_VALUE | 3 | line | 1584 |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 2 | func | 26 |
| DATA_SOURCE | 0 | handle | r ext4_journal_current_handle |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c ext4_punch_hole() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 8632074450033078272 |
| PARAM_VALUE | 3 | line | 4555 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 16 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_mapping | 1 |
| CAPPED_DATA | 1 | inode->i_mapping->i_pages.xa_head | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_blocks | 0-36028797024823343,18428729675200069633-u64max |
| USER_DATA | 1 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 1 | inode->i_mode | 0-u16max |
| 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_update_disksize_before_punch() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 7083347974897295360 |
| PARAM_VALUE | 3 | line | 4364 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 34 |
| CAPPED_DATA | 1 | inode | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $0 |
| 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_write_end() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 5720476722811539456 |
| PARAM_VALUE | 3 | line | 1473 |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 2 | func | 15 |
| DATA_SOURCE | 0 | handle | r ext4_journal_current_handle |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c mpage_map_and_submit_extent() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 830112439958102016 |
| PARAM_VALUE | 3 | line | 2537 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 28 |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/xattr.c ext4_xattr_delete_inode() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_io_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_io_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_lru.next | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_nlink | 0 |
| PARAM_VALUE | 1 | inode->i_op | 0-1144202292485988351,1144202292485988353-u64max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_size | 0 |
| PARAM_VALUE | 2 | func | 8907645009188450304 |
| PARAM_VALUE | 3 | line | 2962 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 24 |
| CAPPED_DATA | 0 | handle | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| BIT_INFO | 1 | inode->i_flags | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | inode->i_bytes |
fs/ext4/xattr.c ext4_xattr_inode_create() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->free_inode | 5940081188897697792 |
| PARAM_VALUE | 1 | inode->i_fop | 5940081188897697792 |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_op | 3728026721618821120 |
| PARAM_VALUE | 1 | inode->i_rwsem.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_version.counter | 1 |
| PARAM_VALUE | 2 | func | 7682383114451283968 |
| PARAM_VALUE | 3 | line | 1505 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 1 | inode->i_fop | 272 |
| BUF_SIZE | 1 | inode->i_op | 256 |
| BUF_SIZE | 2 | func | 24 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | r __ext4_new_inode |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/xattr.c ext4_xattr_inode_write() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0-ptr_max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->free_inode | 5940081188897697792 |
| PARAM_VALUE | 1 | inode->i_flags | 0,32-u32max |
| PARAM_VALUE | 1 | inode->i_fop | 5940081188897697792 |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_op | 3728026721618821120 |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_version.counter | 1 |
| PARAM_VALUE | 2 | func | 413597366888153088 |
| PARAM_VALUE | 3 | line | 1411 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 23 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 1 | inode | (-1) |
| STR_LEN | 1 | inode | (-1) |
| BIT_INFO | 1 | inode->i_flags | 0x20,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/xattr.c ext4_xattr_inode_write() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0-ptr_max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->free_inode | 5940081188897697792 |
| PARAM_VALUE | 1 | inode->i_flags | 0,32-u32max |
| PARAM_VALUE | 1 | inode->i_fop | 5940081188897697792 |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_op | 3728026721618821120 |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_size | s32min-s32max |
| PARAM_VALUE | 1 | inode->i_version.counter | 1 |
| PARAM_VALUE | 2 | func | 413597366888153088 |
| PARAM_VALUE | 3 | line | 1463 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 23 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 1 | inode | (-1) |
| STR_LEN | 1 | inode | (-1) |
| BIT_INFO | 1 | inode->i_flags | 0x20,0xffffffffffffffff |
| NOSPEC | 1 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_size | 1-65536[c][u] |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inline.c ext4_convert_inline_data_nolock() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 7180337137931513856 |
| PARAM_VALUE | 3 | line | 1180 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 1 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | inode->i_fop | (-1),272 |
| BUF_SIZE | 1 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 1 | inode->i_op | (-1),256 |
| BUF_SIZE | 2 | func | 32 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->__i_nlink | 1-u32max |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_size |
fs/ext4/inline.c ext4_delete_inline_entry() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 2 | func | 9067219554316193792 |
| PARAM_VALUE | 3 | line | 1720 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 25 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dir->i_rwsem |
fs/ext4/inline.c ext4_inline_data_truncate() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 104913689395900416 |
| PARAM_VALUE | 3 | line | 1966 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 26 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $0 |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
fs/ext4/inline.c ext4_try_add_inline_entry() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 9033903714209079296 |
| PARAM_VALUE | 3 | line | 1255 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 26 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_size |
fs/ext4/resize.c ext4_convert_meta_bg() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_blocks | 0 |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 3711743097847955456 |
| PARAM_VALUE | 3 | line | 1976 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 21 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start_sb |
| DATA_SOURCE | 1 | inode | $1 |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_bytes |
fs/ext4/file.c ext4_handle_inode_extension() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_size | (-9223372036854775807)-s64max |
| PARAM_VALUE | 2 | func | 6529140780770541568 |
| PARAM_VALUE | 3 | line | 374 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 28 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 1 | inode->i_mode | 0-u16max |
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-9223372036854775806 |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/ioctl.c swap_inode_boot_loader() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_nlink | 1 |
| PARAM_VALUE | 1 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 8392730421172051968 |
| PARAM_VALUE | 3 | line | 476 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 23 |
| CAPPED_DATA | 1 | inode->i_data.i_pages.xa_head | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $2 |
| CAPABLE | 0 | 21 | |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| BIT_INFO | 1 | inode->i_flags | 0x0,0xffffbef3 |
| LOCK2 | &inode->i_mapping->invalidate_lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
fs/ext4/ioctl.c swap_inode_boot_loader() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_nlink | 1 |
| PARAM_VALUE | 1 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 8392730421172051968 |
| PARAM_VALUE | 3 | line | 484 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 23 |
| CAPPED_DATA | 1 | inode->i_data.i_pages.xa_head | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $2 |
| CAPABLE | 0 | 21 | |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| BIT_INFO | 1 | inode->i_flags | 0x0,0xffffbef3 |
| NOCHECK_CALL | |||
| LOCK2 | &inode->i_mapping->invalidate_lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
fs/ext4/ioctl.c swap_inode_boot_loader() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_aborted | 1 |
| PARAM_VALUE | 0 | handle->h_err | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 8392730421172051968 |
| PARAM_VALUE | 3 | line | 492 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 23 |
| CAPPED_DATA | 1 | inode->i_data.i_pages.xa_head | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | r __ext4_iget |
| CAPABLE | 0 | 21 | |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| LOCK2 | &inode->i_mapping->invalidate_lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
fs/ext4/ioctl.c swap_inode_boot_loader() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_nlink | 1 |
| PARAM_VALUE | 1 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 8392730421172051968 |
| PARAM_VALUE | 3 | line | 513 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 23 |
| CAPPED_DATA | 1 | inode->i_data.i_pages.xa_head | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $2 |
| CAPABLE | 0 | 21 | |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| BIT_INFO | 1 | inode->i_flags | 0x0,0xffffbef3 |
| NOCHECK_CALL | |||
| LOCK2 | &inode->i_mapping->invalidate_lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
fs/ext4/ioctl.c swap_inode_boot_loader() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 8392730421172051968 |
| PARAM_VALUE | 3 | line | 514 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 23 |
| CAPPED_DATA | 1 | inode->i_data.i_pages.xa_head | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | r __ext4_iget |
| CAPABLE | 0 | 21 | |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| NOCHECK_CALL | |||
| LOCK2 | &inode->i_mapping->invalidate_lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
fs/ext4/migrate.c ext4_ext_swap_inode_data() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 2862405460277559296 |
| PARAM_VALUE | 3 | line | 345 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 25 |
| CAPPED_DATA | 0 | handle | 1 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/migrate.c ext4_ind_migrate() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 7976284217497776128 |
| PARAM_VALUE | 3 | line | 676 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 17 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | 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_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 3193538019624349696 |
| PARAM_VALUE | 3 | line | 2408 |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 2 | func | 17 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/ext4/namei.c __ext4_link() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 6564592711799590912 |
| PARAM_VALUE | 3 | line | 3477 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 12 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $1 |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/namei.c __ext4_unlink() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 1266745696274436096 |
| PARAM_VALUE | 3 | line | 3277 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 14 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $0 |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &target->i_rwsem |
fs/ext4/namei.c __ext4_unlink() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 1266745696274436096 |
| PARAM_VALUE | 3 | line | 3291 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 14 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $2 |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_mode | 0-u16max |
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | &target->i_rwsem |
fs/ext4/namei.c add_dirent_to_buf() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 3704134157463986176 |
| PARAM_VALUE | 3 | line | 2153 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 2 | func | 18 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $2 |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
fs/ext4/namei.c ext4_add_nondir() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 4457686263263944704 |
| PARAM_VALUE | 3 | line | 2793 |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 2 | func | 16 |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/namei.c ext4_add_nondir() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 4457686263263944704 |
| PARAM_VALUE | 3 | line | 2801 |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 2 | func | 16 |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ext4/namei.c ext4_append() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 3531480379418230784 |
| PARAM_VALUE | 3 | line | 88 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 1 | inode->i_fop | (-1),272 |
| BUF_SIZE | 1 | inode->i_op | (-1),256 |
| BUF_SIZE | 2 | func | 12 |
| CAPPED_DATA | 1 | inode | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_bytes |
fs/ext4/namei.c ext4_mkdir() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle->h_aborted | 1 |
| PARAM_VALUE | 0 | handle->h_err | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->free_inode | 15493807451701248 |
| PARAM_VALUE | 1 | inode->i_fop | 15493807451701248 |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_op | 1862670500661972992 |
| PARAM_VALUE | 2 | func | 2407838859050496000 |
| PARAM_VALUE | 3 | line | 3027 |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 1 | inode->i_fop | 272 |
| BUF_SIZE | 1 | inode->i_op | 256 |
| BUF_SIZE | 2 | func | 11 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | r ext4_journal_current_handle |
| DATA_SOURCE | 1 | inode | r __ext4_new_inode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/ext4/namei.c ext4_mkdir() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->__i_nlink | 0 |
| PARAM_VALUE | 1 | inode->free_inode | 15493807451701248 |
| PARAM_VALUE | 1 | inode->i_fop | 15493807451701248 |
| PARAM_VALUE | 1 | inode->i_nlink | 0 |
| PARAM_VALUE | 1 | inode->i_op | 1862670500661972992 |
| PARAM_VALUE | 1 | inode->i_rwsem.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 2407838859050496000 |
| PARAM_VALUE | 3 | line | 3035 |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 1 | inode->i_fop | 272 |
| BUF_SIZE | 1 | inode->i_op | 256 |
| BUF_SIZE | 2 | func | 11 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | r ext4_journal_current_handle |
| DATA_SOURCE | 1 | inode | r __ext4_new_inode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/ext4/namei.c ext4_mkdir() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0-ptr_max |
| PARAM_VALUE | 0 | handle->h_aborted | 1 |
| PARAM_VALUE | 0 | handle->h_err | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_op | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 2407838859050496000 |
| PARAM_VALUE | 3 | line | 3045 |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 1 | inode | (-1),1160 |
| BUF_SIZE | 1 | inode | (-1),1160 |
| BUF_SIZE | 2 | func | 11 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_user_ns->gid_map.nr_extents | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_user_ns->uid_map.nr_extents | 1 |
| DATA_SOURCE | 0 | handle | r ext4_journal_current_handle |
| DATA_SOURCE | 1 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->__i_nlink | 1-u32max |
| USER_DATA | 1 | inode->i_mode | 0-u16max |
| USER_DATA | 1 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/ext4/namei.c ext4_rename_dir_finish() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | func | 4419092879463624704 |
| PARAM_VALUE | 3 | line | 3634 |
| BUF_SIZE | 2 | func | 23 |
| DATA_SOURCE | 0 | handle | $0 |
fs/ext4/namei.c ext4_rmdir() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->__i_nlink | 0 |
| PARAM_VALUE | 1 | inode->i_ino | 1-u32max |
| PARAM_VALUE | 1 | inode->i_nlink | 0 |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_size | 0 |
| PARAM_VALUE | 2 | func | 8774589005328969728 |
| PARAM_VALUE | 3 | line | 3204 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 11 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | inode->i_bytes | 0-65023[c] |
| 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_rmdir() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_aborted | 1 |
| PARAM_VALUE | 0 | handle->h_err | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | handle->h_sync | 1 |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_op | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 8774589005328969728 |
| PARAM_VALUE | 3 | line | 3210 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 11 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| DATA_SOURCE | 1 | inode | $0 |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 1445224938596851712 |
| PARAM_VALUE | 3 | line | 3658 |
| BUF_SIZE | 2 | func | 12 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
fs/ext4/namei.c ext4_update_dir_count() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 1644452468771205120 |
| PARAM_VALUE | 3 | line | 3752 |
| BUF_SIZE | 2 | func | 22 |
| DATA_SOURCE | 0 | handle | $0 |
| NOCHECK_CALL |
fs/ext4/namei.c make_indexed_dir() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_ino | 2-u32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 1610607416924012544 |
| PARAM_VALUE | 3 | line | 2342 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 17 |
| CAPPED_DATA | 1 | inode | 1 |
| CAPPED_DATA | 1 | inode->i_ino | 1 |
| CAPPED_DATA | 1 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | inode | $2 |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | inode->i_size |
fs/ext4/super.c ext4_quota_off() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 2415938662117076992 |
| PARAM_VALUE | 3 | line | 7353 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 15 |
| CAPPED_DATA | 1 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| PARAM_COMPARE | 1 | inode->i_sb->s_time_max | >= $1->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/super.c ext4_quota_on() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | func | 7158833310858862592 |
| PARAM_VALUE | 3 | line | 7211 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 2 | func | 14 |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/super.c ext4_quota_write() -> __ext4_mark_inode_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 1-u64max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_size | (-9223372036854775807)-(-1),1-s64max |
| PARAM_VALUE | 2 | func | 4531394509281914880 |
| PARAM_VALUE | 3 | line | 7458 |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 2 | func | 17 |
| CAPPED_DATA | 1 | inode | 1 |
| DATA_SOURCE | 0 | handle | r journal_current_handle |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dqopt->dqio_sem | ||
| HALF_LOCKED2 | &dquot->dq_lock |