Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/raid1.c choose_bb_rdev() -> raid1_check_read_range()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 2 len 1532598094305107968
NOSPEC 1 this_sector
NOSPEC 1 this_sector
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 this_sector 0-u64max
USER_DATA 1 this_sector 0-u64max
UNITS 1 this_sector unit_byte

drivers/md/raid1.c choose_first_rdev() -> raid1_check_read_range()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 2 len 3448686201268449280
NOSPEC 1 this_sector
NOSPEC 1 this_sector
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 this_sector 0-u64max
HOST_DATA 2 *len 1-8388607[c]
USER_DATA 1 this_sector 0-u64max
UNITS 1 this_sector unit_byte

drivers/md/raid1.c choose_slow_rdev() -> raid1_check_read_range()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 2 len 1756768648392462336
NOSPEC 1 this_sector
NOSPEC 1 this_sector
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 this_sector 0-u64max
USER_DATA 1 this_sector 0-u64max
UNITS 1 this_sector unit_byte