Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/btrfs/tree-log.c log_csums() -> btrfs_insert_data_csums()
| 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->transid | 1-u64max |
| PARAM_VALUE | 1 | root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | sums | 4096-ptr_max |
| DATA_SOURCE | 0 | trans | $0 |
| DATA_SOURCE | 1 | root | $2 |
| DATA_SOURCE | 2 | sums | $3 |
| NO_OVERFLOW_SIMPLE | 0 | trans->transaction->dirty_pages.inode->vfs_inode.i_bytes |
fs/btrfs/tree-log.c log_csums() -> btrfs_insert_data_csums()
| 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 | 1 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | root->accounting_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | root->dirty_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | root->fs_info->dirty_cowonly_roots.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | root->fs_info->global_block_rsv.full | 1 |
| PARAM_VALUE | 1 | root->fs_info->global_block_rsv.reserved | 0-536870912 |
| PARAM_VALUE | 1 | root->fs_info->trans_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | root->log_csum_range.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | root->node->fs_info->tree_mod_log_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | root->node->fs_info->tree_mod_log_lock.owner | (-1) |
| PARAM_VALUE | 1 | root->node->fs_info->tree_mod_log_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | root->node->refs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | sums | 4096-ptr_max |
| CAPPED_DATA | 1 | root | 1 |
| DATA_SOURCE | 0 | trans | $0 |
| DATA_SOURCE | 1 | root | $2 |
| DATA_SOURCE | 2 | sums | $3 |
| NO_OVERFLOW_SIMPLE | 0 | trans->transaction->dirty_pages.inode->vfs_inode.i_bytes |
fs/btrfs/tree-log.c replay_one_extent() -> btrfs_insert_data_csums()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | trans | 4096-ptr_max |
| PARAM_VALUE | 0 | trans->fs_info->block_group_cache_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | trans->fs_info->btree_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| 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->delalloc_root_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | trans->fs_info->delayed_refs_rsv.full | 0 |
| PARAM_VALUE | 0 | trans->fs_info->global_root_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | trans->fs_info->qgroup_lock.rlock.dep_map->name | 0-255 |
| 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->aborted | s32min-(-27),(-17),(-12),(-5),(-2) |
| PARAM_VALUE | 0 | trans->transaction->dirty_bgs.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | trans->transaction->dirty_bgs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | trans->transaction->dirty_bgs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | trans->transaction->dirty_bgs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | trans->transaction->pinned_extents.inode->delalloc_inodes.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | trans->transaction->pinned_extents.inode->root->delalloc_root.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | root->accounting_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | root->dirty_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | root->fs_info->dirty_cowonly_roots.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | root->fs_info->global_block_rsv.full | 1 |
| PARAM_VALUE | 1 | root->fs_info->global_block_rsv.reserved | 0-536870912 |
| PARAM_VALUE | 1 | root->fs_info->trans_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | root->node->fs_info->tree_mod_log_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | root->node->fs_info->tree_mod_log_lock.owner | (-1) |
| PARAM_VALUE | 1 | root->node->fs_info->tree_mod_log_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | root->node->refs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | sums | 4096-ptr_max |
| CAPPED_DATA | 1 | root | 1 |
| DATA_SOURCE | 1 | root | r btrfs_csum_root |
fs/btrfs/inode.c add_pending_csums() -> btrfs_insert_data_csums()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | trans | 4096-ptr_max |
| PARAM_VALUE | 0 | trans->adding_csums | 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->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 | 1 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | sums | 4096-ptr_max |
| CAPPED_DATA | 0 | trans | 1 |
| CAPPED_DATA | 2 | &sums->list | 1 |
| DATA_SOURCE | 0 | trans | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |