Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/dev-replace.c btrfs_bio_counter_dec() -> btrfs_bio_counter_sub()
| 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->remap_root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->remap_root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->remap_root->fs_info->tree_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->remap_root->fs_info->tree_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->remap_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->remap_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 |
| PARAM_VALUE | 1 | amount | 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 btrfs_bio_counter_dec() -> btrfs_bio_counter_sub()
| 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 | 1 | amount | 1 |
| BUF_SIZE | 0 | fs_info | (-1),128 |
| BUF_SIZE | 0 | fs_info | (-1),128 |
| DATA_SOURCE | 0 | fs_info | $0 |
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
fs/btrfs/extent-tree.c btrfs_bio_counter_dec() -> btrfs_bio_counter_sub()
| 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_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->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->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->stripe_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | amount | 1 |
| DATA_SOURCE | 0 | fs_info | $0 |
| PREEMPT_ADD | |||
| 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_bio_counter_dec() -> btrfs_bio_counter_sub()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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 |
| PARAM_VALUE | 1 | amount | 1 |
| DATA_SOURCE | 0 | fs_info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |