Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/mtd/nand/raw/atmel/nand-controller.c atmel_nand_pmecc_correct_data() -> atmel_pmecc_correct_sector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | user | 4096-ptr_max |
| PARAM_VALUE | 0 | user->isr | 0-4294967295 |
| PARAM_VALUE | 0 | user->pmecc | 4096-ptr_max |
| PARAM_VALUE | 1 | sector | 0-s32max |
| BUF_SIZE | 2 | data | s32min,(-1)-s32max |
| BUF_SIZE | 2 | data | s32min,(-1)-s32max |
| CAPPED_DATA | 1 | sector | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | user->cache.cfg | 0-4294967295 |
| HOST_DATA | 0 | user->cache.eaddr | 0-4294967295 |
| HOST_DATA | 0 | user->cache.saddr | 0-4294967295 |
| HOST_DATA | 0 | user->cache.sarea | 0-4294967295 |
| HOST_DATA | 0 | user->eccbytes | s32min-s32max |
| HOST_DATA | 0 | user->isr | 0-4294967295 |
| HOST_DATA | 0 | *user | s64min-s64max |
| UNITS | 3 | ecc | unit_byte |
| USER_PTR | 2 | data | |
| HALF_LOCKED2 | &chip->controller->lock | ||
| HALF_LOCKED2 | &chip->lock | ||
| HALF_LOCKED2 | &nand->pmecc->pmecc->lock |