Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/delayed-ref.c add_delayed_ref() -> btrfs_update_delayed_refs_rsv()

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->delayed_refs_rsv.space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->dev_replace.rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->dev_replace.rwsem.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->transaction_kthread->sched_class->uclamp_enabled 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->delayed_refs.head_refs.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->transaction->delayed_refs.lock.rlock.dep_map->name 0-255
BUF_SIZE 0 trans (-1)-s32max
BUF_SIZE 0 trans (-1)-s32max
BUF_SIZE 0 trans->block_rsv (-1)-0,120
BUF_SIZE 0 trans->pending_snapshot (-1),208
BUF_SIZE 0 trans->transaction (-1),1240
DATA_SOURCE 0 trans $0
STR_LEN 0 trans (-1)-1010101
STR_LEN 0 trans (-1)-1010101
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 trans->block_rsv->space_info->bytes_may_use
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->stripe_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->stripe_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->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->pinned_extents.inode->vfs_inode.i_bytes
NO_OVERFLOW_SIMPLE 0 trans->transaction->pinned_extents.inode->vfs_inode.i_size
USER_PTR 0 trans->pending_snapshot->inherit
HALF_LOCKED2 0 &trans->fs_info->chunk_mutex
HALF_LOCKED2 0 &trans->fs_info->commit_root_sem
HALF_LOCKED2 0 &trans->fs_info->fs_devices->device_list_mutex
HALF_LOCKED2 0 &trans->fs_info->fs_roots_radix_lock
HALF_LOCKED2 0 &trans->fs_info->qgroup_ioctl_lock
HALF_LOCKED2 0 &trans->fs_info->qgroup_lock
HALF_LOCKED2 0 &trans->fs_info->unused_bg_unpin_mutex
HALF_LOCKED2 0 &trans->transaction->cache_write_mutex
HALF_LOCKED2 0 &trans->transaction->delayed_refs.lock

fs/btrfs/delayed-ref.c btrfs_add_delayed_extent_op() -> btrfs_update_delayed_refs_rsv()

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->delayed_refs_rsv.space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->dev_replace.rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->dev_replace.rwsem.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->transaction_kthread->sched_class->uclamp_enabled 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->delayed_refs.dirty_extents.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->transaction->delayed_refs.head_refs.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->transaction->delayed_refs.lock.rlock.dep_map->name 0-255
BUF_SIZE 0 trans (-1),1-s32max
BUF_SIZE 0 trans (-1),1-s32max
BUF_SIZE 0 trans->block_rsv (-1),120
DATA_SOURCE 0 trans $0
STR_LEN 0 trans (-1)-1010101
STR_LEN 0 trans (-1)-1010101
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->stripe_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->stripe_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->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->pinned_extents.inode->vfs_inode.i_bytes
NO_OVERFLOW_SIMPLE 0 trans->transaction->pinned_extents.inode->vfs_inode.i_size
USER_PTR 0 trans->pending_snapshot->inherit
HALF_LOCKED2 &fs_info->cleaner_mutex
HALF_LOCKED2 0 &trans->fs_info->commit_root_sem
HALF_LOCKED2 0 &trans->fs_info->fs_devices->device_list_mutex
HALF_LOCKED2 0 &trans->fs_info->fs_roots_radix_lock
HALF_LOCKED2 0 &trans->fs_info->qgroup_ioctl_lock
HALF_LOCKED2 0 &trans->fs_info->qgroup_lock
HALF_LOCKED2 0 &trans->fs_info->unused_bg_unpin_mutex
HALF_LOCKED2 0 &trans->transaction->delayed_refs.lock