Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_display_driver.c intel_display_driver_enable_user_access() -> intel_hpd_enable_detection_work()

Type Parameter Key Value
PARAM_VALUE 0 display 4096-ptr_max
PARAM_VALUE 0 display->access.allowed_task 0
PARAM_VALUE 0 display->access.any_task_allowed 1
PARAM_VALUE 0 display->drm 4096-ptr_max
PARAM_VALUE 0 display->drm->mode_config.helper_private->atomic_commit_tail 0,113,4096-ptr_max
PARAM_VALUE 0 display->params.enable_dmc_wl 0-1
PARAM_VALUE 0 *display->irq.pipestat_irq_mask 0-4294967295
BUF_SIZE 0 display (-1),8416
BUF_SIZE 0 display (-1),8416
DATA_SOURCE 0 display $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 display->audio.freq_cntrl 0-u32max
HOST_DATA 0 display->cdclk.hw.cdclk 0-16[c]
HOST_DATA 0 display->cdclk.hw.joined_mbus 0-1
HOST_DATA 0 display->cdclk.hw.voltage_level 0-31[c]
HOST_DATA 0 display->cdclk.max_cdclk_freq 1-39168016[c]
HOST_DATA 0 display->drm->mode_config.object_idr.idr_rt.xa_flags 0,4-u32max
HOST_DATA 0 display->fdi.pll_freq 20000-2570000[c]
HOST_DATA 0 display->fdi.rx_config 0,32768-98304[c]
HOST_DATA 0 display->power.chv_phy_control 0-u32max[c]
HOST_DATA 0 display->power.domains.dc_state 0-u32max
HOST_DATA 0 display->wm.g4x.cxsr 0-1
HOST_DATA 0 display->wm.g4x.hpll.cursor 0-63[c]
HOST_DATA 0 display->wm.g4x.hpll.fbc 0-15[c]
HOST_DATA 0 display->wm.g4x.hpll.plane 0-511[c]
HOST_DATA 0 display->wm.g4x.sr.cursor 0-63[c]
HOST_DATA 0 display->wm.g4x.sr.fbc 0-7[c]
HOST_DATA 0 display->wm.g4x.sr.plane 0-511
HOST_DATA 0 display->wm.vlv.cxsr 0-1
HOST_DATA 0 display->wm.vlv.sr.cursor 0-63[c]
HOST_DATA 0 display->wm.vlv.sr.plane 0-2047[c]
NO_OVERFLOW_SIMPLE 0 display->audio.lpe.platdev->num_resources
NO_OVERFLOW_SIMPLE 0 display->audio.lpe.platdev->pdev.id
HALF_LOCKED2 0 &display->drm->mode_config.connection_mutex