Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/btrfs/disk-io.c close_ctree() -> btrfs_discard_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->async_data_reclaim_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->async_reclaim_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->balance_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->balance_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->balance_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | fs_info->balance_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fs_info->cleaner_kthread | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->cleanup_work_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->cleanup_work_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->defrag_inodes_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->delalloc_root_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->delalloc_workers | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->delalloc_workers->normal_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | fs_info->delalloc_workers->normal_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->delalloc_workers->normal_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fs_info->delalloc_workers->normal_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | fs_info->delalloc_workers->normal_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->delalloc_workers->normal_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | fs_info->delalloc_workers->normal_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->delalloc_workers->normal_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->delayed_iput_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->dev_replace.item_needs_writeback | 1 |
| PARAM_VALUE | 0 | fs_info->dev_replace.lock_finishing_cancel_unmount.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->dev_replace.lock_finishing_cancel_unmount.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | fs_info->dev_replace.lock_finishing_cancel_unmount.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fs_info->dev_replace.replace_state | 4 |
| PARAM_VALUE | 0 | fs_info->em_shrinker_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->endio_freespace_worker | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->endio_freespace_worker->normal_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | fs_info->endio_freespace_worker->normal_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fs_info->endio_freespace_worker->normal_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | fs_info->endio_freespace_worker->normal_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_freespace_worker->normal_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | fs_info->endio_freespace_worker->normal_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_freespace_worker->normal_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_write_workers | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->endio_write_workers->normal_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | fs_info->endio_write_workers->normal_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->endio_write_workers->normal_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fs_info->endio_write_workers->normal_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | fs_info->endio_write_workers->normal_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_write_workers->normal_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | fs_info->endio_write_workers->normal_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_write_workers->normal_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->ordered_operations_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->ordered_operations_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | fs_info->ordered_operations_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->ordered_operations_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | fs_info->ordered_operations_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | fs_info->ordered_operations_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->ordered_operations_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fs_info->ordered_root_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->ordered_roots.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->preempt_reclaim_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->qgroup_rescan_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->qgroup_rescan_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | fs_info->qgroup_rescan_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->qgroup_rescan_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | fs_info->qgroup_rescan_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | fs_info->qgroup_rescan_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->qgroup_rescan_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->qgroup_rescan_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fs_info->reclaim_bgs_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | fs_info->scrub_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->scrub_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->scrub_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | fs_info->scrub_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fs_info->transaction_wait.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->uuid_tree_rescan_sem.first_waiter->up | 1 |
| PARAM_VALUE | 0 | fs_info->uuid_tree_rescan_sem.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->uuid_tree_rescan_sem.lock.owner | (-1) |
| PARAM_VALUE | 0 | fs_info->uuid_tree_rescan_sem.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fs_info->workers | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->workers->normal_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | fs_info->workers->normal_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->workers->normal_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fs_info->workers->normal_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | fs_info->workers->normal_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->workers->normal_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | fs_info->workers->normal_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->workers->normal_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | *fs_info->delalloc_workers->normal_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *fs_info->endio_freespace_worker->normal_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *fs_info->endio_write_workers->normal_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *fs_info->workers->normal_wq->lockdep_map->name | 0-255 |
| BUF_SIZE | 0 | fs_info | (-1),1-s32max |
| BUF_SIZE | 0 | fs_info | (-1),1-s32max |
| CAPPED_DATA | 0 | fs_info->cleaner_kthread | 1 |
| CAPPED_DATA | 0 | &fs_info->async_data_reclaim_work | 1 |
| CAPPED_DATA | 0 | &fs_info->async_reclaim_work | 1 |
| CAPPED_DATA | 0 | &fs_info->em_shrinker_work | 1 |
| CAPPED_DATA | 0 | &fs_info->preempt_reclaim_work | 1 |
| CAPPED_DATA | 0 | &fs_info->reclaim_bgs_work | 1 |
| DATA_SOURCE | 0 | fs_info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
fs/btrfs/super.c btrfs_remount_cleanup() -> btrfs_discard_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->cleanup_work_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->cleanup_work_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->compress_type | 0-15 |
| PARAM_VALUE | 0 | fs_info->fs_root->fs_info->tree_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->fs_root->fs_info->tree_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->sb->s_bdi->wb_switch_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->sb->s_bdi->wb_switch_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->tree_root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->tree_root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->tree_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->tree_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->uuid_tree_rescan_sem.first_waiter->up | 0-1 |
| BUF_SIZE | 0 | fs_info | 1-s32max |
| BUF_SIZE | 0 | fs_info | 1-s32max |
| DATA_SOURCE | 0 | fs_info | $0 |
| BIT_INFO | 0 | fs_info->mount_opt | 0x0,0xfffffffffbffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
fs/btrfs/super.c btrfs_remount_ro() -> btrfs_discard_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->async_data_reclaim_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->async_reclaim_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->compress_type | 0-15 |
| PARAM_VALUE | 0 | fs_info->mount_opt | 0,4096-u64max |
| PARAM_VALUE | 0 | fs_info->sb->s_bdi->wb_switch_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->sb->s_bdi->wb_switch_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->sb->s_bdi->wb_switch_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | fs_info->sb->s_bdi->wb_switch_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | fs_info->sb->s_bdi->wb_switch_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->sb->s_inode_wblist_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->sb->s_inodes_wb.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->sb->s_inodes_wb.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->sb->s_sync_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->sb->s_sync_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->sb->s_sync_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | fs_info->sb->s_sync_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | fs_info->sb->s_sync_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->sb->s_sync_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | fs_info->sb->s_sync_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | fs_info->sb->s_sync_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->sb->s_sync_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->sb->s_sync_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fs_info->super_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fs_info->transaction_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->transaction_wait.head.prev->next->next | 4096-ptr_max |
| BUF_SIZE | 0 | fs_info | 1-s32max |
| BUF_SIZE | 0 | fs_info | 1-s32max |
| CAPPED_DATA | 0 | &fs_info->async_data_reclaim_work | 1 |
| CAPPED_DATA | 0 | &fs_info->async_reclaim_work | 1 |
| DATA_SOURCE | 0 | fs_info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |
fs/btrfs/discard.c btrfs_discard_resume() -> btrfs_discard_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->block_group_root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->block_group_root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| 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->caching_workers->limit_active | s32min-4294967295 |
| PARAM_VALUE | 0 | fs_info->chunk_root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->chunk_root->fs_info->commit_root_sem.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->cleanup_work_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->cleanup_work_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->delalloc_workers->limit_active | s32min-4294967295 |
| PARAM_VALUE | 0 | fs_info->delayed_workers->limit_active | s32min-4294967295 |
| PARAM_VALUE | 0 | fs_info->dev_root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->dev_root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| 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->endio_freespace_worker->limit_active | s32min-4294967295 |
| PARAM_VALUE | 0 | fs_info->endio_meta_workers->flags | 0-4294967295 |
| PARAM_VALUE | 0 | fs_info->endio_meta_workers->max_active | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_meta_workers->min_active | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_meta_workers->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_meta_workers->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_workers->flags | 0-4294967295 |
| PARAM_VALUE | 0 | fs_info->endio_workers->max_active | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_workers->min_active | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_workers->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_workers->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | fs_info->endio_write_workers->limit_active | s32min-4294967295 |
| PARAM_VALUE | 0 | fs_info->fs_root->fs_info->tree_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->fs_root->fs_info->tree_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->quota_root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->quota_root->fs_info->commit_root_sem.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 | 4096-ptr_max |
| PARAM_VALUE | 0 | fs_info->sb->s_bdi->wb_switch_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->sb->s_bdi->wb_switch_rwsem.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 | 0 | fs_info->tree_root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->tree_root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->tree_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | fs_info->tree_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | fs_info->uuid_tree_rescan_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | fs_info->workers->limit_active | s32min-4294967295 |
| BUF_SIZE | 0 | fs_info | 1-s32max |
| BUF_SIZE | 0 | fs_info | 1-s32max |
| DATA_SOURCE | 0 | fs_info | $0 |
| BIT_INFO | 0 | fs_info->mount_opt | 0x0,0xfffffffffbffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | fs_info | unit_byte |