Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_display_irq.c _ilk_display_irq_handler() -> cpt_irq_handler()

Type Parameter Key Value
PARAM_VALUE 0 display 4096-ptr_max
PARAM_VALUE 0 display->irq.funcs 4096-ptr_max
PARAM_VALUE 0 display->irq.funcs->handler 2192072823877971968,2792595683100205056,5955815596145336320,7942455435531735040,8138603768813838336,8705323516099022848
PARAM_VALUE 0 display->params.enable_dmc_wl 0-1
PARAM_VALUE 0 display->pch_type 2
PARAM_VALUE 0 *display->irq.de_pipe_imr_mask 0-4294967295
DATA_SOURCE 0 display $0
DATA_SOURCE 1 pch_iir r intel_de_read
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 pch_iir 0-u32max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/gpu/drm/i915/display/intel_display_irq.c _ivb_display_irq_handler() -> cpt_irq_handler()

Type Parameter Key Value
PARAM_VALUE 0 display 4096-ptr_max
PARAM_VALUE 0 display->irq.funcs 4096-ptr_max
PARAM_VALUE 0 display->irq.funcs->handler 2192072823877971968,2792595683100205056,5955815596145336320,7942455435531735040,8138603768813838336,8705323516099022848
PARAM_VALUE 0 display->params.enable_dmc_wl 0-1
PARAM_VALUE 0 display->pch_type s32min-(-2),0-s32max
PARAM_VALUE 0 *display->irq.de_pipe_imr_mask 0-4294967295
DATA_SOURCE 0 display $0
DATA_SOURCE 1 pch_iir r intel_de_read
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 pch_iir 0-u32max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/gpu/drm/i915/display/intel_display_irq.c gen8_de_irq_handler() -> cpt_irq_handler()

Type Parameter Key Value
PARAM_VALUE 0 display 4096-ptr_max
PARAM_VALUE 0 display->irq.funcs 4096-ptr_max
PARAM_VALUE 0 display->irq.funcs->handler 2192072823877971968,2792595683100205056,5955815596145336320,7942455435531735040,8138603768813838336,8705323516099022848
PARAM_VALUE 0 display->params.enable_dmc_wl 0-1
PARAM_VALUE 0 display->pch_type s32min-(-2),1-4
PARAM_VALUE 0 display->wl.work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 *display->irq.de_pipe_imr_mask 0-4294967295
PARAM_VALUE 1 pch_iir 1-2147483646,2147483648-u32max
DATA_SOURCE 0 display $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags