Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/ext4/extents.c ext4_ext_convert_to_initialized() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
PARAM_VALUE 0 ext 4097-ptr_max
PARAM_VALUE 0 ext->ee_len 1-32768
PARAM_VALUE 0 ext->ee_start_lo 0-32766
CAPPED_DATA 0 ext->ee_block 1
CAPPED_DATA 0 ext->ee_len 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ext->ee_block 0-u32max[c][u]
USER_DATA 0 ext->ee_len 1-32768[c]
USER_DATA 0 ext->ee_start_hi 0-u16max[c]
USER_DATA 0 ext->ee_start_lo 0-32766[c]
UNITS 0 ext unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_ext_convert_to_initialized() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
PARAM_VALUE 0 ext 4096-18446744073709547519
PARAM_VALUE 0 ext->ee_len 1-32768
CAPPED_DATA 0 ext 1
CAPPED_DATA 0 ext->ee_len 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ext->ee_len 1-32768[c]
UNITS 0 ext unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
PARAM_VALUE 0 ext 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ext->ee_len 0-u16max[c][u]
UNITS 0 ext unit_byte

fs/ext4/extents.c ext4_ext_insert_extent() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
PARAM_VALUE 0 ext 4096-ptr_max
NOSPEC 0 ext->ee_block
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ext->ee_block 0-4294967294
USER_DATA 0 ext->ee_len 0-u16max[c][u]
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_ext_map_blocks() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
PARAM_VALUE 0 ext 409180711978176512
NOSPEC 0 ext->ee_block
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ext->ee_block 0-4294967294
USER_DATA 0 ext->ee_len 0-32768[c]
USER_DATA 0 ext->ee_start_hi 0-2[c]
USER_DATA 0 ext->ee_start_lo 0-32762[c]
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_ext_replay_update_ex() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
NOCHECK_CALL
UNITS 0 ext unit_byte

fs/ext4/extents.c ext4_ext_rm_leaf() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
PARAM_VALUE 0 ext 4096-ptr_max
CAPPED_DATA 0 ext->ee_block 1
CAPPED_DATA 0 ext->ee_len 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_mark_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
NOCHECK_CALL
USER_DATA 0 ext->ee_block 0-4294967294
USER_DATA 0 ext->ee_len 0-u16max[c][u]
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_mark_unwritten()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ext unit_byte

fs/ext4/extents.c ext4_split_extent_at() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
PARAM_VALUE 0 ext 4096-ptr_max
CAPPED_DATA 0 ext->ee_len 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ext->ee_len 0-u16max[c][u]
UNITS 0 ext unit_byte

fs/ext4/extents.c ext4_split_extent_at() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
PARAM_VALUE 0 ext 2123593783147581440
PARAM_VALUE 0 ext->ee_block 0-4294967294
BUF_SIZE 0 ext 12
CAPPED_DATA 0 ext->ee_block 1
NOSPEC 0 ext->ee_block
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ext->ee_block 0-s32max[c]
USER_DATA 0 ext->ee_len 0-u16max[c][u]
NO_OVERFLOW_SIMPLE 0 ext->ee_block

fs/ext4/fast_commit.c ext4_fc_replay_add_range() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
PARAM_VALUE 0 ext 4189603434246529024
MEM_ZERO 0 ext
NOCHECK_CALL

fs/ext4/fast_commit.c ext4_fc_write_inode_data() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
PARAM_VALUE 0 ext 4469965603761389572
BUF_SIZE 0 ext 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents-test.c extents_kunit_init() -> ext4_ext_mark_unwritten()

Type Parameter Key Value
BUF_SIZE 0 ext 48
NOCHECK_CALL
UNITS 0 ext unit_byte