Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
sound/hda/codecs/hdmi/intelhdmi.c haswell_verify_D0() -> snd_hda_check_power_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | codec | 4096-ptr_max |
| PARAM_VALUE | 0 | codec->core.bus->audio_component->ops->sync_audio_rate | 0,6923335159372324864 |
| PARAM_VALUE | 0 | codec->core.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | codec->spec | 4096-ptr_max |
| PARAM_VALUE | 2 | target_state | 0 |
| DATA_SOURCE | 0 | codec | $0 |
| DATA_SOURCE | 1 | nid | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | nid | unit_array_size |
| LOCK2 | _T->lock |
sound/hda/codecs/hdmi/intelhdmi.c haswell_verify_D0() -> snd_hda_check_power_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | codec | 4096-ptr_max |
| PARAM_VALUE | 0 | codec->core->bus->corb.buf | 0-u32max |
| PARAM_VALUE | 0 | codec->core->bus->last_cmd | 0-u32max |
| PARAM_VALUE | 0 | codec->core->bus->rirb.res | 0-u32max |
| PARAM_VALUE | 0 | codec->core->bus->unsol_queue | 0-u32max |
| PARAM_VALUE | 0 | codec->core.bus->audio_component->ops->sync_audio_rate | 0,6923335159372324864 |
| PARAM_VALUE | 0 | codec->core.bus->rirb.rp | 0-65534 |
| PARAM_VALUE | 0 | codec->core.bus->rirb.wp | 0-65534 |
| PARAM_VALUE | 0 | codec->core.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | codec->spec | 4096-ptr_max |
| PARAM_VALUE | 2 | target_state | 0 |
| DATA_SOURCE | 0 | codec | $0 |
| DATA_SOURCE | 1 | nid | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | nid | unit_array_size |
| LOCK2 | _T->lock |
sound/hda/common/codec.c sync_power_up_states() -> snd_hda_check_power_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | codec | 4096-ptr_max |
| PARAM_VALUE | 0 | codec->core->bus->rirb.res | 0-u32max |
| PARAM_VALUE | 0 | codec->core->bus->unsol_queue | 0-u32max |
| PARAM_VALUE | 0 | codec->core->regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.bus->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.dev.power.request | 0-4 |
| PARAM_VALUE | 0 | codec->core.dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | codec->core.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.end_nid | 1-u16max |
| PARAM_VALUE | 0 | codec->core.regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | codec->jacktbl.list->button_state | 0 |
| PARAM_VALUE | 0 | codec->jacktbl.list->jack->card->mixer_oss_change_count | s32min-s32max |
| PARAM_VALUE | 0 | codec->jacktbl.list->jack->input_dev->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | codec->jacktbl.list->jack_dirty | 0 |
| PARAM_VALUE | 0 | codec->jacktbl.list->pin_sense | 0-4294967295 |
| PARAM_VALUE | 0 | codec->jacktbl.used | 0-s32max |
| PARAM_VALUE | 0 | codec->power_filter | 1-u64max |
| PARAM_VALUE | 1 | nid | 0-65534 |
| PARAM_VALUE | 2 | target_state | 3 |
| CAPPED_DATA | 0 | codec->core.start_nid | 1 |
| CAPPED_DATA | 0 | codec->jacktbl.used | 1 |
| CAPPED_DATA | 1 | nid | 1 |
| DATA_SOURCE | 0 | codec | $0 |
| PARAM_COMPARE | 0 | codec->core.end_nid | > $0->core.start_nid |
| PARAM_COMPARE | 0 | codec->core.end_nid | > $1 |
| PARAM_COMPARE | 1 | nid | < $0->core.end_nid |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | codec->core.num_nodes | |
| UNITS | 0 | codec | unit_byte |
| UNITS | 1 | nid | unit_array_size |
| HALF_LOCKED2 | &card->mutex | ||
| HALF_LOCKED2 | _T->lock |