Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/soc/sof/ipc3.c ipc3_fw_ready() -> ipc3_get_windows()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdev | 4096-ptr_max |
| PARAM_VALUE | 0 | sdev->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdev->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdev->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdev->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdev->first_boot | 1 |
| PARAM_VALUE | 0 | sdev->fw_state | 3 |
| PARAM_VALUE | 0 | sdev->ipc->max_payload_size | 0,384,4096 |
| PARAM_VALUE | 0 | sdev->ipc->msg.rx_data | 0,784178113353506816,6806950553865195520,8362215616277610496 |
| PARAM_VALUE | 0 | sdev->ipc->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdev->pdata | 4096-ptr_max |
| PARAM_VALUE | 0 | sdev->pdata->desc | 4096-ptr_max |
| PARAM_VALUE | 0 | sdev->pdata->desc->ops | 4096-ptr_max |
| BUF_SIZE | 0 | sdev->ipc->msg.rx_data | (-1),24 |
| DATA_SOURCE | 0 | sdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | *sdev->msg->reply_data | (-4611686018427387904)-s32max |