Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/btrfs/defrag.c btrfs_realloc_node() -> btrfs_comp_keys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | disk_key | 4975506463445381120 |
| PARAM_VALUE | 1 | k2 | 4096-ptr_max |
| DATA_SOURCE | 1 | k2 | $5 |
| CAPABLE | 0 | 21 |
fs/btrfs/ctree.c btrfs_bin_search() -> btrfs_comp_keys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | disk_key | (-1),17 |
| BUF_SIZE | 0 | disk_key | (-1),17 |
| DATA_SOURCE | 1 | k2 | $2 |
| NOSPEC | 1 | k2->offset | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | k2->objectid | 0-u64max |
| USER_DATA | 1 | k2->offset | 0-u64max |
| USER_DATA | 1 | k2->type | 0-255 |
| UNITS | 0 | disk_key | unit_byte |
| HALF_LOCKED2 | &fs_info->cleaner_mutex |
fs/btrfs/ctree.c btrfs_prev_leaf() -> btrfs_comp_keys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | disk_key | 8267159120051277824 |
| PARAM_VALUE | 1 | k2 | 2912403490852102144 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/btrfs/ctree.c btrfs_prev_leaf() -> btrfs_comp_keys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | disk_key | 8267159120051277824 |
| PARAM_VALUE | 1 | k2 | 5811383970972651520 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/btrfs/ctree.c btrfs_set_item_key_safe() -> btrfs_comp_keys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | disk_key | 5198147627243270144 |
| PARAM_VALUE | 1 | k2 | 21400287729647616,2942862594178596864,5177710261729411072,5518257780840751104,5963057335917146112 |
| PARAM_VALUE | 1 | k2->type | 108,128,234-236 |
| DATA_SOURCE | 1 | k2 | $2 |
| NOSPEC | 1 | k2->offset | |
| HARD_MAX | 1 | k2->type | 236 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | k2->offset | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | k2->offset | |
| HALF_LOCKED2 | &fs_info->remap_mutex |
fs/btrfs/ctree.c btrfs_set_item_key_safe() -> btrfs_comp_keys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | disk_key | 5198147627243270144 |
| PARAM_VALUE | 1 | k2 | 21400287729647616,2942862594178596864,5177710261729411072,5518257780840751104,5963057335917146112 |
| PARAM_VALUE | 1 | k2->type | 108,128,234-236 |
| CAPPED_DATA | 1 | k2->type | 1 |
| DATA_SOURCE | 1 | k2 | $2 |
| NOSPEC | 1 | k2->offset | |
| HARD_MAX | 1 | k2->type | 236 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | k2->offset | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | k2->offset | |
| HALF_LOCKED2 | &fs_info->remap_mutex |
fs/btrfs/ctree.c search_leaf() -> btrfs_comp_keys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | disk_key | 9107809756848361472 |
| DATA_SOURCE | 1 | k2 | $2 |