Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/mballoc.c ext4_mb_simple_scan_group() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 4096-ptr_max
PARAM_VALUE 0 e4b->bd_bitmap_folio 4096-ptr_max
PARAM_VALUE 0 e4b->bd_blkbits 0-255
PARAM_VALUE 0 e4b->bd_buddy_folio 4096-ptr_max
PARAM_VALUE 0 e4b->bd_group 0-4294967294
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_info->bb_counters 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 1-256
PARAM_VALUE 2 max 3716712718254968832
BUF_SIZE 0 e4b (-1),56
BUF_SIZE 0 e4b (-1),56
CAPPED_DATA 1 order 1
DATA_SOURCE 0 e4b $1
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
USER_DATA 0 e4b->bd_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_sb->s_blocksize
HALF_LOCKED2 sb

fs/ext4/mballoc.c mb_buddy_mark_free() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 4096-ptr_max
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 1
PARAM_VALUE 2 max 1799537135242117120
CAPPED_DATA 0 e4b->bd_group 1
CAPPED_DATA 0 e4b->bd_info 1
CAPPED_DATA 0 e4b->bd_info->bb_first_free 1
DATA_SOURCE 0 e4b $0
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
USER_DATA 0 e4b->bd_info->bb_first_free s32min-2147483646[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_blkbits
HALF_LOCKED2 ac->ac_sb
HALF_LOCKED2 sb

fs/ext4/mballoc.c mb_buddy_mark_free() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 4096-ptr_max
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 2-s32max
PARAM_VALUE 2 max 1799537135242117120
CAPPED_DATA 0 e4b->bd_group 1
CAPPED_DATA 0 e4b->bd_info 1
CAPPED_DATA 0 e4b->bd_info->bb_first_free 1
DATA_SOURCE 0 e4b $0
PARAM_COMPARE 0 e4b->bd_bitmap != $0->bd_buddy
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
USER_DATA 0 e4b->bd_info->bb_first_free s32min-2147483646[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_blkbits
HALF_LOCKED2 ac->ac_sb
HALF_LOCKED2 sb

fs/ext4/mballoc.c mb_find_extent() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 6774481802070482944
PARAM_VALUE 0 e4b->bd_bitmap_folio 4096-ptr_max
PARAM_VALUE 0 e4b->bd_blkbits 0-255
PARAM_VALUE 0 e4b->bd_buddy_folio 4096-ptr_max
PARAM_VALUE 0 e4b->bd_group 0-4294967294
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 0
PARAM_VALUE 2 max 1365788823646097408
BUF_SIZE 0 e4b (-1),56
BUF_SIZE 0 e4b (-1),56
CAPPED_DATA 0 e4b->bd_info 1
DATA_SOURCE 0 e4b $0
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
USER_DATA 0 e4b->bd_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_sb->s_blocksize_bits
HALF_LOCKED2 ac->ac_sb

fs/ext4/mballoc.c mb_find_extent() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 6774481802070482944
PARAM_VALUE 0 e4b->bd_bitmap_folio 4096-ptr_max
PARAM_VALUE 0 e4b->bd_blkbits 0-255
PARAM_VALUE 0 e4b->bd_buddy_folio 4096-ptr_max
PARAM_VALUE 0 e4b->bd_group 0-4294967294
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 0-1
PARAM_VALUE 2 max 1365788823646097408
PARAM_VALUE 2 *max (-2147483647)-s32max
BUF_SIZE 0 e4b (-1),56
BUF_SIZE 0 e4b (-1),56
CAPPED_DATA 0 e4b->bd_info 1
DATA_SOURCE 0 e4b $0
PARAM_COMPARE 0 e4b->bd_bitmap != $0->bd_buddy
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
USER_DATA 0 e4b->bd_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_sb->s_blocksize_bits
HALF_LOCKED2 ac->ac_sb

fs/ext4/mballoc.c mb_find_extent() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 6774481802070482944
PARAM_VALUE 0 e4b->bd_bitmap_folio 4096-ptr_max
PARAM_VALUE 0 e4b->bd_blkbits 0-255
PARAM_VALUE 0 e4b->bd_buddy_folio 4096-ptr_max
PARAM_VALUE 0 e4b->bd_group 0-4294967294
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 0-1
PARAM_VALUE 2 max 1365788823646097408
PARAM_VALUE 2 *max (-1073741822)-s32max
BUF_SIZE 0 e4b (-1),56
BUF_SIZE 0 e4b (-1),56
CAPPED_DATA 0 e4b->bd_info 1
DATA_SOURCE 0 e4b $0
DATA_SOURCE 1 order r mb_find_order_for_block
PARAM_COMPARE 0 e4b->bd_bitmap != $0->bd_buddy
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
USER_DATA 0 e4b->bd_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_sb->s_blocksize_bits
HALF_LOCKED2 ac->ac_sb

fs/ext4/mballoc.c mb_find_order_for_block() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 4096-ptr_max
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 1-65536
PARAM_VALUE 2 max 7039896276369993728
BUF_SIZE 0 e4b (-1),56
BUF_SIZE 0 e4b (-1),56
CAPPED_DATA 0 e4b->bd_group 1
CAPPED_DATA 0 e4b->bd_info 1
CAPPED_DATA 1 order 1
DATA_SOURCE 0 e4b $0
PARAM_COMPARE 0 e4b->bd_bitmap != $0->bd_buddy
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
USER_DATA 0 e4b->bd_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 e4b->bd_sb->s_blocksize_bits

fs/ext4/mballoc.c mb_mark_used() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 4096-ptr_max
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 0-1
PARAM_VALUE 2 max 5542109407014080512
BUF_SIZE 0 e4b (-1),56
BUF_SIZE 0 e4b (-1),56
CAPPED_DATA 0 e4b->bd_group 1
CAPPED_DATA 0 e4b->bd_info 1
DATA_SOURCE 0 e4b $0
DATA_SOURCE 1 order r mb_find_order_for_block
PARAM_COMPARE 0 e4b->bd_bitmap != $0->bd_buddy
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
USER_DATA 0 e4b->bd_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_sb->s_blocksize
HALF_LOCKED2 sb

fs/ext4/mballoc.c mb_mark_used() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 4096-ptr_max
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 1
PARAM_VALUE 2 max 5542109407014080512
BUF_SIZE 0 e4b (-1),56
BUF_SIZE 0 e4b (-1),56
CAPPED_DATA 0 e4b->bd_group 1
CAPPED_DATA 0 e4b->bd_info 1
DATA_SOURCE 0 e4b $0
DATA_SOURCE 1 order r mb_find_order_for_block
PARAM_COMPARE 0 e4b->bd_bitmap != $0->bd_buddy
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
USER_DATA 0 e4b->bd_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_sb->s_blocksize
HALF_LOCKED2 sb

fs/ext4/mballoc.c mb_regenerate_buddy() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 4096-ptr_max
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 1-s32max
PARAM_VALUE 2 max 3521289115987111936
CAPPED_DATA 0 e4b->bd_group 1
CAPPED_DATA 0 e4b->bd_info 1
DATA_SOURCE 0 e4b $0
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_blkbits
HALF_LOCKED2 ac->ac_sb
HALF_LOCKED2 sb

fs/ext4/mballoc.c mb_regenerate_buddy() -> mb_find_buddy()

Type Parameter Key Value
PARAM_VALUE 0 e4b 4096-ptr_max
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 order 2-s32max
PARAM_VALUE 2 max 3521289115987111936
CAPPED_DATA 0 e4b->bd_group 1
CAPPED_DATA 0 e4b->bd_info 1
DATA_SOURCE 0 e4b $0
PARAM_COMPARE 0 e4b->bd_bitmap != $0->bd_buddy
NOSPEC 0 e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e4b->bd_group 0-4294967294[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_blkbits
HALF_LOCKED2 ac->ac_sb
HALF_LOCKED2 sb