Defined in 3 files as a function:
- fs/btrfs/delayed-ref.c, line 358 (as a function)
- fs/btrfs/extent_map.c, line 91 (as a function)
- fs/btrfs/ordered-data.c, line 36 (as a function)
Referenced in 3 files:
Smatch caller information:
fs/btrfs/ordered-data.c btrfs_split_ordered_extent() -> tree_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root | 4096-ptr_max |
| PARAM_VALUE | 2 | node | 4096-ptr_max |
| NOSPEC | 1 | file_offset | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | file_offset | |
| UNITS | 1 | file_offset | unit_byte |
| LOCK2 | &inode->ordered_tree_lock | ||
| LOCK2 | &root->ordered_extent_lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct btrfs_inode)->ordered_tree_lock | ||
| TYPE_LOCK | (struct btrfs_root)->ordered_extent_lock |
fs/btrfs/ordered-data.c insert_ordered_extent() -> tree_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root | 4096-ptr_max |
| PARAM_VALUE | 2 | node | 4096-ptr_max |
| NOSPEC | 1 | file_offset | |
| NOSPEC | 1 | file_offset | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | file_offset | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 1 | file_offset | |
| UNITS | 1 | file_offset | unit_byte |
| LOCK2 | &inode->ordered_tree_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct btrfs_inode)->ordered_tree_lock |
fs/btrfs/extent_map.c add_extent_mapping() -> tree_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | file_offset | 4096-ptr_max |
| PARAM_VALUE | 1 | file_offset->offset | 0 |
| DATA_SOURCE | 1 | file_offset | $1 |
| NOSPEC | 1 | file_offset->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | file_offset->len | 0-9223372036854775807,18446744067267100675-u64max[c] |
| USER_DATA | 1 | file_offset->ram_bytes | 0-9223372036854775807,18446744067267100675-u64max[c] |
| USER_DATA | 1 | file_offset->start | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 1 | file_offset->start | |
| HALF_LOCKED2 | &em_tree->lock | ||
| HALF_LOCKED2 | &tree->lock | ||
| TYPE_LOCK | (struct extent_map_tree)->lock |
fs/btrfs/delayed-ref.c insert_delayed_ref() -> tree_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | file_offset | 4096-ptr_max |
| PARAM_VALUE | 1 | file_offset->action | 1-2 |
| PARAM_VALUE | 1 | file_offset->add_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | file_offset->add_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | file_offset->add_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | file_offset->add_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | file_offset->add_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | file_offset->ref_mod | 1 |
| PARAM_VALUE | 1 | file_offset->refs.refs.counter | 1 |
| PARAM_VALUE | 1 | file_offset->tree_ref.level | (-1)-255 |
| PARAM_VALUE | 1 | file_offset->type | 176,178,182,184 |
| DATA_SOURCE | 1 | file_offset | $2 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | file_offset->bytenr | |
| NO_OVERFLOW_SIMPLE | 1 | file_offset->num_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | file_offset->parent | |
| LOCK2 | &delayed_refs->lock | ||
| LOCK2 | &href->lock | ||
| HALF_LOCKED2 | &trans->fs_info->chunk_mutex | ||
| HALF_LOCKED2 | &trans->fs_info->commit_root_sem | ||
| HALF_LOCKED2 | &trans->fs_info->fs_devices->device_list_mutex | ||
| HALF_LOCKED2 | &trans->fs_info->fs_roots_radix_lock | ||
| HALF_LOCKED2 | &trans->fs_info->qgroup_ioctl_lock | ||
| HALF_LOCKED2 | &trans->fs_info->qgroup_lock | ||
| HALF_LOCKED2 | &trans->fs_info->unused_bg_unpin_mutex | ||
| HALF_LOCKED2 | &trans->transaction->cache_write_mutex | ||
| HALF_LOCKED2 | &trans->transaction->delayed_refs.lock | ||
| TYPE_LOCK | (struct btrfs_delayed_ref_head)->lock | ||
| TYPE_LOCK | (struct btrfs_delayed_ref_root)->lock |