Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ext2/balloc.c ext2_group_sparse() -> test_root()

Type Parameter Key Value
PARAM_VALUE 0 a 2-s32max
PARAM_VALUE 1 b 3
DATA_SOURCE 0 a $0
FUZZY_MAX 0 a 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 a unit_byte
HALF_LOCKED2 &sbi->s_lock

fs/ext2/balloc.c ext2_group_sparse() -> test_root()

Type Parameter Key Value
PARAM_VALUE 0 a 2-9
PARAM_VALUE 1 b 5
CAPPED_DATA 0 a 1
DATA_SOURCE 0 a $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 a unit_byte
HALF_LOCKED2 &sbi->s_lock

fs/ext2/balloc.c ext2_group_sparse() -> test_root()

Type Parameter Key Value
PARAM_VALUE 0 a 2-9
PARAM_VALUE 1 b 7
CAPPED_DATA 0 a 1
DATA_SOURCE 0 a $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 a unit_byte
HALF_LOCKED2 &sbi->s_lock

fs/ext4/balloc.c ext4_bg_has_super() -> test_root()

Type Parameter Key Value
PARAM_VALUE 0 a 2-u32max
PARAM_VALUE 1 b 3
DATA_SOURCE 0 a $1
BIT_INFO 0 a 0x1,0xffffffff
NOSPEC 0 a
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 2-u32max
UNITS 0 a unit_byte

fs/ext4/balloc.c ext4_bg_has_super() -> test_root()

Type Parameter Key Value
PARAM_VALUE 0 a 2,4-u32max
PARAM_VALUE 1 b 5
DATA_SOURCE 0 a $1
BIT_INFO 0 a 0x1,0xffffffff
NOSPEC 0 a
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 2,4-u32max
UNITS 0 a unit_byte

fs/ext4/balloc.c ext4_bg_has_super() -> test_root()

Type Parameter Key Value
PARAM_VALUE 0 a 2,4,6-u32max
PARAM_VALUE 1 b 7
DATA_SOURCE 0 a $1
BIT_INFO 0 a 0x1,0xffffffff
NOSPEC 0 a
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 2,4,6-u32max
UNITS 0 a unit_byte