Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/btrfs/inode.c btrfs_destroy_inode() -> btrfs_inode_clear_file_extent_range()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->extent_tree.lock.dep_map->name 0-255
PARAM_VALUE 0 inode->extent_tree.lock.owner (-1)
PARAM_VALUE 0 inode->extent_tree.lock.owner_cpu u32max
PARAM_VALUE 0 inode->ordered_tree_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->root 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info->dead_roots.next 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info->dead_roots.next->next 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info->dead_roots.next->prev 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info->dead_roots.prev 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info->dead_roots.prev->next 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info->dead_roots.prev->next->next 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info->sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 inode->root->fs_info->trans_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->root->refs.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 inode->root->root_list.next 4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len u64max
CAPPED_DATA 0 inode 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/btrfs/inode-item.c btrfs_truncate_inode_items() -> btrfs_inode_clear_file_extent_range()

Type Parameter Key Value
PARAM_VALUE 0 inode 0,4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info->sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 inode->vfs_inode.i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
RX_PATH
TASK_NOT_RUNNING
UNITS 1 start unit_byte
UNITS 2 len unit_byte