Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/delayed-ref.c comp_refs() -> comp_data_refs()

Type Parameter Key Value
PARAM_VALUE 0 ref1 4096-ptr_max
PARAM_VALUE 1 ref2 4096-ptr_max
CAPPED_DATA 0 ref1 1
CAPPED_DATA 0 ref1->ref_root 1
CAPPED_DATA 1 ref2->ref_root 1
CAPPED_DATA 1 ref2->type 1
DATA_SOURCE 0 ref1 $0
DATA_SOURCE 1 ref2 $1
PARAM_COMPARE 0 ref1->ref_root == $1->ref_root
PARAM_COMPARE 0 ref1->type == $1->type
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ref1 unit_byte
UNITS 1 ref2 unit_byte
HALF_LOCKED2 &head->lock