Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 7 files:
- fs/btrfs/fiemap.c
- fs/btrfs/file.c
- fs/btrfs/free-space-cache.c, line 1261
- fs/btrfs/inode.c
- fs/btrfs/ioctl.c
- fs/btrfs/reflink.c
- fs/btrfs/relocation.c, line 5407
Smatch caller information:
fs/btrfs/file.c btrfs_fallocate() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-9223372036854775807 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-9223372036854775807[c] |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/file.c btrfs_punch_hole() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-9223372036854775807 |
| USER_DATA | 2 | len | 1-9223372036854775807 |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/file.c btrfs_sync_file() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | len | 9223372036854775808 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | start | unit_byte |
| HALF_LOCKED2 | 0 | &inode->i_mmap_lock | |
| HALF_LOCKED2 | 0 | &inode->vfs_inode.i_rwsem |
fs/btrfs/file.c btrfs_sync_file() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->ordered_tree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.count.counter | s64min-(-1),1-s64max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | len | 9223372036854775808 |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | start | unit_byte |
| HALF_LOCKED2 | 0 | &inode->i_mmap_lock | |
| HALF_LOCKED2 | 0 | &inode->vfs_inode.i_rwsem |
fs/btrfs/file.c btrfs_sync_file() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->i_mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->ordered_tree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root->fs_info->log_root_tree->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->root->fs_info->log_root_tree->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->root->fs_info->qgroup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->root->qgroup_meta_rsv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | len | 9223372036854775808 |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | start | unit_byte |
fs/btrfs/inode.c btrfs_do_encoded_write() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | start | 0-9223372036854775806,9223372036854775808-u64max |
| PARAM_VALUE | 2 | len | 0-5294967294 |
| CAPPED_DATA | 0 | inode->vfs_inode.i_size | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| CAPABLE | 0 | 21 | |
| BIT_INFO | 0 | inode->flags | 0x0,0xfffffffe |
| BIT_INFO | 1 | start | 0x0,0x7fffffffffffffff |
| BIT_INFO | 1 | start | 0x0,0x7fffffffffffffff |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-1000000000[c] |
| USER_DATA | 2 | len | 0-5294967294[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | len | unit_byte |
fs/btrfs/inode.c btrfs_encoded_read() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root->fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_size | 1-s64max |
| PARAM_VALUE | 1 | start | 0-5294967294 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | len | 1 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-9223372036854775807[c] |
| LOCK2 | 0 | &inode->vfs_inode.i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/btrfs/inode.c btrfs_setsize() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-9223372036854775807 |
| PARAM_VALUE | 2 | len | u64max |
| CAPPED_DATA | 1 | start | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-4294963198[c] |
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/inode.c btrfs_setsize() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | len | u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/inode.c btrfs_swap_activate() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | len | u64max |
| CAPABLE | 0 | 21 | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/btrfs/free-space-cache.c flush_dirty_cache() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | len | u64max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &trans->transaction->cache_write_mutex |
fs/btrfs/relocation.c do_nonremap_reloc() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | len | u64max |
fs/btrfs/ioctl.c btrfs_ioctl_get_csums() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root->fs_info | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1-u64max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| USER_DATA | 1 | start | 0-s32max[c] |
| USER_DATA | 2 | len | 1-u64max |
| NO_OVERFLOW_SIMPLE | 1 | start | |
| NO_OVERFLOW_SIMPLE | 2 | len | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | len | unit_byte |
fs/btrfs/ioctl.c btrfs_ioctl_get_csums() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->ordered_tree_last | 1-u64max |
| PARAM_VALUE | 0 | inode->ordered_tree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root->fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | len | 1-u64max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| USER_DATA | 1 | start | 0-s32max[c] |
| USER_DATA | 2 | len | 1-u64max |
| NO_OVERFLOW_SIMPLE | 1 | start | |
| NO_OVERFLOW_SIMPLE | 2 | len | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | len | unit_byte |
| LOCK2 | &vfs_inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/btrfs/reflink.c btrfs_clone_files() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->chunk_alloc | 0-1 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->clamp | s32min-s32max |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->flush | 0-1 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->force_alloc | 0-4294967295 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->fs_info->delalloc_bytes.lock.owner | (-1) |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->fs_info->delalloc_bytes.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->fs_info->ordered_bytes.lock.owner | (-1) |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->fs_info->ordered_bytes.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->fs_info->tree_root->reloc_root->dirty_log_pages.owner | 0,6 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->fs_info->tree_root->reloc_root->log_csum_range.owner | 0,8 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->fs_info->tree_root->reloc_root->log_transid_committed | (-1) |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->fs_info->tree_root->reloc_root->refs.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->fs_info->tree_root->reloc_root->root_key.type | 132 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->fs_info->unused_bgs.prev->next | 4762261445979717632 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->full | 0-1 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->priority_tickets.prev->next | 643370198843097104 |
| PARAM_VALUE | 0 | inode->block_rsv.space_info->tickets.prev | 643370198843097104 |
| PARAM_VALUE | 0 | inode->extent_tree.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->extent_tree.modified_extents.next->prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->io_tree.inode->delalloc_inodes.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->io_tree.inode->root->delalloc_root.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->io_tree.inode->root->fs_info->delalloc_bytes.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->ordered_tree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root->fs_info->block_group_cache_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->root->fs_info->global_root_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->root->qgroup_meta_rsv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_data.host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_data.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 | inode->vfs_inode.i_data.host->i_sb->s_export_op->fh_to_parent | 0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_data.host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_size | 0-9223372036854775806 |
| PARAM_VALUE | 0 | *inode->block_rsv->space_info->fs_info->delalloc_bytes.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *inode->block_rsv->space_info->fs_info->ordered_bytes.lock.owner | (-4611686018427387904)-4611686018427387903 |
| CAPPED_DATA | 0 | inode->vfs_inode.i_mapping | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->csum_bytes | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &src_inode->vfs_inode.i_rwsem |
fs/btrfs/reflink.c btrfs_clone_files() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->io_tree.inode->root->fs_info->delalloc_bytes.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->io_tree.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_data.host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_data.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 | inode->vfs_inode.i_data.host->i_sb->s_export_op->fh_to_parent | 0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_data.host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 1 | start | 0-9223372036854775807 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 1 | start | $4 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-9223372036854775807[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->csum_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | start | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &src_inode->vfs_inode.i_rwsem |
fs/btrfs/reflink.c btrfs_remap_file_range_prep() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->host | 0,4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-9223372036854775807 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-9223372036854775807[c] |
| USER_DATA | 2 | len | 0-9223372036854775807[c] |
| HALF_LOCKED2 | &src_inode->vfs_inode.i_rwsem |
fs/btrfs/reflink.c btrfs_remap_file_range_prep() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->root->fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-9223372036854775807 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-9223372036854775807[c] |
| USER_DATA | 2 | len | 0-9223372036854775807[c] |
| HALF_LOCKED2 | &src_inode->vfs_inode.i_rwsem |
fs/btrfs/fiemap.c btrfs_fiemap() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | len | 9223372036854775807 |
fs/btrfs/fiemap.c btrfs_fiemap() -> btrfs_wait_ordered_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_mmap_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->i_mmap_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | inode->i_mmap_lock.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | inode->i_mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->i_mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->ordered_tree_last | 1-u64max |
| PARAM_VALUE | 0 | inode->ordered_tree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | len | 9223372036854775807 |
| LOCK2 | 0 | &inode->vfs_inode.i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |