Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/reset/reset-k230.c k230_rst_assert() -> k230_rst_update()

Type Parameter Key Value
PARAM_VALUE 0 rstc 4096-ptr_max
PARAM_VALUE 2 assert 1
PARAM_VALUE 3 write_en 1
PARAM_VALUE 4 active_low 0
DATA_SOURCE 0 rstc r to_k230_rst
DATA_SOURCE 1 id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/reset/reset-k230.c k230_rst_assert() -> k230_rst_update()

Type Parameter Key Value
PARAM_VALUE 0 rstc 4096-ptr_max
PARAM_VALUE 2 assert 1
PARAM_VALUE 3 write_en 0
DATA_SOURCE 0 rstc r to_k230_rst
DATA_SOURCE 1 id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/reset/reset-k230.c k230_rst_deassert() -> k230_rst_update()

Type Parameter Key Value
PARAM_VALUE 0 rstc 4096-ptr_max
PARAM_VALUE 2 assert 0
PARAM_VALUE 3 write_en 1
PARAM_VALUE 4 active_low 0
DATA_SOURCE 0 rstc r to_k230_rst
DATA_SOURCE 1 id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/reset/reset-k230.c k230_rst_deassert() -> k230_rst_update()

Type Parameter Key Value
PARAM_VALUE 0 rstc 4096-ptr_max
PARAM_VALUE 2 assert 0
PARAM_VALUE 3 write_en 0
DATA_SOURCE 0 rstc r to_k230_rst
DATA_SOURCE 1 id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/reset/reset-k230.c k230_rst_reset() -> k230_rst_update()

Type Parameter Key Value
PARAM_VALUE 0 rstc 4096-ptr_max
PARAM_VALUE 2 assert 1
PARAM_VALUE 3 write_en 1
PARAM_VALUE 4 active_low 0
DATA_SOURCE 0 rstc r to_k230_rst
DATA_SOURCE 1 id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &core->lock
HALF_LOCKED2 &ctx->buffer_mutex
HALF_LOCKED2 &dev->coda_mutex
HALF_LOCKED2 &hdmirx_dev->rst_lock
HALF_LOCKED2 &mem->spi->controller->bus_lock_mutex
HALF_LOCKED2 &mem->spi->controller->io_mutex
HALF_LOCKED2 &p->mutex
HALF_LOCKED2 &phy->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rproc->lock
HALF_LOCKED2 &v3d->reset_lock
HALF_LOCKED2 &vde->lock
HALF_LOCKED2 global &rng_mutex
HALF_LOCKED2 irq

drivers/reset/reset-k230.c k230_rst_reset() -> k230_rst_update()

Type Parameter Key Value
PARAM_VALUE 0 rstc 4096-ptr_max
PARAM_VALUE 2 assert 1
PARAM_VALUE 3 write_en 1
PARAM_VALUE 4 active_low 0
DATA_SOURCE 0 rstc r to_k230_rst
DATA_SOURCE 1 id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &core->lock
HALF_LOCKED2 &ctx->buffer_mutex
HALF_LOCKED2 &dev->coda_mutex
HALF_LOCKED2 &hdmirx_dev->rst_lock
HALF_LOCKED2 &mem->spi->controller->bus_lock_mutex
HALF_LOCKED2 &mem->spi->controller->io_mutex
HALF_LOCKED2 &p->mutex
HALF_LOCKED2 &phy->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rproc->lock
HALF_LOCKED2 &v3d->reset_lock
HALF_LOCKED2 &vde->lock
HALF_LOCKED2 global &rng_mutex
HALF_LOCKED2 irq

drivers/reset/reset-k230.c k230_rst_reset() -> k230_rst_update()

Type Parameter Key Value
PARAM_VALUE 0 rstc 4096-ptr_max
PARAM_VALUE 2 assert 1
PARAM_VALUE 3 write_en 0
PARAM_VALUE 4 active_low 0
DATA_SOURCE 0 rstc r to_k230_rst
DATA_SOURCE 1 id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &core->lock
HALF_LOCKED2 &ctx->buffer_mutex
HALF_LOCKED2 &dev->coda_mutex
HALF_LOCKED2 &hdmirx_dev->rst_lock
HALF_LOCKED2 &mem->spi->controller->bus_lock_mutex
HALF_LOCKED2 &mem->spi->controller->io_mutex
HALF_LOCKED2 &p->mutex
HALF_LOCKED2 &phy->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rproc->lock
HALF_LOCKED2 &v3d->reset_lock
HALF_LOCKED2 &vde->lock
HALF_LOCKED2 global &rng_mutex
HALF_LOCKED2 irq