Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/mballoc-test.c test_mb_generate_buddy() -> do_test_generate_buddy()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 6332356721268682752
PARAM_VALUE 0 test->last_seen.line 700,747
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->priv 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 bitmap 16,4096-ptr_max
PARAM_VALUE 3 mbt_buddy 16,4096-ptr_max
PARAM_VALUE 4 mbt_grp 16,4096-ptr_max
PARAM_VALUE 4 mbt_grp->alloc_sem.count.counter 0
PARAM_VALUE 4 mbt_grp->alloc_sem.first_waiter 0
PARAM_VALUE 4 mbt_grp->alloc_sem.magic 0
PARAM_VALUE 4 mbt_grp->alloc_sem.osq.tail.counter 0
PARAM_VALUE 4 mbt_grp->alloc_sem.owner.counter 0
PARAM_VALUE 4 mbt_grp->bb_avg_fragment_size_order 0
PARAM_VALUE 4 mbt_grp->bb_fragments 0-s32max
PARAM_VALUE 4 mbt_grp->bb_free 0-s32max
PARAM_VALUE 4 mbt_grp->bb_free_root.rb_node 0
PARAM_VALUE 4 mbt_grp->bb_group 0
PARAM_VALUE 4 mbt_grp->bb_largest_free_order 0-s32max
PARAM_VALUE 4 mbt_grp->bb_prealloc_list.next 0
PARAM_VALUE 4 mbt_grp->bb_prealloc_list.prev 0
PARAM_VALUE 4 mbt_grp->bb_state 0
PARAM_VALUE 4 *mbt_grp->bb_counters s32min-s32max
PARAM_VALUE 5 ext4_buddy 16,4096-ptr_max
PARAM_VALUE 6 ext4_grp 1-u64max
PARAM_VALUE 6 *ext4_grp->bb_counters s32min-s32max
BUF_SIZE 0 test->last_seen.file (-1),23
BUF_SIZE 1 sb s32min,(-10),1-s32max
BUF_SIZE 1 sb s32min,(-10),1-s32max
BUF_SIZE 2 bitmap 0-u64max
BUF_SIZE 3 mbt_buddy 0-u64max
BUF_SIZE 4 mbt_grp 0-u64max
BUF_SIZE 5 ext4_buddy 0-u64max
CAPPED_DATA 6 ext4_grp 1
DATA_SOURCE 0 test $0
DATA_SOURCE 2 bitmap r kunit_kzalloc
DATA_SOURCE 3 mbt_buddy r kunit_kzalloc
DATA_SOURCE 4 mbt_grp r kunit_kzalloc
DATA_SOURCE 5 ext4_buddy r kunit_kzalloc
DATA_SOURCE 6 ext4_grp r ext4_get_group_info
FUZZY_MAX 0 test->last_seen.line 747
FUZZY_MAX 4 mbt_grp->bb_fragments 0
FUZZY_MAX 4 mbt_grp->bb_free 0
FUZZY_MAX 4 mbt_grp->bb_largest_free_order 0
STR_LEN 0 test->last_seen.file (-1),22
MEM_ZERO 2 bitmap
MEM_ZERO 3 mbt_buddy
MEM_ZERO 4 mbt_grp
MEM_ZERO 5 ext4_buddy
NOCHECK_CALL