Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/chips-media/wave5/wave5-vpu.c wave5_vpu_probe() -> wave5_vdi_release()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->driver 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_data 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/platform/chips-media/wave5/wave5-vpu.c wave5_vpu_remove() -> wave5_vdi_release()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->power.disable_depth 1-7
PARAM_VALUE 0 dev->power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 dev->power.qos 0,4096-u64max
PARAM_VALUE 0 dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->power.runtime_status 0,2
PARAM_VALUE 0 dev->power.usage_count.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex