Defined in 1 files as a function:
Referenced in 12 files:
- fs/udf/balloc.c
- fs/udf/directory.c
- fs/udf/file.c
- fs/udf/ialloc.c
-
fs/udf/inode.c
- line 70
- line 81
- line 92
- line 114
- line 136
- line 170
- line 188
- line 215
- line 224
- line 236
- line 254
- line 285
- line 307
- line 317
- line 353
- line 405
- line 534
- line 650
- line 667
- line 744
- line 1004
- line 1111
- line 1268
- line 1290
- line 1352
- line 1673
- line 1701
- line 1723
- line 1734
- line 1759
- line 1978
- line 1985
- line 2007
- line 2009
- line 2024
- line 2083
- line 2135
- line 2137
- line 2167
- line 2267
- line 2369
- line 2470
- fs/udf/misc.c
- fs/udf/namei.c
- fs/udf/partition.c, line 52
- fs/udf/super.c
- fs/udf/symlink.c, line 109
- fs/udf/truncate.c
- fs/udf/udfdecl.h
Smatch caller information:
fs/udf/misc.c udf_add_extendedattr() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_link | (-1),1-255 |
| BUF_SIZE | 0 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| BUF_SIZE | 0 | inode->i_sb | (-1),80,2816 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_fs_info->s_partitions | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_mode | |
| 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-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| 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_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_rwsem |
fs/udf/misc.c udf_file_entry_alloc_offset() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_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->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_fs_info->s_partitions | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_mode | |
| 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-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| 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_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_rwsem |
fs/udf/misc.c udf_get_extendedattr() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| 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 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_fs_info->s_partitions | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_mode | |
| 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-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| 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_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_rwsem |
fs/udf/truncate.c udf_discard_prealloc() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-9223372036854775806[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_mapping->host->i_bytes | |
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/truncate.c udf_file_entry_alloc_offset() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb | 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_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| LOCK2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| TYPE_LOCK | (struct udf_inode_info)->i_data_sem |
fs/udf/truncate.c udf_truncate_extents() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-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 | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| LOCK2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| TYPE_LOCK | (struct udf_inode_info)->i_data_sem |
fs/udf/truncate.c udf_truncate_tail_extent() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| 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_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/truncate.c udf_update_alloc_ext_desc() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb | 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_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| LOCK2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| TYPE_LOCK | (struct udf_inode_info)->i_data_sem |
fs/udf/ialloc.c udf_free_inode() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes |
fs/udf/ialloc.c udf_new_inode() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| 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/udf/ialloc.c udf_new_inode() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| 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/udf/ialloc.c udf_new_inode() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | r new_inode |
| 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 |
fs/udf/inode.c __udf_add_aext() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| PREEMPT_ADD | |||
| 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)-(-4),0-9223372036854775806 |
| 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 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | &sbi->s_alloc_mutex | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |
fs/udf/inode.c __udf_clear_extent_cache() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| 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_ino | 0-u32max[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_data.host->i_bytes | |
| 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 | |
| LOCK2 | &iinfo->i_extent_cache_lock | ||
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct udf_inode_info)->i_extent_cache_lock |
fs/udf/inode.c __udf_iget() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_sb | (-1),80,2752,2816,2880 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | inode | r iget_locked |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_ino | 0-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/udf/inode.c __udf_iget() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_sb | (-1),80,2752,2816,2880 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | inode | r iget_locked |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_ino | 0-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/udf/inode.c __udf_iget() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_sb | (-1),80,2752,2816,2880 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | inode | r iget_locked |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_ino | 0-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/udf/inode.c __udf_iget() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_sb | (-1),80,2752,2816,2880 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| DATA_SOURCE | 0 | inode | r iget_locked |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_ino | 0-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/udf/inode.c inode_bmap() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_ino | 0-u32max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_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 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c inode_getblk() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| 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_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-9223372036854775806[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| LOCK2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct udf_inode_info)->i_data_sem |
fs/udf/inode.c udf_add_aext() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-36028797024823342,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)-(-4),0-9223372036854775806[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |
fs/udf/inode.c udf_add_aext() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-36028797024823342,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)-(-4),0-9223372036854775806[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |
fs/udf/inode.c udf_adinicb_read_folio() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/udf/inode.c udf_alloc_i_data() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_fs_info->s_partitions | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/udf/inode.c udf_bmap() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/udf/inode.c udf_bread() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb | 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_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
fs/udf/inode.c udf_clear_extent_cache() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-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 | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_current_aext() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| 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-36028797024823343,18428729675200069633-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_ino | 0-u32max[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| 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 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_delete_aext() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-9223372036854775806[c] |
| 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_linklen | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | &sbi->s_alloc_mutex | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_direct_IO() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |
fs/udf/inode.c udf_do_extend_file() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| 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_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-9223372036854775806[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| LOCK2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| TYPE_LOCK | (struct udf_inode_info)->i_data_sem |
fs/udf/inode.c udf_do_extend_final_block() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_size | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| 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_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-9223372036854775806 |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| LOCK2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| TYPE_LOCK | (struct udf_inode_info)->i_data_sem |
fs/udf/inode.c udf_evict_inode() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_io_list.next | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes |
fs/udf/inode.c udf_expand_file_adinicb() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-9223372036854775806[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_extend_file() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-9223372036854775806 |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |
fs/udf/inode.c udf_file_entry_alloc_offset() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| 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_ino | 0-u32max[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| 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 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_handle_page_wb() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/udf/inode.c udf_map_block() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-5859375[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_prealloc_extents() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| 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 | |
| LOCK2 | &iinfo->i_data_sem | ||
| TYPE_LOCK | (struct udf_inode_info)->i_data_sem |
fs/udf/inode.c udf_read_extent_cache() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| 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_ino | 0-u32max[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_read_folio() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-36028797018963967[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/udf/inode.c udf_read_inode() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_sb | (-1),80,2752,2816,2880 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_ino | 1-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/udf/inode.c udf_readahead() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/udf/inode.c udf_setsize() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |
fs/udf/inode.c udf_setup_indirect_aext() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| PREEMPT_ADD | |||
| 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)-(-4),0-9223372036854775806 |
| 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 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | &sbi->s_alloc_mutex | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |
fs/udf/inode.c udf_setup_indirect_aext() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| PREEMPT_ADD | |||
| 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)-(-4),0-9223372036854775806 |
| 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 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | &sbi->s_alloc_mutex | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |
fs/udf/inode.c udf_setup_indirect_aext() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| PREEMPT_ADD | |||
| 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)-(-4),0-9223372036854775806 |
| 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 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | &sbi->s_alloc_mutex | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |
fs/udf/inode.c udf_split_extents() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| 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 | |
| LOCK2 | &iinfo->i_data_sem | ||
| TYPE_LOCK | (struct udf_inode_info)->i_data_sem |
fs/udf/inode.c udf_sync_inode_metadata() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_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 | (-1)-0,23-24 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_mode | |
| 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-36028797018963967,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| 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-2147552256[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| 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 | &pool->lock | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_sync_inode_metadata() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_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->i_sb->s_fs_info->s_partitions | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_mode | |
| 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-36028797018963967,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| 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-2147552256[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| 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 | &pool->lock | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_update_extent_cache() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| 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_ino | 0-u32max[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_update_extra_perms() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-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)-(-2),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/udf/inode.c udf_write_aext() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| PREEMPT_ADD | |||
| 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_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-2),0-s64max |
| 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_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 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | &sbi->s_alloc_mutex | ||
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/inode.c udf_write_begin() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/udf/inode.c udf_write_end() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-36028797018963967[c] |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/udf/inode.c udf_write_failed() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/udf/inode.c udf_write_inode() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_link | (-1),1-255 |
| BUF_SIZE | 0 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| BUF_SIZE | 0 | inode->i_sb | (-1),80,2816 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode | (-1)-0,23-24 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_mode | |
| 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-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| 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 | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| 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_rwsem |
fs/udf/symlink.c udf_symlink_filler() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/udf/partition.c udf_get_pblock_virt15() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sb->s_fs_info->bitmap_lock | ||
| HALF_LOCKED2 | &sbi->s_alloc_mutex |
fs/udf/file.c udf_file_entry_alloc_offset() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &inode->i_rwsem | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/udf/file.c udf_file_write_iter() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
fs/udf/file.c udf_ioctl() -> UDF_I()
| Type | Parameter | Key | Value |
|---|
fs/udf/file.c udf_ioctl() -> UDF_I()
| Type | Parameter | Key | Value |
|---|
fs/udf/file.c udf_ioctl() -> UDF_I()
| Type | Parameter | Key | Value |
|---|
fs/udf/file.c udf_page_mkwrite() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_mapping | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mapping->invalidate_lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
fs/udf/file.c udf_release_file() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| LOCK2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/udf/file.c udf_release_file() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| LOCK2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/udf/directory.c udf_copy_fi() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_bytes | 0-65022[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits |
fs/udf/directory.c udf_fiiter_advance() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
fs/udf/directory.c udf_fiiter_append_blk() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
fs/udf/directory.c udf_fiiter_init() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-36028797024823342 |
| USER_DATA | 0 | inode->i_bytes | 0-65022[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/udf/directory.c udf_fiiter_update_elen() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
fs/udf/directory.c udf_fiiter_write_fi() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/udf/super.c udf_count_free_table() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &s->s_umount |
fs/udf/super.c udf_find_metadata_inode_efe() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | r udf_iget_special |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_ino | 1-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
fs/udf/super.c udf_free_in_core_inode() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu |
fs/udf/super.c udf_load_vat() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/udf/balloc.c udf_table_free_blocks() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &sbi->s_alloc_mutex | ||
| HALF_LOCKED2 | &iinfo->i_data_sem | ||
| TYPE_LOCK | (struct udf_sb_info)->s_alloc_mutex |
fs/udf/balloc.c udf_table_new_block() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &iinfo->i_data_sem |
fs/udf/balloc.c udf_table_prealloc_blocks() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &iinfo->i_data_sem | ||
| TYPE_LOCK | (struct udf_inode_info)->i_data_sem |
fs/udf/namei.c udf_add_nondir() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_blocksize | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| 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 |
fs/udf/namei.c udf_encode_fh() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &group->mark_mutex | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | 0 | &inode->i_sb->s_umount |
fs/udf/namei.c udf_encode_fh() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 1-u64max |
| DATA_SOURCE | 0 | inode | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &group->mark_mutex | ||
| HALF_LOCKED2 | &inode->i_sb->s_umount | ||
| HALF_LOCKED2 | &m->lock |
fs/udf/namei.c udf_expand_dir_adinicb() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| CAPPED_DATA | 0 | inode->i_size | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/udf/namei.c udf_ext0_offset() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_bytes | 0-65022[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &iinfo->i_data_sem |
fs/udf/namei.c udf_fiiter_add_entry() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
fs/udf/namei.c udf_file_entry_alloc_offset() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1),272 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| DATA_SOURCE | 0 | inode | $0 |
| NOSPEC | 0 | inode->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_blocks | 0-36028797024823342 |
| USER_DATA | 0 | inode->i_bytes | 0-65022[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &iinfo->i_data_sem |
fs/udf/namei.c udf_link() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/udf/namei.c udf_mkdir() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1),1160 |
| BUF_SIZE | 0 | inode | (-1),1160 |
| CAPPED_DATA | 0 | inode->i_sb->s_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/udf/namei.c udf_mkdir() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | r udf_new_inode |
| 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 | &dentry->d_lockref.lock |
fs/udf/namei.c udf_rename() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $3 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/udf/namei.c udf_symlink() -> UDF_I()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_ino | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | r udf_new_inode |
| 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 |