Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/omapdrm/omap_crtc.c omap_crtc_atomic_flush() -> omap_crtc_flush()

Type Parameter Key Value
PARAM_VALUE 0 crtc 4096-ptr_max
PARAM_VALUE 0 crtc->dev 4096-ptr_max
PARAM_VALUE 0 crtc->dev->dev_private 4096-ptr_max
PARAM_VALUE 0 crtc->dev->dev_private->dispc 4096-ptr_max
PARAM_VALUE 0 crtc->dev->event_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 crtc->dev->huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 0 crtc->helper_private->atomic_begin 0,4096-ptr_max
PARAM_VALUE 0 crtc->helper_private->atomic_flush 4096-ptr_max
PARAM_VALUE 0 crtc->state 4096-ptr_max
PARAM_VALUE 0 crtc->state->ctm 0,4096-ptr_max
CAPPED_DATA 0 crtc 1
DATA_SOURCE 0 crtc $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &crtc->dev->event_lock
HALF_LOCKED2 &vkms_output->lock
TYPE_LOCK (struct drm_device)->event_lock

drivers/gpu/drm/omapdrm/omap_fb.c omap_framebuffer_dirty() -> omap_crtc_flush()

Type Parameter Key Value
PARAM_VALUE 0 crtc 4096-ptr_max
CAPPED_DATA 0 &crtc->head 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &fb->dev->mode_config.mutex
TYPE_LOCK (struct drm_mode_config)->mutex