Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_fbdev.c intel_fbdev_blank() -> intel_fbdev_invalidate()

Type Parameter Key Value
DATA_SOURCE 0 ifbdev r to_intel_fbdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/gpu/drm/i915/display/intel_fbdev.c intel_fbdev_pan_display() -> intel_fbdev_invalidate()

Type Parameter Key Value
DATA_SOURCE 0 ifbdev r to_intel_fbdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/gpu/drm/i915/display/intel_fbdev.c intel_fbdev_set_par() -> intel_fbdev_invalidate()

Type Parameter Key Value
DATA_SOURCE 0 ifbdev r to_intel_fbdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &minfo->crtc2.lock

drivers/gpu/drm/i915/display/intel_fbdev.c intelfb_restore() -> intel_fbdev_invalidate()

Type Parameter Key Value
DATA_SOURCE 0 ifbdev r to_intel_fbdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->clientlist_mutex