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 |