Defined in 1 files as a prototype:
Defined in 1 files as a member:
Defined in 2 files as a function:
Referenced in 4 files:
- drivers/char/nwflash.c, line 210
- drivers/mtd/maps/pcmciamtd.c, line 404
- drivers/mtd/rfd_ftl.c
- drivers/pcmcia/cistpl.c, line 1214
Smatch caller information:
drivers/mtd/rfd_ftl.c find_free_block() -> erase_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | part | 4096-ptr_max |
| PARAM_VALUE | 0 | part->blocks | 4096-ptr_max |
| DATA_SOURCE | 0 | part | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | block | unit_array_size |
| HALF_LOCKED2 | &dev->lock |
drivers/mtd/rfd_ftl.c mark_sector_deleted() -> erase_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | part | 4096-ptr_max |
| PARAM_VALUE | 0 | part->blocks | 4096-ptr_max |
| PARAM_VALUE | 0 | part->mbd.mtd | 4096-ptr_max |
| PARAM_VALUE | 0 | part->sector_count | 1-u32max |
| PARAM_VALUE | 0 | part->sector_map | 4096-ptr_max |
| DATA_SOURCE | 0 | part | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->lock |
drivers/mtd/rfd_ftl.c move_block_contents() -> erase_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | part | 4096-ptr_max |
| PARAM_VALUE | 0 | part->blocks | 4096-ptr_max |
| PARAM_VALUE | 0 | part->current_block | (-1) |
| PARAM_VALUE | 0 | part->data_sectors_per_block | 1-u32max |
| PARAM_VALUE | 0 | part->header_size | 0-4000000 |
| PARAM_VALUE | 0 | part->is_reclaiming | 1 |
| PARAM_VALUE | 0 | part->mbd.mtd | 4096-ptr_max |
| PARAM_VALUE | 0 | part->reserved_block | 0-s32max |
| PARAM_VALUE | 0 | part->sector_count | 1-u32max |
| PARAM_VALUE | 0 | part->total_blocks | 0-s32max |
| PARAM_VALUE | 1 | block | 0-s32max |
| CAPPED_DATA | 0 | part->header_size | 1 |
| CAPPED_DATA | 0 | part->mbd.mtd | 1 |
| CAPPED_DATA | 0 | part->reserved_block | 1 |
| CAPPED_DATA | 0 | part->total_blocks | 1 |
| CAPPED_DATA | 1 | block | 1 |
| DATA_SOURCE | 0 | part | $0 |
| DATA_SOURCE | 1 | block | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | block | unit_array_size |
| HALF_LOCKED2 | &dev->lock |
drivers/mtd/rfd_ftl.c reclaim_block() -> erase_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | part | 4096-ptr_max |
| PARAM_VALUE | 0 | part->blocks | 4096-ptr_max |
| PARAM_VALUE | 0 | part->current_block | (-1) |
| PARAM_VALUE | 0 | part->is_reclaiming | 0 |
| PARAM_VALUE | 0 | part->reserved_block | 0-s32max |
| PARAM_VALUE | 0 | part->total_blocks | 0-s32max |
| PARAM_VALUE | 1 | block | 0-s32max |
| CAPPED_DATA | 0 | part->reserved_block | 1 |
| CAPPED_DATA | 0 | part->total_blocks | 1 |
| CAPPED_DATA | 1 | block | 1 |
| DATA_SOURCE | 0 | part | $0 |
| PARAM_COMPARE | 1 | block | < $0->total_blocks |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | block | unit_array_size |
| HALF_LOCKED2 | &dev->lock |