Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_sb 4096-ptr_max
PARAM_VALUE 1 ex 4096-ptr_max
PARAM_VALUE 1 ex->fe_group 0-4294967294
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 $1
NOSPEC 0 e4b->bd_group
NOSPEC 1 ex->fe_len
NOSPEC 1 ex->fe_logical
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]
USER_DATA 1 ex->fe_group 0-4294967294
USER_DATA 1 ex->fe_len s32min-s32max[c]
USER_DATA 1 ex->fe_logical 0-u32max
USER_DATA 1 ex->fe_start 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 e4b->bd_sb->s_blocksize_bits
HALF_LOCKED2 ac->ac_sb

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

Type Parameter Key Value
PARAM_VALUE 0 e4b 99521576913539072,3133407351631155200
PARAM_VALUE 0 e4b->bd_info 4096-ptr_max
PARAM_VALUE 1 ex 8488865394455707648
DATA_SOURCE 0 e4b $3
NOCHECK_CALL
LOCK2 sb

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

Type Parameter Key Value
PARAM_VALUE 0 e4b 50024927286890496,378089648672047104,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,2534017226604302336,5093542198199066624
PARAM_VALUE 1 ex->fe_group 1
DATA_SOURCE 0 e4b $0
DATA_SOURCE 1 ex $1
LOCK2 sb