Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- block/badblocks.c, line 1323
- drivers/block/null_blk/main.c, line 1355
- drivers/md/md.h, line 303
- drivers/nvdimm/nd.h, line 683
- drivers/nvdimm/pfn_devs.c, line 384
- drivers/nvdimm/pmem.c, line 274
Smatch caller information:
drivers/nvdimm/pmem.c __pmem_direct_access() -> badblocks_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bb | 4096-ptr_max |
| PARAM_VALUE | 0 | bb->count | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | s | 0-36028797018963960 |
| PARAM_VALUE | 3 | first_bad | 1691679403780554752 |
| PARAM_VALUE | 4 | bad_sectors | 6412201787119562752 |
| BUF_SIZE | 0 | bb | 192 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | s | 0-36028797018963960[c] |
| USER_DATA | 2 | sectors | 0-u32max[c] |
| HALF_LOCKED2 | global &dax_srcu |
drivers/nvdimm/pmem.c is_bad_pmem() -> badblocks_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bb | 4096-ptr_max |
| PARAM_VALUE | 0 | bb->count | s32min-(-1),1-s32max |
| PARAM_VALUE | 2 | sectors | 0-u32max |
| PARAM_VALUE | 3 | first_bad | 5631391372201086976 |
| PARAM_VALUE | 4 | bad_sectors | 4330042612374781952 |
| DATA_SOURCE | 0 | bb | $0 |
| DATA_SOURCE | 1 | s | $1 |
| 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 |
drivers/nvdimm/claim.c is_bad_pmem() -> badblocks_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bb | 4096-ptr_max |
| PARAM_VALUE | 0 | bb->count | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | s | 0-36028797018963967 |
| PARAM_VALUE | 2 | sectors | 0-u32max |
| PARAM_VALUE | 3 | first_bad | 3573626475791659008 |
| PARAM_VALUE | 4 | bad_sectors | 4365396838383562752 |
| DATA_SOURCE | 0 | bb | $0 |
| DATA_SOURCE | 1 | s | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/nvdimm/btt.c is_bad_pmem() -> badblocks_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bb | 4096-ptr_max |
| PARAM_VALUE | 0 | bb->count | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | s | 0-36028797018963967 |
| PARAM_VALUE | 2 | sectors | 0-u32max |
| PARAM_VALUE | 3 | first_bad | 6478240019744321536 |
| PARAM_VALUE | 4 | bad_sectors | 4031416571767779328 |
| DATA_SOURCE | 0 | bb | $0 |
| DATA_SOURCE | 1 | s | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/block/null_blk/main.c null_handle_badblocks() -> badblocks_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bb | 4096-ptr_max |
| PARAM_VALUE | 0 | bb->shift | s32min-(-2),0-s32max |
| PARAM_VALUE | 2 | sectors | 0-8388607 |
| PARAM_VALUE | 3 | first_bad | 2082641688165523456 |
| PARAM_VALUE | 4 | bad_sectors | 601312955343060992 |
| BUF_SIZE | 0 | bb | 192 |
| DATA_SOURCE | 1 | s | $1 |
| NOSPEC | 1 | s | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | s | unit_byte |
drivers/md/raid1.c is_badblock() -> badblocks_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bb | 4096-ptr_max |
| PARAM_VALUE | 0 | bb->count | s32min-(-1),1-s32max |
| PARAM_VALUE | 2 | sectors | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | first_bad | 1634982743541121024,2884816787723206656,4570137611955761152,6845285800248422400 |
| PARAM_VALUE | 4 | bad_sectors | 1040062011165298688,1349839278666481664,5644177977669435392,6822406421013159936 |
| CAPPED_DATA | 2 | sectors | 1 |
| CAPPED_DATA | 2 | sectors | 1 |
| DATA_SOURCE | 2 | sectors | $2 |
| DATA_SOURCE | 3 | first_bad | $3 |
| DATA_SOURCE | 4 | bad_sectors | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | sectors | 0-8388607[c] |
| USER_DATA | 2 | sectors | 0-8388606[c] |
| UNITS | 1 | s | unit_byte |
| UNITS | 2 | sectors | unit_byte |
drivers/nvdimm/pfn_devs.c nd_pfn_clear_memmap_errors() -> badblocks_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bb | 4096-ptr_max |
| PARAM_VALUE | 1 | s | 16 |
| PARAM_VALUE | 2 | sectors | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | first_bad | 7663385711599546368 |
| PARAM_VALUE | 4 | bad_sectors | 9100259317599940608 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/md/raid5.c is_badblock() -> badblocks_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bb | 4096-ptr_max |
| PARAM_VALUE | 0 | bb->count | s32min-(-1),1-s32max |
| PARAM_VALUE | 2 | sectors | 0-8388607 |
| PARAM_VALUE | 3 | first_bad | 8922164098879512576 |
| PARAM_VALUE | 4 | bad_sectors | 1216662188448518144 |
| DATA_SOURCE | 2 | sectors | $2 |
| DATA_SOURCE | 3 | first_bad | $3 |
| DATA_SOURCE | 4 | bad_sectors | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | s | unit_byte |
drivers/md/raid10.c is_badblock() -> badblocks_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bb | 4096-ptr_max |
| PARAM_VALUE | 0 | bb->count | s32min-(-1),1-s32max |
| PARAM_VALUE | 3 | first_bad | 313892955109056512,2800554179512578048,4830259893049229312,6809430538952003584 |
| PARAM_VALUE | 4 | bad_sectors | 2558239214828482560,5574934452116193280,8295475025333526528,8538752117416026112 |
| CAPPED_DATA | 2 | sectors | 1 |
| CAPPED_DATA | 2 | sectors | 1 |
| DATA_SOURCE | 2 | sectors | $2 |
| DATA_SOURCE | 3 | first_bad | $3 |
| DATA_SOURCE | 4 | bad_sectors | $4 |
| 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 |