Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/mballoc.c ext4_mb_complex_scan_group() -> mb_find_next_zero_bit()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 1 max unit_byte
UNITS 2 start unit_byte
HALF_LOCKED2 sb

fs/ext4/mballoc.c ext4_mb_generate_buddy() -> mb_find_next_zero_bit()

Type Parameter Key Value
PARAM_VALUE 2 start 0
BUF_SIZE 0 addr (-1)-4096
BUF_SIZE 0 addr (-1)-4096
DATA_SOURCE 0 addr $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 max unit_byte
HALF_LOCKED2 sb

fs/ext4/mballoc.c ext4_mb_generate_buddy() -> mb_find_next_zero_bit()

Type Parameter Key Value
PARAM_VALUE 1 max (-2147483647)-s32max
PARAM_VALUE 2 start s32min-2147483646
BUF_SIZE 0 addr (-1)-4096
BUF_SIZE 0 addr (-1)-4096
CAPPED_DATA 2 start 1
DATA_SOURCE 0 addr $2
DATA_SOURCE 2 start r mb_find_next_bit
PARAM_COMPARE 1 max > $2
PARAM_COMPARE 2 start < $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 max unit_byte
HALF_LOCKED2 sb

fs/ext4/mballoc.c ext4_mb_new_blocks_simple() -> mb_find_next_zero_bit()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 start 0-s32max[c]
UNITS 0 addr unit_byte
UNITS 1 max unit_byte

fs/ext4/mballoc.c ext4_mb_release_inode_pa() -> mb_find_next_zero_bit()

Type Parameter Key Value
PARAM_VALUE 1 max s32min-(-1),1-s32max
PARAM_VALUE 2 start s32min-(-2),0-s32max
CAPPED_DATA 2 start 1
PARAM_COMPARE 1 max > $2
PARAM_COMPARE 2 start < $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
UNITS 1 max unit_byte
UNITS 2 start unit_byte
LOCK2 sb

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

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 2 start 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sb

fs/ext4/mballoc.c ext4_mballoc_query_range() -> mb_find_next_zero_bit()

Type Parameter Key Value
CAPPED_DATA 2 start 1
UNITS 1 max unit_byte
UNITS 2 start unit_byte
LOCK2 sb

fs/ext4/mballoc.c ext4_try_to_trim_range() -> mb_find_next_zero_bit()

Type Parameter Key Value
CAPPED_DATA 2 start 1
DATA_SOURCE 2 start $2 [m]
UNITS 1 max unit_byte
UNITS 2 start unit_byte
LOCK2 sb

fs/ext4/mballoc.c mb_find_next_zero_bit_test() -> mb_find_next_zero_bit()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 max $1
DATA_SOURCE 2 start $2
UNITS 1 max unit_byte
UNITS 2 start unit_byte

fs/ext4/mballoc.c mb_test_and_clear_bits() -> mb_find_next_zero_bit()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 max 32
PARAM_VALUE 2 start 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 ac->ac_sb
HALF_LOCKED2 sb