Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/ext4/extents.c ext4_cache_extents() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_can_extents_be_merged() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
CAPPED_DATA 0 ex 1
DATA_SOURCE 0 ex $1
NOSPEC 0 ex->ee_block
NOSPEC 0 ex->ee_len
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ex->ee_block 0-u32max
USER_DATA 0 ex->ee_len 0-u16max[c]
USER_DATA 0 ex->ee_start_hi 0-3[c]
USER_DATA 0 ex->ee_start_lo 0-u32max[c]
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_can_extents_be_merged() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
CAPPED_DATA 0 ex->ee_block 1
DATA_SOURCE 0 ex $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ex->ee_len 0-u16max[c]
USER_DATA 0 ex->ee_start_hi 0-2[c]
USER_DATA 0 ex->ee_start_lo 0-32762[c]
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_ext_binsearch() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex 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_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4097-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-18446744073709547519
CAPPED_DATA 0 ex 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

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

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

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

fs/ext4/extents.c ext4_ext_find_goal() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
CAPPED_DATA 0 ex->ee_block 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 ex 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992
DATA_SOURCE 0 ex $3
NOSPEC 0 ex->ee_block
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ex->ee_block 0-4294967294
USER_DATA 0 ex->ee_len 0-u16max[c]
USER_DATA 0 ex->ee_start_hi 0-2[c]
USER_DATA 0 ex->ee_start_lo 0-32762[c]

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

Type Parameter Key Value
PARAM_VALUE 0 ex 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992
DATA_SOURCE 0 ex $3
NOSPEC 0 ex->ee_block
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ex->ee_block 0-4294967294
USER_DATA 0 ex->ee_len 0-u16max[c]
USER_DATA 0 ex->ee_start_hi 0-2[c]
USER_DATA 0 ex->ee_start_lo 0-32762[c]

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

Type Parameter Key Value
PARAM_VALUE 0 ex 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992
DATA_SOURCE 0 ex $3
NOSPEC 0 ex->ee_block
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ex->ee_block 1-4294967294
USER_DATA 0 ex->ee_len 0-u16max[c]
USER_DATA 0 ex->ee_start_hi 0-2[c]
USER_DATA 0 ex->ee_start_lo 0-32762[c]

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

Type Parameter Key Value
PARAM_VALUE 0 ex 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992
CAPPED_DATA 0 ex->ee_block 1
DATA_SOURCE 0 ex $3
NOSPEC 0 ex->ee_block
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ex->ee_block 0-s32max[c]
USER_DATA 0 ex->ee_len 0-u16max[c]
USER_DATA 0 ex->ee_start_hi 0-2[c]
USER_DATA 0 ex->ee_start_lo 0-32762[c]

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

Type Parameter Key Value
PARAM_VALUE 0 ex 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992
DATA_SOURCE 0 ex $3
NOSPEC 0 ex->ee_block
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ex->ee_block 0-4294967294
USER_DATA 0 ex->ee_len 0-u16max[c]
USER_DATA 0 ex->ee_start_hi 0-2[c]
USER_DATA 0 ex->ee_start_lo 0-32762[c]

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

Type Parameter Key Value
PARAM_VALUE 0 ex 409180711978176512,2123593783147581440,4189603434246529024,6812328803347156992
DATA_SOURCE 0 ex $3
NOSPEC 0 ex->ee_block
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ex->ee_block 0-4294967294
USER_DATA 0 ex->ee_len 0-u16max[c]
USER_DATA 0 ex->ee_start_hi 0-2[c]
USER_DATA 0 ex->ee_start_lo 0-32762[c]

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_ext_remove_space() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
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_ext_rm_leaf() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-18446744073709547519
RX_PATH
TASK_NOT_RUNNING
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_ext_search_left() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
CAPPED_DATA 0 ex->ee_block 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_ext_search_right() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte

fs/ext4/extents.c ext4_ext_zeroout() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 3977447497317937152,5762714713815814144
DATA_SOURCE 0 ex $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ex->ee_block 0-u32max[u]
USER_DATA 0 ex->ee_len 0-u16max
USER_DATA 0 ex->ee_start_hi 0-u16max[c]
USER_DATA 0 ex->ee_start_lo 0-u32max[c]
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_find_extent() -> ext4_ext_pblock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock

fs/ext4/extents.c ext4_remove_blocks() -> ext4_ext_pblock()

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

fs/ext4/extents.c ext4_remove_blocks() -> ext4_ext_pblock()

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

fs/ext4/extents.c ext4_split_convert_extents() -> ext4_ext_pblock()

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

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

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte

fs/ext4/extents.c ext4_split_extent_zeroout() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_split_extent_zeroout() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_split_extent_zeroout() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_valid_extent() -> ext4_ext_pblock()

Type Parameter Key Value
DATA_SOURCE 0 ex $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &ei->i_data_sem
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_valid_extent_entries() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
CAPPED_DATA 0 ex->ee_block 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &ei->i_data_sem
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_zeroout_es() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 3977447497317937152,5762714713815814144
DATA_SOURCE 0 ex $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ex->ee_block 0-u32max[u]
USER_DATA 0 ex->ee_len 0-u16max
USER_DATA 0 ex->ee_start_hi 0-u16max[c]
USER_DATA 0 ex->ee_start_lo 0-u32max[c]
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c get_implied_cluster_alloc() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
DATA_SOURCE 0 ex $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ex 369127382467829764
BUF_SIZE 0 ex 12

fs/ext4/fast_commit.c ext4_fc_replay_scan() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 6385259367179141124
BUF_SIZE 0 ex 12

fs/ext4/extents-test.c test_split_convert() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
UNITS 0 ex unit_byte

fs/ext4/migrate.c ext4_ind_migrate() -> ext4_ext_pblock()

Type Parameter Key Value
PARAM_VALUE 0 ex 4096-ptr_max
BUF_SIZE 0 ex 48
BUF_SIZE 0 ex 48
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ex unit_byte
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem