Defined in 1 files as a function:
Referenced in 4 files:
- fs/btrfs/bio.c
- fs/btrfs/dev-replace.c, line 1367
- fs/btrfs/extent-tree.c, line 1483
- fs/btrfs/scrub.c, line 2118
Smatch caller information:
fs/btrfs/dev-replace.c btrfs_bio_counter_inc_blocked() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->block_group_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->block_group_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->chunk_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->chunk_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.counters | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.owner | (-1) |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fs_info->dev_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->dev_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->quota_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->quota_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->stripe_root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->stripe_root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->stripe_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->stripe_root->node->lock.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | fs_info | (-1),128 |
| BUF_SIZE | 0 | fs_info | (-1),128 |
| DATA_SOURCE | 0 | fs_info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fs_info->balance_ctl->data.devid | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.flags | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.limit | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.limit_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.limit_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.pend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.profiles | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.pstart | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.stripes_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.stripes_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.target | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.usage | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.usage_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.usage_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.vend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.vstart | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->flags | 0-2046 |
| USER_DATA | 0 | fs_info->balance_ctl->meta.devid | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.flags | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.limit | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.limit_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.limit_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.pend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.profiles | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.pstart | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.stripes_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.stripes_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.target | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.usage | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.usage_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.usage_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.vend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.vstart | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.devid | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.flags | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.limit | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.limit_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.limit_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.pend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.profiles | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.pstart | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.stripes_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.stripes_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.target | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.usage | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.usage_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.usage_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.vend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.vstart | 0-u64max |
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | 0 | &fs_info->reclaim_bgs_lock | |
| HALF_LOCKED2 | 0 | &fs_info->unused_bg_unpin_mutex |
fs/btrfs/scrub.c scrub_raid56_cached_parity() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next->next | 4096-ptr_max |
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
fs/btrfs/extent-tree.c btrfs_discard_extent() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.counters | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.owner | (-1) |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_root->fs_info->tree_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->dev_root->fs_info->tree_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->sb->s_umount.first_waiter->type | 0-1 |
| DATA_SOURCE | 0 | fs_info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fs_info->balance_ctl->data.devid | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.flags | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.limit | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.limit_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.limit_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.pend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.profiles | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.pstart | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.stripes_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.stripes_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.target | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.usage | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.usage_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.usage_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->data.vend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->data.vstart | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->flags | 0-2046 |
| USER_DATA | 0 | fs_info->balance_ctl->meta.devid | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.flags | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.limit | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.limit_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.limit_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.pend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.profiles | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.pstart | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.stripes_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.stripes_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.target | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.usage | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.usage_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.usage_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.vend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->meta.vstart | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.devid | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.flags | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.limit | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.limit_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.limit_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.pend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.profiles | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.pstart | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.stripes_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.stripes_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.target | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.usage | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.usage_max | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.usage_min | 0-u32max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.vend | 0-u64max |
| USER_DATA | 0 | fs_info->balance_ctl->sys.vstart | 0-u64max |
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | 0 | &fs_info->reclaim_bgs_lock | |
| HALF_LOCKED2 | 0 | &fs_info->unused_bg_unpin_mutex |
fs/btrfs/bio.c btrfs_raid56_end_io() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
fs/btrfs/bio.c btrfs_repair_io_failure() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next->next | 4096-ptr_max |
| DATA_SOURCE | 0 | fs_info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
fs/btrfs/bio.c btrfs_simple_end_io() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
fs/btrfs/bio.c btrfs_submit_chunk() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next->next | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &fs_info->remap_mutex | ||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/bio.c btrfs_submit_chunk() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next->next | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &fs_info->remap_mutex | ||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/bio.c btrfs_submit_chunk() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next->next | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &fs_info->remap_mutex | ||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/bio.c btrfs_submit_repair_write() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.bio_counter.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_wait.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->mapping_tree_lock.dep_map->name | 0-255 |
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
fs/btrfs/bio.c orig_write_end_io_work() -> btrfs_bio_counter_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &pool->lock |