Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/hda/codecs/hdmi/hdmi.c hdmi_fill_audio_infoframe() -> hdmi_set_dip_index()
| 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->async | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->async_ret | s32min-s32max |
| PARAM_VALUE | 0 | codec->core.regmap->cache_bypass | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->cache_type | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.regmap->no_sync_defaults | 0-1 |
| PARAM_VALUE | 0 | codec->spec | 4096-ptr_max |
| PARAM_VALUE | 1 | pin_nid | 0-126 |
| PARAM_VALUE | 2 | packet_index | 0 |
| PARAM_VALUE | 3 | byte_index | 0 |
| DATA_SOURCE | 0 | codec | $0 |
| DATA_SOURCE | 1 | pin_nid | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
sound/hda/codecs/hdmi/hdmi.c hdmi_infoframe_uptodate() -> hdmi_set_dip_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | codec | 4096-ptr_max |
| PARAM_VALUE | 0 | codec->core->bus->last_cmd | 0-u32max |
| 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->async | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->async_ret | s32min-s32max |
| PARAM_VALUE | 0 | codec->core.regmap->cache_bypass | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->cache_type | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.regmap->no_sync_defaults | 0-1 |
| PARAM_VALUE | 0 | codec->spec | 4096-ptr_max |
| PARAM_VALUE | 1 | pin_nid | 0-126 |
| PARAM_VALUE | 2 | packet_index | 0 |
| PARAM_VALUE | 3 | byte_index | 0 |
| DATA_SOURCE | 0 | codec | $0 |
| DATA_SOURCE | 1 | pin_nid | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
sound/hda/codecs/hdmi/hdmi.c hdmi_start_infoframe_trans() -> hdmi_set_dip_index()
| 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.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.regmap->async | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->async_ret | s32min-s32max |
| PARAM_VALUE | 0 | codec->core.regmap->cache_bypass | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->cache_type | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.regmap->no_sync_defaults | 0-1 |
| PARAM_VALUE | 0 | codec->spec | 4096-ptr_max |
| PARAM_VALUE | 1 | pin_nid | 0-126 |
| PARAM_VALUE | 2 | packet_index | 0 |
| PARAM_VALUE | 3 | byte_index | 0 |
| DATA_SOURCE | 0 | codec | $0 |
| DATA_SOURCE | 1 | pin_nid | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
sound/hda/codecs/hdmi/hdmi.c hdmi_stop_infoframe_trans() -> hdmi_set_dip_index()
| 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.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.regmap->async | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->async_ret | s32min-s32max |
| PARAM_VALUE | 0 | codec->core.regmap->cache_bypass | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | codec->core.regmap->cache_type | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.regmap->no_sync_defaults | 0-1 |
| PARAM_VALUE | 0 | codec->spec | 4096-ptr_max |
| PARAM_VALUE | 1 | pin_nid | 0-126 |
| PARAM_VALUE | 2 | packet_index | 0 |
| PARAM_VALUE | 3 | byte_index | 0 |
| DATA_SOURCE | 0 | codec | $0 |
| DATA_SOURCE | 1 | pin_nid | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |