Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mtd/nand/raw/nand_base.c nand_block_isbad() -> nand_release_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->controller->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->cur_cs | (-1) |
| PARAM_VALUE | 0 | chip->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->protect_count | 0-4294967295 |
| CAPPED_DATA | 0 | chip | 1 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | *chip->oob_poi | 0-255 |
| LOCK2 | 0 | &chip->controller->lock | |
| LOCK2 | 0 | &chip->lock | |
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &master->master.chrdev_lock | ||
| HALF_LOCKED2 | &ubi->work_sem | ||
| TYPE_LOCK | (struct nand_chip)->lock | ||
| TYPE_LOCK | (struct nand_controller)->lock |
drivers/mtd/nand/raw/nand_base.c nand_block_markbad_lowlevel() -> nand_release_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->controller->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->task->blocked_on | 0 |
| CAPPED_DATA | 0 | chip | 1 |
| DATA_SOURCE | 0 | chip | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | chip->cur_cs | 1-s32max[c] |
| HOST_DATA | 0 | chip->priv->curr_column | s32min-s32max[c] |
| HOST_DATA | 0 | chip->priv->curr_page_addr | 1-s32max[c] |
| HOST_DATA | 0 | chip->priv->offset | 0-s32max[c] |
| HOST_DATA | 0 | *chip->oob_poi | 0-255 |
| HOST_DATA | 0 | *chip->priv->data_buffer_dma | 0-255 |
| HOST_DATA | 0 | *chip->priv->raw_buffer | 0-255 |
| LOCK2 | 0 | &chip->controller->lock | |
| LOCK2 | 0 | &chip->lock | |
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &master->master.chrdev_lock | ||
| HALF_LOCKED2 | &ubi->work_sem | ||
| TYPE_LOCK | (struct nand_chip)->lock | ||
| TYPE_LOCK | (struct nand_controller)->lock |
drivers/mtd/nand/raw/nand_base.c nand_erase_nand() -> nand_release_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->base.ops->erase | 0,2145616741012197376,5355711976263086080 |
| PARAM_VALUE | 0 | chip->base.ops->isbad | 0,4230751433069776896,8612460838360965120 |
| PARAM_VALUE | 0 | chip->base.ops->markbad | 0,4545526569871687680,7841708234825457664 |
| PARAM_VALUE | 0 | chip->controller->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->controller->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->cur_cs | (-1) |
| PARAM_VALUE | 0 | chip->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | *chip->bbt_md->pages | s32min-s32max |
| PARAM_VALUE | 0 | *chip->bbt_md->version | 0-255 |
| PARAM_VALUE | 0 | *chip->bbt_td->pages | s32min-s32max |
| PARAM_VALUE | 0 | *chip->bbt_td->version | 0-255 |
| BUF_SIZE | 0 | chip->bbt_md | (-1)-0,72 |
| BUF_SIZE | 0 | chip->bbt_md->pattern | (-1),9 |
| BUF_SIZE | 0 | chip->bbt_td | (-1)-0,72 |
| BUF_SIZE | 0 | chip->bbt_td->pattern | (-1),9 |
| CAPPED_DATA | 0 | chip | 1 |
| DATA_SOURCE | 0 | chip | $0 |
| STR_LEN | 0 | chip->bbt_md->pattern | (-1),8 |
| STR_LEN | 0 | chip->bbt_td->pattern | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | chip->priv->curr_column | s32min-s32max[c] |
| HOST_DATA | 0 | chip->priv->curr_page_addr | 1-s32max[c] |
| HOST_DATA | 0 | chip->priv->offset | 0-s32max[c] |
| HOST_DATA | 0 | *chip->oob_poi | 0-255 |
| USER_DATA | 0 | chip->priv->curr_column | s32min-s32max[c] |
| USER_DATA | 0 | chip->priv->curr_page_addr | 0-s32max[c] |
| USER_DATA | 0 | chip->priv->offset | 0-s32max[c] |
| USER_DATA | 0 | *chip->oob_poi | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | chip->nr_secure_regions | |
| LOCK2 | 0 | &chip->controller->lock | |
| LOCK2 | 0 | &chip->lock | |
| TYPE_LOCK | (struct nand_chip)->lock | ||
| TYPE_LOCK | (struct nand_controller)->lock |
drivers/mtd/nand/raw/nand_base.c nand_lock() -> nand_release_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->controller->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->cur_cs | (-1) |
| PARAM_VALUE | 0 | chip->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->ops.lock_area | 1-u64max |
| PARAM_VALUE | 0 | chip->priv->active_cs | s32min-(-2),0-s32max |
| PARAM_VALUE | 0 | chip->priv->chipselect | 0-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->cmd_complete.wait.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->priv->comp_controller.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->priv->comp_nand.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->suspended | 0 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &chip->controller->lock | |
| LOCK2 | 0 | &chip->lock | |
| TYPE_LOCK | (struct nand_chip)->lock | ||
| TYPE_LOCK | (struct nand_controller)->lock |
drivers/mtd/nand/raw/nand_base.c nand_read_oob() -> nand_release_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->controller->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->task->blocked_on | 0 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &chip->controller->lock | |
| LOCK2 | 0 | &chip->lock | |
| TYPE_LOCK | (struct nand_chip)->lock | ||
| TYPE_LOCK | (struct nand_controller)->lock |
drivers/mtd/nand/raw/nand_base.c nand_sync() -> nand_release_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->controller->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->suspended | 0 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &chip->controller->lock | |
| LOCK2 | 0 | &chip->lock | |
| TYPE_LOCK | (struct nand_chip)->lock | ||
| TYPE_LOCK | (struct nand_controller)->lock |
drivers/mtd/nand/raw/nand_base.c nand_unlock() -> nand_release_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->controller->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->cur_cs | (-1) |
| PARAM_VALUE | 0 | chip->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->ops.unlock_area | 1-u64max |
| PARAM_VALUE | 0 | chip->priv->active_cs | s32min-(-2),0-s32max |
| PARAM_VALUE | 0 | chip->priv->chipselect | 0-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->clk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | chip->priv->cmd_complete.wait.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->priv->comp_controller.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->priv->comp_nand.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->suspended | 0 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &chip->controller->lock | |
| LOCK2 | 0 | &chip->lock | |
| TYPE_LOCK | (struct nand_chip)->lock | ||
| TYPE_LOCK | (struct nand_controller)->lock |
drivers/mtd/nand/raw/nand_base.c nand_write_oob() -> nand_release_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->controller->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | chip->controller->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chip->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chip->lock.first_waiter->task->blocked_on | 0 |
| CAPPED_DATA | 0 | chip | 1 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | *chip->oob_poi | 0-255 |
| LOCK2 | 0 | &chip->controller->lock | |
| LOCK2 | 0 | &chip->lock | |
| TYPE_LOCK | (struct nand_chip)->lock | ||
| TYPE_LOCK | (struct nand_controller)->lock |