Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/remoteproc/ti_k3_r5_remoteproc.c k3_r5_rproc_prepare() -> k3_r5_split_release()

Type Parameter Key Value
PARAM_VALUE 0 kproc 4096-ptr_max
PARAM_VALUE 0 kproc->priv 4096-ptr_max
PARAM_VALUE 0 kproc->tsp 4096-ptr_max
PARAM_VALUE 0 kproc->tsp->ops 4096-ptr_max
PARAM_VALUE 0 kproc->tsp->ops->get_status 4096-ptr_max
PARAM_VALUE 0 kproc->tsp->sci 1-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &rproc->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rproc)->lock