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