Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- fs/ext4/extents.c
- fs/ext4/extents_status.c, line 756
- fs/ext4/fast_commit.c
- fs/ext4/migrate.c, line 60
- fs/ext4/verity.c
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 |