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_bios.c intel_bios_is_lvds_present() -> intel_opregion_vbt_present()

Type Parameter Key Value
PARAM_VALUE 0 display 4096-ptr_max
PARAM_VALUE 0 display->opregion->vbt 0-s64max
CAPPED_DATA 0 &display->vbt.display_devices 1
DATA_SOURCE 0 display $0
PARAM_COMPARE 0 &display->vbt.display_devices != $0->vbt.display_devices.next
RX_PATH
TASK_NOT_RUNNING
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-16[c]
HOST_DATA 0 display->cdclk.max_dotclk_freq 0-32[c]
HOST_DATA 0 display->fdi.pll_freq 20000-2570000[c]
HOST_DATA 0 display->power.domains.dc_state 0-1073741835
HOST_DATA 0 display->vbt.lvds_use_ssc 0-1
NO_OVERFLOW_SIMPLE 0 display->drm->num_crtcs
NO_OVERFLOW_SIMPLE 0 display->hotplug.dp_wq->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 display->wq.cleanup->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 display->wq.flip->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 display->wq.modeset->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 display->wq.unordered->rescuer->task->dl.pi_se->dl_runtime
HALF_LOCKED2 &pdev->dev.mutex