Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-raid.c parse_raid_params() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 1 min 0
PARAM_VALUE 2 max 0-252
CAPPED_DATA 2 max 1
USER_DATA 0 v s32min-s32max
UNITS 2 max unit_byte
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c parse_raid_params() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 1 min 0
PARAM_VALUE 2 max 0-252
CAPPED_DATA 2 max 1
USER_DATA 0 v s32min-s32max
UNITS 2 max unit_byte
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c parse_raid_params() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 0 v 0-s32max
PARAM_VALUE 1 min 1
PARAM_VALUE 2 max 249,251
USER_DATA 0 v 0-s32max
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c parse_raid_params() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 1 min 2
PARAM_VALUE 2 max 1-253
CAPPED_DATA 2 max 1
USER_DATA 0 v s32min-s32max
UNITS 2 max unit_byte
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c raid_ctr() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 1 min 1
PARAM_VALUE 2 max 253
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c rs_check_takeover() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 1 min 4
PARAM_VALUE 2 max 6
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c rs_check_takeover() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 0 v s32min-(-1),1-s32max
PARAM_VALUE 1 min 4
PARAM_VALUE 2 max 5
FUZZY_MAX 0 v 1
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c rs_check_takeover() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 1 min 4
PARAM_VALUE 2 max 5
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c rs_check_takeover() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 0 v s32min-(-1),1-s32max
PARAM_VALUE 1 min 5
PARAM_VALUE 2 max 6
FUZZY_MAX 0 v 5
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c rs_check_takeover() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 1 min 16
PARAM_VALUE 2 max 19
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c rs_check_takeover() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 1 min 0
PARAM_VALUE 2 max 3
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid.c rs_is_raid456() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 1 min 4
PARAM_VALUE 2 max 6
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &rs->md.reconfig_mutex

drivers/md/dm-raid.c rt_is_raid45() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 0 v 2-9,11-u32max
PARAM_VALUE 1 min 4
PARAM_VALUE 2 max 5

drivers/md/dm-raid.c rt_is_raid456() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 1 min 4
PARAM_VALUE 2 max 6
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &rs->md.reconfig_mutex

drivers/md/dm-raid.c sync_str() -> __within_range()

Type Parameter Key Value
PARAM_VALUE 0 v 0-6
PARAM_VALUE 1 min 0
PARAM_VALUE 2 max 6
DATA_SOURCE 0 v $0
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier