Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 2 sectors 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 first_bad 6845285800248422400
PARAM_VALUE 4 bad_sectors 1349839278666481664
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 s $1
NOSPEC 1 s
NOSPEC 1 s
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 s 0-u64max
HOST_DATA 2 sectors 1-8388607[c]
USER_DATA 1 s 0-u64max
UNITS 1 s unit_byte

drivers/md/raid1.c raid1_sync_request() -> is_badblock()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 s 0-18446744073709551614
PARAM_VALUE 2 sectors 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 first_bad 4570137611955761152
PARAM_VALUE 3 *first_bad u64max
PARAM_VALUE 4 bad_sectors 1040062011165298688
CAPPED_DATA 1 s 1
CAPPED_DATA 1 s 1
CAPPED_DATA 2 sectors 1
DATA_SOURCE 1 s $1
UNITS 1 s unit_byte

drivers/md/raid1.c raid1_write_request() -> is_badblock()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 2 sectors 0-8388607,18446744071562067968-u64max
PARAM_VALUE 3 first_bad 1634982743541121024
PARAM_VALUE 4 bad_sectors 5644177977669435392
CAPPED_DATA 2 sectors 1
DATA_SOURCE 2 sectors $2 [m]
NOSPEC 1 s
NOSPEC 1 s
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 s 0-u64max
HOST_DATA 2 sectors 0-8388606[c]
USER_DATA 1 s 0-u64max
USER_DATA 2 sectors 0-8388606[c]
UNITS 1 s unit_byte
UNITS 2 sectors unit_byte
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &md->io_barrier

drivers/md/raid1.c rdev_has_badblock() -> is_badblock()

Type Parameter Key Value
PARAM_VALUE 2 sectors 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 first_bad 2884816787723206656
PARAM_VALUE 4 bad_sectors 6822406421013159936
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 s $1
DATA_SOURCE 2 sectors $2
NOSPEC 1 s
NOSPEC 1 s
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 s 0-u64max
USER_DATA 1 s 0-u64max
UNITS 1 s unit_byte
UNITS 2 sectors unit_byte

drivers/md/raid5.c rdev_has_badblock() -> is_badblock()

Type Parameter Key Value
PARAM_VALUE 2 sectors 0-8388607
PARAM_VALUE 3 first_bad 8922164098879512576
PARAM_VALUE 4 bad_sectors 1216662188448518144
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 s $1
DATA_SOURCE 2 sectors $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 s unit_byte

drivers/md/raid10.c raid10_sync_request() -> is_badblock()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 3 first_bad 313892955109056512
PARAM_VALUE 4 bad_sectors 8538752117416026112
CAPPED_DATA 2 sectors 1
UNITS 1 s unit_byte
UNITS 2 sectors unit_byte

drivers/md/raid10.c raid10_write_request() -> is_badblock()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 2 sectors 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 first_bad 2800554179512578048
PARAM_VALUE 4 bad_sectors 2558239214828482560
CAPPED_DATA 2 sectors 1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 s unit_byte
UNITS 2 sectors unit_byte
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &md->io_barrier

drivers/md/raid10.c rdev_has_badblock() -> is_badblock()

Type Parameter Key Value
PARAM_VALUE 2 sectors 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 first_bad 6809430538952003584
PARAM_VALUE 4 bad_sectors 8295475025333526528
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 s $1
DATA_SOURCE 2 sectors $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 s unit_byte
UNITS 2 sectors unit_byte

drivers/md/raid10.c read_balance() -> is_badblock()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 2 sectors 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 first_bad 4830259893049229312
PARAM_VALUE 4 bad_sectors 5574934452116193280
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 sectors 0-s32max[c]
USER_DATA 2 sectors 0-s32max[c]
UNITS 1 s unit_byte
UNITS 2 sectors unit_byte