Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/memtest.c memtest() -> reserve_bad_mem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pattern | 0,1229782938247303441,2459565876494606882,3689348814741910323,4919131752989213764,6148914691236517205,7378697629483820646,8608480567731124087,8821551493825841484,9838263505978427528,11068046444225730969,12297829382473034410-u64max |
| PARAM_VALUE | 1 | start_bad | 9-18446744073709547520 |
| PARAM_VALUE | 2 | end_bad | 8,17-18446744073709547528 |
| CAPPED_DATA | 0 | pattern | 1 |
| CAPPED_DATA | 0 | pattern | 1 |
| CAPPED_DATA | 2 | end_bad | 1 |
| DATA_SOURCE | 0 | pattern | $0 |
| NOCHECK_CALL | |||
| UNITS | 2 | end_bad | unit_byte |
| LOCK2 | irq |
mm/memtest.c memtest() -> reserve_bad_mem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pattern | 0,1229782938247303441,2459565876494606882,3689348814741910323,4919131752989213764,6148914691236517205,7378697629483820646,8608480567731124087,8821551493825841484,9838263505978427528,11068046444225730969,12297829382473034410-u64max |
| PARAM_VALUE | 1 | start_bad | 9-u64max |
| PARAM_VALUE | 2 | end_bad | 8 |
| CAPPED_DATA | 0 | pattern | 1 |
| CAPPED_DATA | 0 | pattern | 1 |
| DATA_SOURCE | 0 | pattern | $0 |
| NOCHECK_CALL | |||
| UNITS | 2 | end_bad | unit_byte |
| LOCK2 | irq |