Open Menu /

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 test_mb_free_blocks() -> mb_mark_used_test()

Type Parameter Key Value
PARAM_VALUE 0 e4b 50024927286890496
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 1
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 ex 5093542198199066624
PARAM_VALUE 1 ex->fe_group 1
PARAM_VALUE 1 ex->fe_start 0
NOCHECK_CALL
LOCK2 sb

fs/ext4/mballoc-test.c test_mb_mark_used_cost() -> mb_mark_used_test()

Type Parameter Key Value
PARAM_VALUE 0 e4b 4616388623411724288
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 1
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 ex 210882635331051520
PARAM_VALUE 1 ex->fe_group 1
PARAM_VALUE 1 ex->fe_len s32min-(-1),1-s32max
NOCHECK_CALL
LOCK2 sb

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

Type Parameter Key Value
PARAM_VALUE 0 e4b 378089648672047104
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 1
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 0 e4b->bd_sb 4096-ptr_max
PARAM_VALUE 1 ex 2534017226604302336
PARAM_VALUE 1 ex->fe_group 1
PARAM_VALUE 1 ex->fe_len s32min-(-1),1-s32max
DATA_SOURCE 0 e4b $1
NOCHECK_CALL
LOCK2 sb