Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/display/intel_dmc.c assert_dmc_loaded() -> has_dmc_id_fw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | display | 4096-ptr_max |
| PARAM_VALUE | 1 | dmc_id | 0-4 |
| BUF_SIZE | 0 | display->hotplug.dp_wq | (-1)-s32max |
| BUF_SIZE | 0 | display->wq.cleanup | (-1)-s32max |
| BUF_SIZE | 0 | display->wq.flip | (-1)-s32max |
| BUF_SIZE | 0 | display->wq.modeset | (-1)-s32max |
| BUF_SIZE | 0 | display->wq.unordered | (-1)-s32max |
| DATA_SOURCE | 0 | display | $0 |
| DATA_SOURCE | 1 | dmc_id | $1 |
| STR_LEN | 0 | display | (-1),21-22 |
| STR_LEN | 0 | display | (-1),21-22 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | display->audio.freq_cntrl | 0-u32max |
| 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->dmc.dmc->dc6_allowed.dc5_start | 0-u32max |
| 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.chv_phy_control | 0-u32max[c] |
| HOST_DATA | 0 | display->power.domains.dc_state | 0-u32max |
| HOST_DATA | 0 | display->restore.saveDSPARB | 0-u32max |
| HOST_DATA | 0 | display->restore.saveGCDGMBUS | 0-u16max |
| HOST_DATA | 0 | display->state.bxt_phy_grc | 0-u32max |
| 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] |
| NO_OVERFLOW_SIMPLE | 0 | display->audio.lpe.platdev->pdev.id | |
| NO_OVERFLOW_SIMPLE | 0 | display->drm->mode_config.num_colorop | |
| NO_OVERFLOW_SIMPLE | 0 | display->drm->mode_config.num_crtc | |
| NO_OVERFLOW_SIMPLE | 0 | display->drm->mode_config.num_total_plane | |
| NO_OVERFLOW_SIMPLE | 0 | display->drm->num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | display->hotplug.dp_wq->rescuer->task->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | display->wq.cleanup->rescuer->task->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | display->wq.flip->rescuer->task->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | display->wq.modeset->rescuer->task->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | display->wq.unordered->rescuer->task->dl.dl_runtime | |
| HALF_LOCKED2 | 0 | &display->dpll.lock | |
| HALF_LOCKED2 | 0 | &display->drm->mode_config.connection_mutex | |
| HALF_LOCKED2 | 0 | &display->drm->mode_config.mutex | |
| HALF_LOCKED2 | 0 | &display->gmbus.mutex |
drivers/gpu/drm/i915/display/intel_dmc.c disable_all_event_handlers() -> has_dmc_id_fw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | display | 4096-ptr_max |
| PARAM_VALUE | 1 | dmc_id | 0-4 |
| BUF_SIZE | 0 | display | (-1),8128 |
| BUF_SIZE | 0 | display | (-1),8128 |
| DATA_SOURCE | 0 | display | $0 |
| DATA_SOURCE | 1 | dmc_id | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | display->cdclk.hw.cdclk | 0[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->dmc.dmc->dc6_allowed.dc5_start | 0-u32max |
| HOST_DATA | 0 | display->drm->mode_config.object_idr.idr_rt.xa_flags | 0,4-u32max |
| HOST_DATA | 0 | display->power.domains.dc_state | 0-u32max |
| HOST_DATA | 0 | display->state.bxt_phy_grc | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | display->drm->num_crtcs |
drivers/gpu/drm/i915/display/intel_dmc.c intel_dmc_debugfs_status_show() -> has_dmc_id_fw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | display | 4096-ptr_max |
| PARAM_VALUE | 0 | display->dmc.dmc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dmc_id | 1 |
| BUF_SIZE | 0 | display | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | display | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | display | unit_array_size |
| LOCK2 | &m->lock | ||
| TYPE_LOCK | (struct seq_file)->lock |
drivers/gpu/drm/i915/display/intel_dmc.c intel_dmc_debugfs_status_show() -> has_dmc_id_fw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | display | 4096-ptr_max |
| PARAM_VALUE | 0 | display->dmc.dmc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dmc_id | 2 |
| BUF_SIZE | 0 | display | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | display | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | display | unit_array_size |
| LOCK2 | &m->lock | ||
| TYPE_LOCK | (struct seq_file)->lock |
drivers/gpu/drm/i915/display/intel_dmc.c intel_dmc_disable_pipe() -> has_dmc_id_fw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dmc_id | 0-4 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/i915/display/intel_dmc.c intel_dmc_enable_pipe() -> has_dmc_id_fw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dmc_id | 0-4 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/i915/display/intel_dmc.c intel_dmc_has_payload() -> has_dmc_id_fw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | display | 4096-ptr_max |
| PARAM_VALUE | 1 | dmc_id | 0 |
| BUF_SIZE | 0 | display | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | display | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | display->hotplug.dp_wq | (-1),512,528-8720 |
| BUF_SIZE | 0 | display->wq.cleanup | (-1),512,528-8720 |
| BUF_SIZE | 0 | display->wq.flip | (-1),512,528-8720 |
| BUF_SIZE | 0 | display->wq.modeset | (-1),512,528-8720 |
| BUF_SIZE | 0 | display->wq.unordered | (-1),512,528-8720 |
| DATA_SOURCE | 0 | display | $0 |
| STR_LEN | 0 | display | (-1),21-22 |
| STR_LEN | 0 | display | (-1),21-22 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | display->audio.freq_cntrl | 0-u32max |
| 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->cdclk.max_dotclk_freq | 0-32[c] |
| HOST_DATA | 0 | display->dmc.dmc->dc6_allowed.dc5_start | 0-u32max |
| HOST_DATA | 0 | display->drm->mode_config.connector_ida.xa.xa_flags | 67108869 |
| HOST_DATA | 0 | display->drm->mode_config.object_idr.idr_rt.xa_flags | 0-u32max |
| HOST_DATA | 0 | display->drm->mode_config.tile_idr.idr_rt.xa_flags | 0,33554432-u32max |
| HOST_DATA | 0 | display->drm->num_crtcs | 2[c] |
| HOST_DATA | 0 | display->drm->ref.refcount.refs.counter | s32min-s32max |
| 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->restore.saveDSPARB | 0-u32max |
| HOST_DATA | 0 | display->restore.saveGCDGMBUS | 0-u16max |
| HOST_DATA | 0 | display->state.bxt_phy_grc | 0-u32max |
| 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] |
| NO_OVERFLOW_SIMPLE | 0 | display->audio.lpe.platdev->pdev.id | |
| NO_OVERFLOW_SIMPLE | 0 | display->drm->mode_config.num_colorop | |
| NO_OVERFLOW_SIMPLE | 0 | display->drm->mode_config.num_crtc | |
| NO_OVERFLOW_SIMPLE | 0 | display->drm->mode_config.num_total_plane | |
| NO_OVERFLOW_SIMPLE | 0 | display->drm->num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | display->hotplug.dp_wq->rescuer->task->dl.dl_runtime | |
| 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.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.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.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.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | display->wq.unordered->rescuer->task->dl.pi_se->dl_runtime | |
| UNITS | 0 | display | unit_array_size |
| HALF_LOCKED2 | &capture_mutex | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &power_domains->lock | ||
| HALF_LOCKED2 | 0 | &display->dpll.lock | |
| HALF_LOCKED2 | 0 | &display->drm->mode_config.connection_mutex | |
| HALF_LOCKED2 | 0 | &display->drm->mode_config.mutex | |
| HALF_LOCKED2 | 0 | &display->gmbus.mutex |