Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/samsung/exynos4-is/fimc-capture.c __fimc_capture_set_format() -> fimc_capture_mark_jpeg_xfer()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->d_frame.fmt 4096-ptr_max
PARAM_VALUE 0 ctx->d_frame.fmt->color 128-4294967295
PARAM_VALUE 1 color 128-4294967295
BIT_INFO 0 ctx->state 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fimc->lock

drivers/media/platform/samsung/exynos4-is/fimc-capture.c fimc_subdev_set_fmt() -> fimc_capture_mark_jpeg_xfer()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->fimc_dev 4096-ptr_max
PARAM_VALUE 0 ctx->fimc_dev->variant 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cxdev->open_lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &hdw->big_lock_mutex
HALF_LOCKED2 &pcdev->mlock
HALF_LOCKED2 &ve->vdev.entity.graph_obj.mdev->graph_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &em28xx_devlist_mutex
HALF_LOCKED2 sd_state->lock