Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/btrfs/ctree.c copy_for_split() -> insert_ptr()

Type Parameter Key Value
PARAM_VALUE 0 trans 4096-ptr_max
PARAM_VALUE 0 trans->fs_info 4096-ptr_max
PARAM_VALUE 0 trans->fs_info->block_group_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->block_group_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->chunk_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->chunk_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->dev_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->dev_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->quota_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->quota_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->remap_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->remap_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->stripe_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->stripe_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->uuid_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->uuid_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->nodes 4096-ptr_max
PARAM_VALUE 1 path->slots 4096-ptr_max
PARAM_VALUE 1 *path->locks 0-255
PARAM_VALUE 2 key 6817656848637120512
PARAM_VALUE 5 level 1
BUF_SIZE 0 trans (-1),1-s32max
BUF_SIZE 0 trans (-1),1-s32max
BUF_SIZE 1 path (-1)-s32max
BUF_SIZE 1 path (-1)-s32max
DATA_SOURCE 0 trans $0
DATA_SOURCE 1 path $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 trans->fs_info->chunk_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->chunk_root->dirty_log_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->tree_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->tree_root->dirty_log_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->vfs_inode.i_bytes
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->pinned_extents.inode->vfs_inode.i_bytes
UNITS 3 bytenr unit_byte
USER_PTR 0 trans->pending_snapshot->inherit
HALF_LOCKED2 &c->lock

fs/btrfs/ctree.c split_leaf() -> insert_ptr()

Type Parameter Key Value
PARAM_VALUE 0 trans->fs_info->block_group_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->block_group_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->chunk_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->chunk_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->dev_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->dev_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->quota_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->quota_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->remap_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->remap_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->stripe_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->stripe_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->uuid_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->uuid_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->transaction->dirty_pages.inode->delalloc_inodes.next->prev 4096-ptr_max
PARAM_VALUE 0 trans->transaction->dirty_pages.inode->root->delalloc_root.next->prev 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->nodes 4096-ptr_max
PARAM_VALUE 1 path->slots 4096-ptr_max
PARAM_VALUE 1 *path->locks 0-255
PARAM_VALUE 2 key 1753852253961891840
PARAM_VALUE 5 level 1
BUF_SIZE 0 trans (-1),1-s32max
BUF_SIZE 0 trans (-1),1-s32max
DATA_SOURCE 0 trans $0
DATA_SOURCE 1 path $3
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 trans->fs_info->chunk_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->chunk_root->dirty_log_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->tree_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->tree_root->dirty_log_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->vfs_inode.i_bytes
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->pinned_extents.inode->vfs_inode.i_bytes
UNITS 3 bytenr unit_byte
USER_PTR 0 trans->pending_snapshot->inherit

fs/btrfs/ctree.c split_leaf() -> insert_ptr()

Type Parameter Key Value
PARAM_VALUE 0 trans->fs_info->block_group_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->block_group_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->chunk_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->chunk_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->dev_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->dev_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->quota_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->quota_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->remap_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->remap_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->stripe_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->stripe_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->uuid_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->uuid_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->transaction->dirty_pages.inode->delalloc_inodes.next->prev 4096-ptr_max
PARAM_VALUE 0 trans->transaction->dirty_pages.inode->root->delalloc_root.next->prev 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->locks 4096-ptr_max
PARAM_VALUE 1 path->nodes 4096-ptr_max
PARAM_VALUE 1 path->slots 4096-ptr_max
PARAM_VALUE 1 *path->locks 0-255
PARAM_VALUE 2 key 1753852253961891840
PARAM_VALUE 5 level 1
DATA_SOURCE 0 trans $0
DATA_SOURCE 1 path $3
RX_PATH
NO_OVERFLOW_SIMPLE 0 trans->fs_info->chunk_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->chunk_root->dirty_log_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->tree_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->tree_root->dirty_log_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->vfs_inode.i_bytes
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->pinned_extents.inode->vfs_inode.i_bytes
UNITS 3 bytenr unit_byte

fs/btrfs/ctree.c split_node() -> insert_ptr()

Type Parameter Key Value
PARAM_VALUE 0 trans 4096-ptr_max
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->transaction->dirty_pages.inode->delalloc_inodes.next->prev 4096-ptr_max
PARAM_VALUE 0 trans->transaction->dirty_pages.inode->root->delalloc_root.next->prev 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->nodes 4096-ptr_max
PARAM_VALUE 1 path->slots 4096-ptr_max
PARAM_VALUE 1 *path->locks 0-255
PARAM_VALUE 1 *path->slots s32min-s32max
PARAM_VALUE 2 key 3622459804468310016
PARAM_VALUE 5 level 1-8
CAPPED_DATA 5 level 1
DATA_SOURCE 0 trans $0
DATA_SOURCE 1 path $2
UNITS 3 bytenr unit_byte