Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_opregion.c intel_didl_outputs() -> intel_acpi_device_id_update()

Type Parameter Key Value
PARAM_VALUE 0 display 4096-ptr_max
PARAM_VALUE 0 display->dmc.wakeref->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 display->dmc.wakeref->dead 0-1
PARAM_VALUE 0 display->dmc.wakeref->free_stack_handle 0-4294967295
PARAM_VALUE 0 display->drm 4096-ptr_max
PARAM_VALUE 0 display->drm->mode_config.helper_private->atomic_commit_tail 0,113,234517204248432640,264416658693812224,1002985563129995264,1135616218159751168,1435312838172803072,1559742614509715456,1682444203744997376,2792895115794366464,3649211429048074240,4264110321136541696,4348468181405868032-s64max
PARAM_VALUE 0 display->hotplug.dp_wq->flags 0-4294967295
PARAM_VALUE 0 display->hotplug.dp_wq->flush_color s32min-s32max
PARAM_VALUE 0 display->hotplug.dp_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 display->hotplug.dp_wq->work_color s32min-s32max
PARAM_VALUE 0 display->hotplug.dp_wq->wq_dev 0-s64max
PARAM_VALUE 0 display->opregion 4096-ptr_max
PARAM_VALUE 0 display->opregion->acpi 1-u64max
PARAM_VALUE 0 display->power.domains.init_wakeref->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 display->power.domains.init_wakeref->dead 0-1
PARAM_VALUE 0 display->power.domains.init_wakeref->free_stack_handle 0-4294967295
PARAM_VALUE 0 display->power.domains.power_wells->count s32min-s32max
PARAM_VALUE 0 display->power.domains.power_wells->hw_enabled 0-1
PARAM_VALUE 0 display->wq.cleanup->flags 0-4294967295
PARAM_VALUE 0 display->wq.cleanup->flush_color s32min-s32max
PARAM_VALUE 0 display->wq.cleanup->nr_drainers s32min-s32max
PARAM_VALUE 0 display->wq.cleanup->work_color s32min-s32max
PARAM_VALUE 0 display->wq.cleanup->wq_dev 0-s64max
PARAM_VALUE 0 display->wq.flip->flags 0-4294967295
PARAM_VALUE 0 display->wq.flip->flush_color s32min-s32max
PARAM_VALUE 0 display->wq.flip->nr_drainers s32min-s32max
PARAM_VALUE 0 display->wq.flip->work_color s32min-s32max
PARAM_VALUE 0 display->wq.flip->wq_dev 0-s64max
PARAM_VALUE 0 display->wq.modeset->flags 0-4294967295
PARAM_VALUE 0 display->wq.modeset->flush_color s32min-s32max
PARAM_VALUE 0 display->wq.modeset->nr_drainers s32min-s32max
PARAM_VALUE 0 display->wq.modeset->work_color s32min-s32max
PARAM_VALUE 0 display->wq.modeset->wq_dev 0-s64max
PARAM_VALUE 0 display->wq.unordered->flags 0-4294967295
PARAM_VALUE 0 display->wq.unordered->flush_color s32min-s32max
PARAM_VALUE 0 display->wq.unordered->nr_drainers s32min-s32max
PARAM_VALUE 0 display->wq.unordered->work_color s32min-s32max
PARAM_VALUE 0 display->wq.unordered->wq_dev 0-s64max
PARAM_VALUE 0 *display->irq.pipestat_irq_mask 0-4294967295
DATA_SOURCE 0 display $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 display->cdclk.hw.cdclk 0-39168016[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->drm->mode_config.tile_idr.idr_rt.xa_flags 0,67108864-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.domains.dc_state 0-1073741835
HOST_DATA 0 display->vbt.lvds_use_ssc 0-1
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]
HALF_LOCKED2 0 &display->drm->mode_config.connection_mutex