intel_lt_phy_pll_verify_params identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/gpu/drm/i915/display/intel_lt_phy.c, line 2327 (as a function)

Referenced in 1 files:

drivers/gpu/drm/i915/display/intel_lt_phy.c, line 2349

Smatch caller information:

drivers/gpu/drm/i915/display/intel_lt_phy.c intel_lt_phy_pll_verify_tables() -> intel_lt_phy_pll_verify_params()

Type	Parameter	Key	Value
PARAM_VALUE	0	display	4096-ptr_max
PARAM_VALUE	0	display->bw.num_psf_gv_points	0
PARAM_VALUE	0	display->bw.num_qgv_points	0-1
PARAM_VALUE	0	display->cdclk.hw.vco	1-u32max
PARAM_VALUE	0	display->cdclk.table->cdclk	0,79200,144000,151200,153600,158400,163200,172800,176000,176400
PARAM_VALUE	0	display->cdclk.table->ratio	0,9-10,14-41,46,50,52,54,58,60,64-65,68,92,108,116,136
PARAM_VALUE	0	display->cdclk.table->refclk	0,19200,24000,24400,38400
PARAM_VALUE	0	display->dpll.lock.dep_map->name	0-255
PARAM_VALUE	0	display->dpll.lock.first_waiter	0
PARAM_VALUE	0	display->dpll.lock.magic	4096-ptr_max
PARAM_VALUE	0	display->dpll.lock.osq.tail.counter	0
PARAM_VALUE	0	display->dpll.lock.owner.counter	0
PARAM_VALUE	0	display->dpll.mgr	4096-ptr_max
PARAM_VALUE	0	display->dpll.num_dpll	0-s32max
PARAM_VALUE	0	display->drm	4096-ptr_max
PARAM_VALUE	0	display->drm->driver	4096-ptr_max
PARAM_VALUE	0	display->drm->mode_config.blob_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	display->drm->mode_config.blob_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	display->drm->mode_config.blob_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	display->drm->mode_config.blob_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	display->drm->mode_config.blob_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	display->drm->mode_config.blob_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	display->drm->mode_config.crtc_list.prev	4096-ptr_max
PARAM_VALUE	0	display->drm->mode_config.crtc_list.prev->next	4096-ptr_max
PARAM_VALUE	0	display->drm->mode_config.crtc_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	display->drm->mode_config.idr_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	display->drm->mode_config.idr_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	display->drm->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	display->drm->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	display->drm->mode_config.idr_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	display->drm->mode_config.idr_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	display->drm->mode_config.num_crtc	s32min-32
PARAM_VALUE	0	display->drm->mode_config.num_total_plane	s32min-32
PARAM_VALUE	0	display->drm->mode_config.object_idr.idr_rt.xa_head->count	0-255
PARAM_VALUE	0	display->drm->mode_config.object_idr.idr_rt.xa_head->nr_values	0-255
PARAM_VALUE	0	display->drm->mode_config.object_idr.idr_rt.xa_head->offset	0-255
PARAM_VALUE	0	display->drm->mode_config.object_idr.idr_rt.xa_head->shift	0-255
PARAM_VALUE	0	display->drm->mode_config.plane_list.prev	4096-ptr_max
PARAM_VALUE	0	display->drm->mode_config.plane_list.prev->next	4096-ptr_max
PARAM_VALUE	0	display->drm->mode_config.plane_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	display->drm->mode_config.property_blob_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	display->gmbus.mmio_base	786432,1572864
PARAM_VALUE	0	display->gmbus.mutex.dep_map->name	0-255
PARAM_VALUE	0	display->gmbus.mutex.first_waiter	0
PARAM_VALUE	0	display->gmbus.mutex.magic	4096-ptr_max
PARAM_VALUE	0	display->gmbus.mutex.osq.tail.counter	0
PARAM_VALUE	0	display->gmbus.mutex.owner.counter	0
PARAM_VALUE	0	display->gmbus.wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	display->gmbus.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	display->gmbus.wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	display->gmbus.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	display->gmbus.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	display->info.__device_info	4096-ptr_max
PARAM_VALUE	0	display->opregion->vbt	0-s64max
PARAM_VALUE	0	display->params.disable_power_well	0-1
PARAM_VALUE	0	display->parent	6551493560102297600
PARAM_VALUE	0	display->pmdemand.lock.dep_map->name	0-255
PARAM_VALUE	0	display->pmdemand.lock.first_waiter	0
PARAM_VALUE	0	display->pmdemand.lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	display->pmdemand.lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	display->pmdemand.lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	display->pmdemand.lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	display->pmdemand.lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	display->pmdemand.lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	display->pmdemand.lock.osq.tail.counter	0
PARAM_VALUE	0	display->pmdemand.lock.owner.counter	0
PARAM_VALUE	0	display->power.dc3co.lock.dep_map->name	0-255
PARAM_VALUE	0	display->power.dc3co.lock.first_waiter	0
PARAM_VALUE	0	display->power.dc3co.lock.owner.counter	0
PARAM_VALUE	0	display->power.domains.allowed_dc_mask	0-3,8-11
PARAM_VALUE	0	display->power.domains.async_put_work.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	display->power.domains.async_put_work.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	display->power.domains.async_put_work.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	display->power.domains.lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	display->power.domains.lock.dep_map->name	0-255
PARAM_VALUE	0	display->power.domains.lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	display->power.domains.lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	display->power.domains.lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	display->power.domains.lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	display->power.domains.lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	display->power.domains.lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	display->power.domains.lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	display->power.domains.power_well_count	0-s32max
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->pps.mmio_base	397824,815616,1970688
PARAM_VALUE	0	display->sagv.block_time_us	0-u16max
PARAM_VALUE	0	display->vbt.crt_ddc_pin	0-14
PARAM_VALUE	0	display->vbt.lvds_ssc_freq	48000,66667,96000,100000,120000
PARAM_VALUE	0	display->vbt.orientation	(-1)-1
PARAM_VALUE	0	display->vbt.override_afc_startup	1
PARAM_VALUE	0	display->vbt.override_afc_startup_val	0,7
PARAM_VALUE	0	display->wl.dc_state	1-2
PARAM_VALUE	0	display->wl.work.work.entry.next	1-u64max
PARAM_VALUE	0	display->wl.work.work.entry.next->next	1-u64max
PARAM_VALUE	0	display->wl.work.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	display->wl.work.work.entry.prev	1-u64max
PARAM_VALUE	0	display->wl.work.work.entry.prev->next	1-u64max
PARAM_VALUE	0	display->wl.work.work.entry.prev->prev	1-u64max
PARAM_VALUE	0	display->wl.work.work.is_hard	0-1
PARAM_VALUE	0	display->wl.work.work.is_lazy	0-1
PARAM_VALUE	0	display->wl.work.work.is_queued	0-1
PARAM_VALUE	0	display->wl.work.work.is_soft	0-1
PARAM_VALUE	0	display->wm.funcs	4096-ptr_max
PARAM_VALUE	0	display->wm.funcs->atomic_update_watermarks	0,241866399159836672
PARAM_VALUE	0	display->wm.funcs->compute_global_watermarks	0,7679025112587603968
PARAM_VALUE	0	display->wm.funcs->compute_watermarks	0,663047380929499136,4718310602505961472,7447224825039265792,8278299763477639168
PARAM_VALUE	0	display->wm.funcs->get_hw_state	0,1372658440782848000,6903309568198033408,7899623770445606912,8633453788894511104
PARAM_VALUE	0	display->wm.funcs->initial_watermarks	0,318382624811003904,2077638626766659584,4361408001915691008
PARAM_VALUE	0	display->wm.funcs->optimize_watermarks	0,136016925988110336,2676780419539894272,6733336501198520320
PARAM_VALUE	0	display->wm.funcs->sanitize	0,3771904337417297920,8756858967241641984,9118998679592730624
PARAM_VALUE	0	display->wm.funcs->update_wm	0,2900677620984037376,5075417898438156288,6224038869724659712,6233422041516032000
PARAM_VALUE	0	display->wm.num_levels	1,3-6,8
PARAM_VALUE	0	display->wm.wm_mutex.dep_map->name	0-255
PARAM_VALUE	0	display->wm.wm_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	display->wm.wm_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	display->wm.wm_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	display->wm.wm_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	display->wm.wm_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	display->wm.wm_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	*display->bw.peakbw	0-4294967295
PARAM_VALUE	0	*display->bw.psf_bw	0-4294967295
PARAM_VALUE	0	*display->drm->mode_config.blob_lock.first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*display->drm->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*display->irq.pipestat_irq_mask	0-4294967295
PARAM_VALUE	0	*display->pmdemand.lock.first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*display->power.chv_phy_assert	0-1
PARAM_VALUE	0	*display->power.domains->lock.first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*display->wl->work.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	*display->wm.cur_latency	0-u16max
PARAM_VALUE	0	*display->wm.pri_latency	0-u16max
PARAM_VALUE	0	*display->wm.skl_latency	0-u16max
PARAM_VALUE	0	*display->wm.spr_latency	0-u16max
PARAM_VALUE	1	pll_params	4096-ptr_max
PARAM_VALUE	1	pll_params->name	1-u64max
BUF_SIZE	0	display->dpll.mgr	(-1),64
DATA_SOURCE	0	display	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	display->cdclk.hw.joined_mbus	0-1
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