Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/btrfs/tree-log.c btrfs_log_holes() -> btrfs_insert_hole_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | pos | 0-18446744073709551614 |
| PARAM_VALUE | 4 | num_bytes | 1-u64max |
| CAPPED_DATA | 2 | objectid | 1 |
| CAPPED_DATA | 2 | objectid | 1 |
| CAPPED_DATA | 3 | pos | 1 |
| CAPPED_DATA | 3 | pos | 1 |
| DATA_SOURCE | 0 | trans | $0 |
| UNITS | 2 | objectid | unit_byte |
| UNITS | 3 | pos | unit_byte |
| UNITS | 4 | num_bytes | unit_byte |
fs/btrfs/tree-log.c btrfs_log_holes() -> btrfs_insert_hole_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | pos | 0-18446744073709551614 |
| CAPPED_DATA | 3 | pos | 1 |
| CAPPED_DATA | 3 | pos | 1 |
| CAPPED_DATA | 4 | num_bytes | 1 |
| CAPPED_DATA | 4 | num_bytes | 1 |
| DATA_SOURCE | 0 | trans | $0 |
| UNITS | 2 | objectid | unit_byte |
| UNITS | 3 | pos | unit_byte |
fs/btrfs/file.c fill_holes() -> btrfs_insert_hole_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | trans | 4096-ptr_max |
| PARAM_VALUE | 0 | trans->block_rsv->full | 0 |
| PARAM_VALUE | 0 | trans->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | trans->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | trans->fs_info->tree_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | trans->fs_info->tree_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | root | 4096-ptr_max |
| PARAM_VALUE | 3 | pos | 0-18446744073709551614 |
| PARAM_VALUE | 4 | num_bytes | 1-u64max |
| BUF_SIZE | 0 | trans | (-1),4,24,64,168-s32max |
| BUF_SIZE | 0 | trans | (-1),4,24,64,168-s32max |
| CAPPED_DATA | 3 | pos | 1 |
| CAPPED_DATA | 3 | pos | 1 |
| DATA_SOURCE | 0 | trans | $0 |
| DATA_SOURCE | 3 | pos | $3 |
| NOSPEC | 3 | pos | |
| NOSPEC | 3 | pos | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | pos | 0-s32max[c] |
| USER_DATA | 4 | num_bytes | 1-9223372036854775807[c] |
| NO_OVERFLOW_SIMPLE | 3 | pos | |
| UNITS | 3 | pos | unit_byte |
| UNITS | 4 | num_bytes | unit_byte |
fs/btrfs/inode.c maybe_insert_hole() -> btrfs_insert_hole_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | trans | 0-ptr_max |
| PARAM_VALUE | 1 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | root->fs_info->qgroup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | root->qgroup_meta_rsv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | pos | 0-9223372036854775807 |
| CAPPED_DATA | 3 | pos | 1 |
| CAPPED_DATA | 3 | pos | 1 |
| CAPPED_DATA | 4 | num_bytes | 1 |
| CAPPED_DATA | 4 | num_bytes | 1 |
| DATA_SOURCE | 0 | trans | r btrfs_start_transaction |
| DATA_SOURCE | 3 | pos | $1 |
| DATA_SOURCE | 4 | num_bytes | $2 |
| NOSPEC | 3 | pos | |
| NOSPEC | 3 | pos | |
| NOSPEC | 4 | num_bytes | |
| NOSPEC | 4 | num_bytes | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | pos | 0-6442450941[c] |
| USER_DATA | 4 | num_bytes | 0-6442450941,18446744067267100675-u64max[c] |
| UNITS | 3 | pos | unit_byte |
| UNITS | 4 | num_bytes | unit_byte |