Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mtd/chips/cfi_cmdset_0002.c do_erase_chip() -> cfi_check_err_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->fldrv_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | map->read | 4096-ptr_max |
| PARAM_VALUE | 0 | map->write | 4096-ptr_max |
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->erase_suspended | 0 |
| PARAM_VALUE | 1 | chip->in_progress_block_addr | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | chip->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | chip->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | chip->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | chip->state | 4 |
| PARAM_VALUE | 2 | adr | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| CAPPED_DATA | 1 | &chip->mutex | 1 |
| DATA_SOURCE | 0 | map | $0 |
| DATA_SOURCE | 1 | chip | $1 |
| BIT_INFO | 1 | chip->in_progress_block_addr | 0x0,0xffffffff |
| BIT_INFO | 2 | adr | 0x0,0xffffffff |
| BIT_INFO | 2 | adr | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | map | unit_byte |
| LOCK2 | 1 | &chip->mutex | |
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &ftl->mutex | ||
| HALF_LOCKED2 | &master->master.chrdev_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &mtd_table_mutex | ||
| TYPE_LOCK | (struct flchip)->mutex |
drivers/mtd/chips/cfi_cmdset_0002.c do_erase_oneblock() -> cfi_check_err_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->fldrv_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | map->read | 4096-ptr_max |
| PARAM_VALUE | 0 | map->write | 4096-ptr_max |
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->erase_suspended | 0 |
| PARAM_VALUE | 1 | chip->in_progress_block_mask | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | chip->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | chip->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | chip->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | chip->state | 4 |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| CAPPED_DATA | 1 | &chip->mutex | 1 |
| DATA_SOURCE | 0 | map | $0 |
| DATA_SOURCE | 1 | chip | $1 |
| DATA_SOURCE | 2 | adr | $2 |
| BIT_INFO | 1 | chip->in_progress_block_mask | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 1 | &chip->mutex | |
| TYPE_LOCK | (struct flchip)->mutex |
drivers/mtd/chips/cfi_cmdset_0002.c do_panic_write_oneword() -> cfi_check_err_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->fldrv_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | map->fldrv_priv->cmdset_priv->MinorVersion | 48 |
| PARAM_VALUE | 0 | map->read | 4096-ptr_max |
| PARAM_VALUE | 0 | map->write | 4096-ptr_max |
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | map | $0 |
| DATA_SOURCE | 1 | chip | $1 |
| DATA_SOURCE | 2 | adr | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | map | unit_byte |
| UNITS | 2 | adr | unit_byte |
| HALF_LOCKED2 | rcu_read |
drivers/mtd/chips/cfi_cmdset_0002.c do_write_buffer_wait() -> cfi_check_err_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->bankwidth | 1-2,4,8-s32max |
| PARAM_VALUE | 0 | map->fldrv_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | map->map_priv_1->p_dev->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | map->read | 4096-ptr_max |
| PARAM_VALUE | 0 | map->write | 4096-ptr_max |
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | chip->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | chip->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | chip->state | 7 |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | map | $0 |
| DATA_SOURCE | 1 | chip | $1 |
| DATA_SOURCE | 2 | adr | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | map | unit_byte |
| LOCK2 | 1 | &chip->mutex | |
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &ftl->mutex | ||
| HALF_LOCKED2 | &master->master.chrdev_lock | ||
| HALF_LOCKED2 | &mbd->lock | ||
| TYPE_LOCK | (struct flchip)->mutex |
drivers/mtd/chips/cfi_cmdset_0002.c do_write_oneword_once() -> cfi_check_err_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->fldrv_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | map->map_priv_1->p_dev->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | map->map_priv_1->p_dev->socket->ops_mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | map->map_priv_1->p_dev->socket->ops_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | map->read | 4096-ptr_max |
| PARAM_VALUE | 0 | map->write | 4096-ptr_max |
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->erase_suspended | 1 |
| PARAM_VALUE | 1 | chip->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | chip->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | chip->mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | chip->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | chip->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | chip->state | 7,9 |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| CAPPED_DATA | 1 | chip->state | 1 |
| CAPPED_DATA | 1 | &chip->mutex | 1 |
| DATA_SOURCE | 0 | map | $0 |
| DATA_SOURCE | 1 | chip | $1 |
| DATA_SOURCE | 2 | adr | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | map | unit_byte |
| UNITS | 2 | adr | unit_byte |
| LOCK2 | 1 | &chip->mutex | |
| HALF_LOCKED2 | &master->master.chrdev_lock | ||
| TYPE_LOCK | (struct flchip)->mutex |