Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->s_mb_offsets 4096-ptr_max
PARAM_VALUE 1 buddy 16,4096-ptr_max
PARAM_VALUE 2 bitmap 16,4096-ptr_max
PARAM_VALUE 3 group 1
PARAM_VALUE 4 grp 4096-ptr_max
PARAM_VALUE 4 grp->bb_counters 4096-ptr_max
PARAM_VALUE 4 grp->bb_free 0-s32max
PARAM_VALUE 4 *grp->bb_counters s32min-s32max
BUF_SIZE 0 sb s32min,(-10),1-s32max
BUF_SIZE 0 sb s32min,(-10),1-s32max
CAPPED_DATA 4 grp 1
DATA_SOURCE 0 sb $1
DATA_SOURCE 1 buddy $5
DATA_SOURCE 2 bitmap $2
DATA_SOURCE 4 grp $6
MEM_ZERO 1 buddy
MEM_ZERO 2 bitmap
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize

fs/ext4/mballoc-test.c test_mb_free_blocks_range() -> ext4_mb_generate_buddy_test()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 buddy 16,4096-ptr_max
PARAM_VALUE 2 bitmap 16,4096-ptr_max
PARAM_VALUE 3 group 0
PARAM_VALUE 4 grp 4096-ptr_max
PARAM_VALUE 4 grp->bb_avg_fragment_size_order (-1)-30
PARAM_VALUE 4 grp->bb_free s32min-(-1),1-s32max
PARAM_VALUE 4 grp->bb_largest_free_order (-1)-0
BUF_SIZE 0 sb s32min,(-10),1-s32max
BUF_SIZE 0 sb s32min,(-10),1-s32max
BUF_SIZE 1 buddy 0-4096
BUF_SIZE 1 buddy 0-4096
BUF_SIZE 2 bitmap 0-4096
BUF_SIZE 2 bitmap 0-4096
DATA_SOURCE 1 buddy $5
DATA_SOURCE 2 bitmap $4
DATA_SOURCE 4 grp $6
MEM_ZERO 1 buddy
MEM_ZERO 2 bitmap
MEM_ZERO 4 grp
NOCHECK_CALL

fs/ext4/mballoc-test.c test_mb_mark_used_range() -> ext4_mb_generate_buddy_test()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 buddy 16,4096-ptr_max
PARAM_VALUE 2 bitmap 16,4096-ptr_max
PARAM_VALUE 3 group 0
PARAM_VALUE 4 grp 4096-ptr_max
PARAM_VALUE 4 grp->bb_avg_fragment_size_order (-1)-30
PARAM_VALUE 4 grp->bb_largest_free_order (-1)-0
BUF_SIZE 0 sb s32min,(-10),1-s32max
BUF_SIZE 0 sb s32min,(-10),1-s32max
BUF_SIZE 1 buddy 0-4096
BUF_SIZE 1 buddy 0-4096
BUF_SIZE 2 bitmap 0-4096
BUF_SIZE 2 bitmap 0-4096
DATA_SOURCE 1 buddy $5
DATA_SOURCE 2 bitmap $4
DATA_SOURCE 4 grp $6
MEM_ZERO 1 buddy
MEM_ZERO 2 bitmap
MEM_ZERO 4 grp
NOCHECK_CALL