Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/soc/generic/simple-card.c __simple_for_each_link() -> __simple_for_each_link param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 1-u64max |
| PARAM_VALUE | 0 | priv->snd_card.dev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->snd_card.dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->snd_card.driver_name | 48226879165054976 |
| PARAM_VALUE | 0 | priv->snd_card.owner | 0 |
| PARAM_VALUE | 0 | priv->snd_card.probe | 4716086725644242944 |
| PARAM_VALUE | 1 | np | 1-u64max |
| PARAM_VALUE | 1 | np->fwnode.ops->get | 0,4096-ptr_max |
| PARAM_VALUE | 2 | codec | 4096-ptr_max |
| PARAM_VALUE | 2 | codec->fwnode.ops->get | 0,4096-ptr_max |
| PARAM_VALUE | 3 | li | 4096-ptr_max |
| PARAM_VALUE | 3 | li->cpu | 1 |
| BUF_SIZE | 3 | li | (-1),6152 |
| BUF_SIZE | 3 | li | (-1),6152 |
| CAPPED_DATA | 2 | codec | 1 |
| DATA_SOURCE | 0 | priv | $0 |
| DATA_SOURCE | 2 | codec | r of_get_child_by_name |
| DATA_SOURCE | 3 | li | $1 |
| PARAM_COMPARE | 1 | np | < $2 |
| PARAM_COMPARE | 2 | codec | > $1 |
| PARAM_COMPARE | 2 | codec | > $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 3 | li->link |