Defined in 1 files as a function:
Referenced in 4 files:
- fs/ext4/extents-test.c
-
fs/ext4/extents.c
- line 542
- line 679
- line 705
- line 735
- line 850
- line 1792
- line 1792
- line 1805
- line 1841
- line 2048
- line 2051
- line 2058
- line 2073
- line 2076
- line 2084
- line 2154
- line 2165
- line 2176
- line 2186
- line 2661
- line 3224
- line 3329
- line 3434
- line 3469
- line 3513
- line 3599
- line 3641
- line 3687
- line 3907
- line 3989
- line 4343
- line 4350
- line 6016
- fs/ext4/extents_status.c, line 696
- fs/ext4/fast_commit.c
Smatch caller information:
fs/ext4/extents.c convert_initialized_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_cache_extents() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_can_extents_be_merged() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | ext | 1 |
| DATA_SOURCE | 0 | ext | $1 |
| NOSPEC | 0 | ext->ee_block | |
| NOSPEC | 0 | ext->ee_len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_block | 0-u32max |
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| USER_DATA | 0 | ext->ee_start_hi | 0-3[c] |
| USER_DATA | 0 | ext->ee_start_lo | 0-u32max[c] |
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_can_extents_be_merged() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | ext | $2 |
| NOSPEC | 0 | ext->ee_block | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_block | 0-4294967294 |
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| USER_DATA | 0 | ext->ee_start_hi | 0-2[c] |
| USER_DATA | 0 | ext->ee_start_lo | 0-32762[c] |
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_can_extents_be_merged() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| CAPPED_DATA | 0 | ext | 1 |
| DATA_SOURCE | 0 | ext | $1 |
| NOSPEC | 0 | ext->ee_block | |
| NOSPEC | 0 | ext->ee_len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_block | 0-u32max |
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| USER_DATA | 0 | ext->ee_start_hi | 0-3[c] |
| USER_DATA | 0 | ext->ee_start_lo | 0-u32max[c] |
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_ext_binsearch() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/extents.c ext4_ext_convert_to_initialized() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_ext_convert_to_initialized() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_ext_convert_to_initialized() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992 |
| CAPPED_DATA | 0 | ext->ee_block | 1 |
| DATA_SOURCE | 0 | ext | $3 |
| NOSPEC | 0 | ext->ee_block | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_block | 0-4294967294[c] |
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| USER_DATA | 0 | ext->ee_start_hi | 0-2[c] |
| USER_DATA | 0 | ext->ee_start_lo | 0-32762[c] |
fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992 |
| DATA_SOURCE | 0 | ext | $3 |
| NOSPEC | 0 | ext->ee_block | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_block | 0-4294967294 |
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| USER_DATA | 0 | ext->ee_start_hi | 0-2[c] |
| USER_DATA | 0 | ext->ee_start_lo | 0-32762[c] |
fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| CAPPED_DATA | 0 | ext->ee_block | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| CAPPED_DATA | 0 | ext->ee_block | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992 |
| DATA_SOURCE | 0 | ext | $3 |
| NOSPEC | 0 | ext->ee_block | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_block | 0-4294967294 |
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| USER_DATA | 0 | ext->ee_start_hi | 0-2[c] |
| USER_DATA | 0 | ext->ee_start_lo | 0-32762[c] |
fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992 |
| DATA_SOURCE | 0 | ext | $3 |
| NOSPEC | 0 | ext->ee_block | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_block | 1-4294967294 |
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| USER_DATA | 0 | ext->ee_start_hi | 0-2[c] |
| USER_DATA | 0 | ext->ee_start_lo | 0-32762[c] |
fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992 |
| CAPPED_DATA | 0 | ext->ee_block | 1 |
| DATA_SOURCE | 0 | ext | $3 |
| NOSPEC | 0 | ext->ee_block | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_block | 0-s32max[c] |
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| USER_DATA | 0 | ext->ee_start_hi | 0-2[c] |
| USER_DATA | 0 | ext->ee_start_lo | 0-32762[c] |
fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992 |
| DATA_SOURCE | 0 | ext | $3 |
| NOSPEC | 0 | ext->ee_block | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_block | 0-4294967294 |
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| USER_DATA | 0 | ext->ee_start_hi | 0-2[c] |
| USER_DATA | 0 | ext->ee_start_lo | 0-32762[c] |
fs/ext4/extents.c ext4_ext_map_blocks() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_ext_map_blocks() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_ext_rm_leaf() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/extents.c ext4_ext_try_to_merge_right() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-18446744073709547519 |
| CAPPED_DATA | 0 | ext | 1 |
| DATA_SOURCE | 0 | ext | $2 |
| NOSPEC | 0 | ext->ee_block | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_block | 0-4294967294 |
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| USER_DATA | 0 | ext->ee_start_hi | 0-3[c] |
| USER_DATA | 0 | ext->ee_start_lo | 0-u32max[c] |
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents.c ext4_split_convert_extents() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ext->ee_len | 0-u16max[c] |
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents.c ext4_split_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_split_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_split_extent() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_split_extent_at() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents.c ext4_split_extent_zeroout() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ext | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/fast_commit.c ext4_fc_replay_add_range() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 369127382467829764 |
| BUF_SIZE | 0 | ext | 12 |
fs/ext4/fast_commit.c ext4_fc_replay_add_range() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 369127382467829764 |
| BUF_SIZE | 0 | ext | 12 |
fs/ext4/fast_commit.c ext4_fc_replay_add_range() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 369127382467829764 |
| BUF_SIZE | 0 | ext | 12 |
fs/ext4/extents-test.c extents_kunit_init() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | ext | 48 |
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents-test.c test_split_convert() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents-test.c test_split_convert() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents-test.c test_split_convert() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| UNITS | 0 | ext | unit_byte |
fs/ext4/extents-test.c test_split_convert() -> ext4_ext_is_unwritten()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ext | 4096-ptr_max |
| UNITS | 0 | ext | unit_byte |