Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4097-ptr_max
PARAM_VALUE 1 pb 0-281474976743422
CAPPED_DATA 0 ex->ee_block 1
CAPPED_DATA 1 pb 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ex->ee_block 0-u32max[c][u]
USER_DATA 1 pb 0-281474976743422[c]
UNITS 0 ex unit_byte
UNITS 1 pb unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
PARAM_VALUE 1 pb 0-281474976710655,18446744073709518850-u64max
CAPPED_DATA 0 ex->ee_block 1
CAPPED_DATA 1 pb 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ex->ee_block 0-u32max[c][u]
USER_DATA 1 pb 0-281474976710655,18446744073709518850-u64max[c]
UNITS 0 ex unit_byte
UNITS 1 pb unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ex 5762714713815814144
PARAM_VALUE 1 pb 0-281483566645244,18446744069414584321-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ex->ee_block 0-u32max[u]
USER_DATA 0 ex->ee_len 0-u16max[c]
USER_DATA 1 pb 0-281481419161596,18446744069414584321-u64max
UNITS 1 pb unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ex 3977447497317937152
PARAM_VALUE 1 pb 0-281474976710655
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ex->ee_block 0-u32max[c][u]
USER_DATA 0 ex->ee_len 0-u16max[u]
USER_DATA 1 pb 0-281474976710655[c]
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
PARAM_VALUE 1 pb 0-281474976710655
NOSPEC 0 ex->ee_block
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ex->ee_block 0-4294967294
USER_DATA 1 pb 0-17179869183[c]
UNITS 0 ex unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
PARAM_VALUE 1 pb 0-281474976710655
NOSPEC 0 ex->ee_block
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ex->ee_block 0-4294967294
USER_DATA 1 pb 0-17179869183[c]
UNITS 0 ex unit_byte

fs/ext4/extents.c ext4_ext_map_blocks() -> ext4_ext_store_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 409180711978176512
NOSPEC 0 ex->ee_block
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ex->ee_block 0-4294967294
USER_DATA 0 ex->ee_len 0-u16max
USER_DATA 1 pb 0-281483566678010[c]
UNITS 1 pb unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
PARAM_VALUE 1 pb 0-281479271677950,18446744069414584321-u64max
CAPPED_DATA 1 pb 1
CAPPED_DATA 1 pb 1
DATA_SOURCE 1 pb $4
NOCHECK_CALL
UNITS 0 ex unit_byte
UNITS 1 pb unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
PARAM_VALUE 1 pb 0
CAPPED_DATA 0 ex->ee_block 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ex->ee_len 0-u16max[c]
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4189603434246529024
PARAM_VALUE 1 pb 0-281479271677950,18446744069414584321-u64max
MEM_ZERO 0 ex
NOCHECK_CALL
UNITS 1 pb unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4469965603761389572
BUF_SIZE 0 ex 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 pb unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 1 pb 100
BUF_SIZE 0 ex 48
NOCHECK_CALL
UNITS 0 ex unit_byte

fs/ext4/migrate.c finish_range() -> ext4_ext_store_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 6812328803347156992
PARAM_VALUE 1 pb 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem