Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/imx/dcss/dcss-dev.c dcss_dev_destroy() -> dcss_submodules_stop()

Type Parameter Key Value
PARAM_VALUE 0 dcss 4096-ptr_max
PARAM_VALUE 0 dcss->ctxld->armed 0-1
PARAM_VALUE 0 dcss->ctxld->current_ctx 0-255
PARAM_VALUE 0 dcss->ctxld->in_use 0-1
PARAM_VALUE 0 dcss->ctxld->irq_en 0-1
PARAM_VALUE 0 dcss->dev 4096-ptr_max
PARAM_VALUE 0 dcss->dev->power.disable_depth 1-7
PARAM_VALUE 0 dcss->dev->power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 dcss->dev->power.request_pending 0
PARAM_VALUE 0 dcss->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dcss->dev->power.runtime_status 0,2
PARAM_VALUE 0 dcss->dev->power.timer_expires 0
PARAM_VALUE 0 dcss->dev->power.usage_count.counter 0-s32max
PARAM_VALUE 0 dcss->dev->power.wakeirq->status 0-4294967295
DATA_SOURCE 0 dcss $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex