Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/ext4/mballoc.c ext4_mb_generate_from_pa() -> mb_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 bm 4096-ptr_max
PARAM_VALUE 2 len s32min-(-1),1-s32max
DATA_SOURCE 0 bm $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 len unit_byte
LOCK2 sb

fs/ext4/mballoc.c ext4_mb_mark_context() -> mb_set_bits()

Type Parameter Key Value
DATA_SOURCE 1 cur $4
DATA_SOURCE 2 len $5
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 cur 0-s32max[c]
USER_DATA 2 len 0-s32max[c]
UNITS 0 bm unit_byte
UNITS 1 cur unit_byte
UNITS 2 len unit_byte
LOCK2 sb

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

Type Parameter Key Value
NOSPEC 1 cur
NOSPEC 1 cur
NOSPEC 2 len
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 cur 0-s32max[c]
USER_DATA 2 len s32min-s32max[c]
UNITS 1 cur unit_byte
UNITS 2 len unit_byte
HALF_LOCKED2 sb

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

Type Parameter Key Value
PARAM_VALUE 0 bm 4096-ptr_max
PARAM_VALUE 1 cur 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 ac->ac_sb
HALF_LOCKED2 sb

fs/ext4/resize.c set_flexbg_block_bitmap() -> mb_set_bits()

Type Parameter Key Value
CAPPED_DATA 2 len 1
NOCHECK_CALL
UNITS 0 bm unit_byte
UNITS 2 len unit_byte

fs/ext4/resize.c setup_new_flex_group_blocks() -> mb_set_bits()

Type Parameter Key Value
PARAM_VALUE 1 cur 0
NOCHECK_CALL
UNITS 0 bm unit_byte

fs/ext4/mballoc-test.c ext4_mb_mark_context_stub() -> mb_set_bits()

Type Parameter Key Value
DATA_SOURCE 1 cur $4
DATA_SOURCE 2 len $5
NOCHECK_CALL
UNITS 0 bm unit_byte

fs/ext4/mballoc-test.c mbt_ctx_init() -> mb_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 *bm 0-255
PARAM_VALUE 1 cur 0
PARAM_VALUE 2 len 1
NOCHECK_CALL
UNITS 0 bm unit_byte

fs/ext4/mballoc-test.c mbt_ctx_mark_used() -> mb_set_bits()

Type Parameter Key Value
PARAM_VALUE 1 cur 0
DATA_SOURCE 1 cur $2
DATA_SOURCE 2 len $3
NOCHECK_CALL
UNITS 0 bm unit_byte

fs/ext4/mballoc-test.c mbt_generate_buddy() -> mb_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 bm 4096-ptr_max
PARAM_VALUE 1 cur s32min-(-2),0-1073741823
PARAM_VALUE 2 len 2
CAPPED_DATA 1 cur 1
BIT_INFO 1 cur 0x0,0x3ffffffe
NOCHECK_CALL
UNITS 1 cur unit_byte

fs/ext4/mballoc-test.c mbt_grp_ctx_init() -> mb_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 bm 16,4096-ptr_max
DATA_SOURCE 0 bm r _kzalloc_noprof
NOCHECK_CALL
UNITS 0 bm unit_byte
UNITS 1 cur unit_byte
UNITS 2 len unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 bm 16,4096-ptr_max
BUF_SIZE 0 bm 0-u64max
DATA_SOURCE 0 bm r kunit_kzalloc
MEM_ZERO 0 bm
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 bm 16,4096-ptr_max
PARAM_VALUE 2 len s32min-(-1),1-s32max
BUF_SIZE 0 bm 0-4096
BUF_SIZE 0 bm 0-4096
DATA_SOURCE 0 bm $4
DATA_SOURCE 1 cur $2
DATA_SOURCE 2 len $3
MEM_ZERO 0 bm
NOCHECK_CALL