Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/remoteproc/remoteproc_core.c rproc_start_subdevices() -> (struct rproc_subdev)->stop()

Type Parameter Key Value
PARAM_VALUE 0 subdev 4096-ptr_max
PARAM_VALUE 0 subdev->stop 1-u64max
PARAM_VALUE 1 crashed 1
CONTAINER 0 -32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rproc->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rproc)->lock

drivers/remoteproc/remoteproc_core.c rproc_stop_subdevices() -> (struct rproc_subdev)->stop()

Type Parameter Key Value
PARAM_VALUE 0 subdev 4096-ptr_max
PARAM_VALUE 0 subdev->stop 1-u64max
DATA_SOURCE 1 crashed $1
CONTAINER 0 -32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rproc->lock
TYPE_LOCK (struct rproc)->lock