Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/ext4/extents.c ext4_clu_mapped() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
DATA_SOURCE 0 path r ext4_find_extent
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/extents.c ext4_ext_clear_bb() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 0,4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
DATA_SOURCE 0 path $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_ext_create_new_leaf() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
CAPPED_DATA 0 path 1
DATA_SOURCE 0 path $4 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_ext_handle_unwritten_extents() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
CAPPED_DATA 0 path 1
DATA_SOURCE 0 path r ext4_ext_convert_to_initialized
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->p_depth 1-u16max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
CAPPED_DATA 0 path->p_depth 1
DATA_SOURCE 0 path $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->p_depth 1-u16max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
CAPPED_DATA 0 path->p_depth 1
DATA_SOURCE 0 path r ext4_find_extent
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 path 0-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
DATA_SOURCE 0 path $2 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/extents.c ext4_ext_precache() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path 96-3145728
BUF_SIZE 0 path 96-3145728
DATA_SOURCE 0 path r _kzalloc_noprof
NOCHECK_CALL
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 path 4096-u64max
BUF_SIZE 0 path 0-3145728,u64max
BUF_SIZE 0 path 0-3145728,u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock

fs/ext4/extents.c ext4_ext_replay_shrink_inode() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
DATA_SOURCE 0 path r ext4_find_extent
NOCHECK_CALL

fs/ext4/extents.c ext4_ext_replay_shrink_inode() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
DATA_SOURCE 0 path r ext4_find_extent
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 path 4096-u64max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 path 0-ptr_max
BUF_SIZE 0 path 0-3145728,u64max
BUF_SIZE 0 path 0-3145728,u64max
DATA_SOURCE 0 path $2 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock

fs/ext4/extents.c ext4_insert_range() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 0-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
LOCK2 &mapping->invalidate_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct inode)->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
DATA_SOURCE 0 path r ext4_find_extent
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/extents.c ext4_split_extent() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
CAPPED_DATA 0 path 1
DATA_SOURCE 0 path r ext4_find_extent
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_split_extent() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
DATA_SOURCE 0 path r ext4_find_extent
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
DATA_SOURCE 0 path $2 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 path 0,4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
NOCHECK_CALL

fs/ext4/fast_commit.c ext4_fc_set_bitmaps_and_counters() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 0,4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
NOCHECK_CALL

fs/ext4/verity.c ext4_get_verity_descriptor_location() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
DATA_SOURCE 0 path r ext4_find_extent
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/verity.c ext4_get_verity_descriptor_location() -> ext4_free_ext_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
DATA_SOURCE 0 path r ext4_find_extent
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 path 4096-u64max
PARAM_VALUE 0 path->p_depth 1-u16max
BUF_SIZE 0 path (-1)-3145728
BUF_SIZE 0 path (-1)-3145728
CAPPED_DATA 0 path 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem