Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/tests/delayed-refs-tests.c merge_tests() -> validate_ref_head()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 check 4171716547425411072
PARAM_VALUE 1 check->bytenr 0
PARAM_VALUE 1 check->must_insert 0
PARAM_VALUE 1 check->num_bytes 0-u32max
PARAM_VALUE 1 check->ref_mod 0
PARAM_VALUE 1 check->total_ref_mod 0
CAPPED_DATA 0 head 1
DATA_SOURCE 0 head r btrfs_select_ref_head

fs/btrfs/tests/delayed-refs-tests.c select_delayed_refs_test() -> validate_ref_head()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 check 3130189746011357184
PARAM_VALUE 1 check->bytenr 0
PARAM_VALUE 1 check->must_insert 0
PARAM_VALUE 1 check->num_bytes 0-u32max
PARAM_VALUE 1 check->ref_mod 0
PARAM_VALUE 1 check->total_ref_mod 0
CAPPED_DATA 0 head 1
DATA_SOURCE 0 head r btrfs_select_ref_head

fs/btrfs/tests/delayed-refs-tests.c select_delayed_refs_test() -> validate_ref_head()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 check 3130189746011357184
PARAM_VALUE 1 check->bytenr 0
PARAM_VALUE 1 check->must_insert 0
PARAM_VALUE 1 check->num_bytes 0-u32max
PARAM_VALUE 1 check->ref_mod 0
PARAM_VALUE 1 check->total_ref_mod 0
CAPPED_DATA 0 head 1
DATA_SOURCE 0 head r btrfs_select_ref_head

fs/btrfs/tests/delayed-refs-tests.c simple_test() -> validate_ref_head()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 check 4449105592090222592
PARAM_VALUE 1 check->bytenr 0
PARAM_VALUE 1 check->must_insert 0
PARAM_VALUE 1 check->num_bytes 0-u32max
PARAM_VALUE 1 check->ref_mod (-1),1
PARAM_VALUE 1 check->total_ref_mod (-1),1
CAPPED_DATA 0 head 1
DATA_SOURCE 0 head r btrfs_select_ref_head
DATA_SOURCE 1 check $1
HARD_MAX 1 check->ref_mod 1
HARD_MAX 1 check->total_ref_mod 1