Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mtd/chips/cfi_cmdset_0002.c do_write_buffer_wait() -> chip_good()
| 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->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 | addr | $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_buffer_wait() -> chip_good()
| 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->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 | addr | $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() -> chip_good()
| 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->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 | addr | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | map | unit_byte |
| UNITS | 2 | addr | unit_byte |
| LOCK2 | 1 | &chip->mutex | |
| HALF_LOCKED2 | &master->master.chrdev_lock | ||
| TYPE_LOCK | (struct flchip)->mutex |
drivers/mtd/chips/cfi_cmdset_0002.c do_write_oneword_once() -> chip_good()
| 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->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 | addr | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | map | unit_byte |
| UNITS | 2 | addr | unit_byte |
| LOCK2 | 1 | &chip->mutex | |
| HALF_LOCKED2 | &master->master.chrdev_lock | ||
| TYPE_LOCK | (struct flchip)->mutex |