Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/gpu/drm/i915/display/intel_display_power.c, line 2369 (as a function)
- drivers/gpu/drm/i915/display/intel_display_power.c, line 2423 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/display/intel_display_power.c intel_display_power_disable() -> intel_power_domains_verify_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | display | 4096-ptr_max |
| PARAM_VALUE | 0 | display->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | display->power.domains.async_put_work.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | display->power.domains.init_wakeref | 4096-ptr_max,(-2) |
| 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->task->blocked_lock.dep_map->name | 0-255 |
| 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_wells->hw_enabled | 1 |
| 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->dmc.dmc->dc6_allowed.dc5_start | 0-4294967295 |
| HOST_DATA | 0 | display->power.domains.dc_state | 0-u32max |
drivers/gpu/drm/i915/display/intel_display_power.c intel_display_power_driver_remove() -> intel_power_domains_verify_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | display | 4096-ptr_max |
| PARAM_VALUE | 0 | display->bw.obj.funcs->atomic_destroy_state | 231959734523985920,312078704547934208,1654662236298231808,5986221188102647808,8423152862500474880 |
| PARAM_VALUE | 0 | display->bw.obj.funcs->atomic_duplicate_state | 1751081395836968960,4594388545939185664,5185885321829400576,7625532090363609088,8914423393379360768 |
| PARAM_VALUE | 0 | display->cdclk.obj.funcs->atomic_destroy_state | 231959734523985920,312078704547934208,1654662236298231808,5986221188102647808,8423152862500474880 |
| PARAM_VALUE | 0 | display->cdclk.obj.funcs->atomic_duplicate_state | 1751081395836968960,4594388545939185664,5185885321829400576,7625532090363609088,8914423393379360768 |
| PARAM_VALUE | 0 | display->dbuf.obj.funcs->atomic_destroy_state | 231959734523985920,312078704547934208,1654662236298231808,5986221188102647808,8423152862500474880 |
| PARAM_VALUE | 0 | display->dbuf.obj.funcs->atomic_duplicate_state | 1751081395836968960,4594388545939185664,5185885321829400576,7625532090363609088,8914423393379360768 |
| PARAM_VALUE | 0 | display->dbuf_bw.obj.funcs->atomic_destroy_state | 231959734523985920,312078704547934208,1654662236298231808,5986221188102647808,8423152862500474880 |
| PARAM_VALUE | 0 | display->dbuf_bw.obj.funcs->atomic_duplicate_state | 1751081395836968960,4594388545939185664,5185885321829400576,7625532090363609088,8914423393379360768 |
| PARAM_VALUE | 0 | display->drm->mode_config.funcs->atomic_commit | 0,1709437739929436160,3385958169767186432,9025212985888776192 |
| PARAM_VALUE | 0 | display->drm->mode_config.funcs->atomic_state_alloc | 0,4313866966076465152,8746944527109378048 |
| PARAM_VALUE | 0 | display->drm->mode_config.funcs->atomic_state_clear | 0,3327168810821279744,3688275810139275264 |
| PARAM_VALUE | 0 | display->drm->mode_config.funcs->atomic_state_free | 0,358897174564036608,2978086218190217216 |
| PARAM_VALUE | 0 | display->drm->mode_config.funcs->get_format_info | 0,4744930813722337280,7691603805021310976 |
| PARAM_VALUE | 0 | display->drm->mode_config.helper_private->atomic_commit_setup | 0,2854509176089305088,4835567830784204800,7680721074952196096 |
| PARAM_VALUE | 0 | display->parent->rpm | 1303590034781167616 |
| PARAM_VALUE | 0 | display->pmdemand.obj.funcs->atomic_destroy_state | 231959734523985920,312078704547934208,1654662236298231808,5986221188102647808,8423152862500474880 |
| PARAM_VALUE | 0 | display->pmdemand.obj.funcs->atomic_duplicate_state | 1751081395836968960,4594388545939185664,5185885321829400576,7625532090363609088,8914423393379360768 |
| PARAM_VALUE | 0 | display->power.domains.async_put_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | display->power.domains.init_wakeref | 0 |
| 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->task->blocked_lock.dep_map->name | 0-255 |
| 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_wells->desc->irq_pipe_mask | 0-2,4,6,8 |
| PARAM_VALUE | 0 | *display->bw.peakbw | 0-4294967295 |
| PARAM_VALUE | 0 | *display->bw.psf_bw | 0-4294967295 |
| PARAM_VALUE | 0 | *display->irq.pipestat_irq_mask | 0-4294967295 |
| PARAM_VALUE | 0 | *display->power.chv_phy_assert | 0-1 |
| BUF_SIZE | 0 | display | (-1),8416 |
| BUF_SIZE | 0 | display | (-1),8416 |
| 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 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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-4294967295 |
| 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->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->drm->num_crtcs | |
| HALF_LOCKED2 | &dev->mutex |
drivers/gpu/drm/i915/display/intel_display_power.c intel_display_power_enable() -> intel_power_domains_verify_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | display | 4096-ptr_max |
| PARAM_VALUE | 0 | display->dmc.dmc->dc6_allowed.count | 0-4294967295 |
| PARAM_VALUE | 0 | display->dmc.dmc->dc6_allowed.dc5_start | 0-4294967295 |
| PARAM_VALUE | 0 | display->drm->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | display->hotplug.poll_enabled | 1 |
| PARAM_VALUE | 0 | display->hotplug.poll_init_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | display->irq.vlv_display_irqs_enabled | 0 |
| PARAM_VALUE | 0 | display->irq.vlv_imr_mask | u32max |
| PARAM_VALUE | 0 | display->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | display->power.domains.init_wakeref | 0 |
| 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->task->blocked_lock.dep_map->name | 0-255 |
| 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->psr_dc5_dc6_wa_work.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | display->psr_dc5_dc6_wa_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | display->wl.dc_state | 0-3 |
| PARAM_VALUE | 0 | display->wl.enabled | 1 |
| 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->next | 1-u64max |
| PARAM_VALUE | 0 | display->wl.work.work.entry.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | *display->irq.pipestat_irq_mask | 0-4294967295 |
| PARAM_VALUE | 0 | *display->power.chv_phy_assert | 0-1 |
| 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->dmc.dmc->dc6_allowed.dc5_start | 0-4294967295 |
| 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.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->pdev.id | |
| HALF_LOCKED2 | 0 | &display->drm->mode_config.connection_mutex |
drivers/gpu/drm/i915/display/intel_display_power.c intel_power_domains_suspend() -> intel_power_domains_verify_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | display | 4096-ptr_max |
| PARAM_VALUE | 0 | display->dmc.dmc->dc6_allowed.count | 0-4294967295 |
| PARAM_VALUE | 0 | display->dmc.dmc->dc6_allowed.dc5_start | 0-4294967295 |
| PARAM_VALUE | 0 | display->drm->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | display->hotplug.poll_enabled | 1 |
| PARAM_VALUE | 0 | display->hotplug.poll_init_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | display->irq.vlv_display_irqs_enabled | 0 |
| PARAM_VALUE | 0 | display->irq.vlv_imr_mask | u32max |
| PARAM_VALUE | 0 | display->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | display->power.domains.init_wakeref | 0 |
| 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->task->blocked_lock.dep_map->name | 0-255 |
| 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->psr_dc5_dc6_wa_work.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | display->psr_dc5_dc6_wa_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | display->wl.dc_state | 0-3 |
| PARAM_VALUE | 0 | display->wl.enabled | 1 |
| 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->next | 1-u64max |
| PARAM_VALUE | 0 | display->wl.work.work.entry.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | *display->irq.pipestat_irq_mask | 0-4294967295 |
| PARAM_VALUE | 0 | *display->power.chv_phy_assert | 0-1 |
| DATA_SOURCE | 0 | display | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | display->dmc.dmc->dc6_allowed.dc5_start | 0-4294967295 |
| HOST_DATA | 0 | display->power.domains.dc_state | 0-u32max |
| HALF_LOCKED2 | global &vgasr_mutex |
drivers/gpu/drm/i915/display/intel_display_power.c intel_power_domains_suspend() -> intel_power_domains_verify_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | display | 4096-ptr_max |
| PARAM_VALUE | 0 | display->dmc.dmc->dc6_allowed.count | 0-4294967295 |
| PARAM_VALUE | 0 | display->dmc.dmc->dc6_allowed.dc5_start | 0-4294967295 |
| PARAM_VALUE | 0 | display->drm->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | display->hotplug.poll_enabled | 1 |
| PARAM_VALUE | 0 | display->hotplug.poll_init_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | display->irq.vlv_display_irqs_enabled | 0 |
| PARAM_VALUE | 0 | display->irq.vlv_imr_mask | u32max |
| PARAM_VALUE | 0 | display->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | display->power.domains.init_wakeref | 0 |
| 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->task->blocked_lock.dep_map->name | 0-255 |
| 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->psr_dc5_dc6_wa_work.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | display->psr_dc5_dc6_wa_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | display->wl.dc_state | 0-3 |
| PARAM_VALUE | 0 | display->wl.enabled | 1 |
| 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->next | 1-u64max |
| PARAM_VALUE | 0 | display->wl.work.work.entry.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | *display->irq.pipestat_irq_mask | 0-4294967295 |
| PARAM_VALUE | 0 | *display->power.chv_phy_assert | 0-1 |
| DATA_SOURCE | 0 | display | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | display->dmc.dmc->dc6_allowed.dc5_start | 0-4294967295 |
| HOST_DATA | 0 | display->power.domains.dc_state | 0-u32max |
| HALF_LOCKED2 | global &vgasr_mutex |