Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

sound/soc/sof/ipc4.c sof_ipc4_get_reply() -> snd_sof_dsp_mailbox_read()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->ipc 4096-ptr_max
PARAM_VALUE 0 sdev->ipc->ops 4096-ptr_max
PARAM_VALUE 0 sdev->msg 4096-ptr_max
PARAM_VALUE 0 sdev->msg->reply_size 1-u64max
PARAM_VALUE 3 bytes 1-u64max
BUF_SIZE 2 dest 1-s32max
DATA_SOURCE 0 sdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_byte
UNITS 2 dest unit_byte
UNITS 3 bytes unit_byte
LOCK2 irq
LOCK2 0 &sdev->ipc_lock
TYPE_LOCK (struct snd_sof_dev)->ipc_lock

sound/soc/sof/ipc3.c sof_ipc3_get_reply() -> snd_sof_dsp_mailbox_read()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->ipc 4096-ptr_max
PARAM_VALUE 0 sdev->ipc->ops 4096-ptr_max
PARAM_VALUE 0 sdev->msg 4096-ptr_max
PARAM_VALUE 3 bytes 12
BUF_SIZE 2 dest 384,4120
DATA_SOURCE 0 sdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_byte
UNITS 3 bytes unit_byte
LOCK2 irq
LOCK2 0 &sdev->ipc_lock
TYPE_LOCK (struct snd_sof_dev)->ipc_lock

sound/soc/sof/ipc3.c sof_ipc3_get_reply() -> snd_sof_dsp_mailbox_read()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->ipc 4096-ptr_max
PARAM_VALUE 0 sdev->ipc->ops 4096-ptr_max
PARAM_VALUE 0 sdev->msg 4096-ptr_max
PARAM_VALUE 0 sdev->msg->reply_size 13-u32max
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
PARAM_VALUE 2 dest 4096-ptr_max
PARAM_VALUE 3 bytes 13-u32max
BUF_SIZE 2 dest 384,4120
CAPPED_DATA 3 bytes 1
CAPPED_DATA 3 bytes 1
DATA_SOURCE 0 sdev $0
FUZZY_MAX 0 sdev->msg->reply_size 13
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_byte
UNITS 3 bytes unit_byte
LOCK2 irq
LOCK2 0 &sdev->ipc_lock
TYPE_LOCK (struct snd_sof_dev)->ipc_lock

sound/soc/sof/stream-ipc.c sof_ipc_msg_data() -> snd_sof_dsp_mailbox_read()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
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->ipc->ops->pcm 4096-ptr_max
PARAM_VALUE 0 sdev->ipc->ops->pm 4096-ptr_max
PARAM_VALUE 0 sdev->ipc->ops->rx_msg 4096-ptr_max
PARAM_VALUE 0 sdev->ipc->ops->tplg 4096-ptr_max
PARAM_VALUE 0 sdev->ipc->ops->tx_msg 4096-ptr_max
PARAM_VALUE 0 sdev->msg->rx_data 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
PARAM_VALUE 2 dest 1-u64max
PARAM_VALUE 3 bytes 8-4294967307
BUF_SIZE 0 sdev s32min-(-1),1-s32max
BUF_SIZE 0 sdev s32min-(-1),1-s32max
BUF_SIZE 0 sdev->ipc->msg.rx_data (-1),24
BUF_SIZE 2 dest 8-s32max
BUF_SIZE 2 dest 8-s32max
CAPPED_DATA 3 bytes 1
CAPPED_DATA 3 bytes 1
DATA_SOURCE 0 sdev $0
DATA_SOURCE 2 dest $2
DATA_SOURCE 3 bytes $3
FUZZY_MAX 3 bytes 384
PARAM_COMPARE 2 dest >= $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *sdev->msg->reply_data s64min-s64max
HOST_DATA 2 *dest s64min-s64max
UNITS 1 offset unit_byte
BYTE_COUNT 2 ==dest3 8050

sound/soc/sof/stream-ipc.c sof_ipc_msg_data() -> snd_sof_dsp_mailbox_read()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
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->ipc->ops->pcm 2727965018001317888,7051671994805637120
PARAM_VALUE 0 sdev->ipc->ops->pm 5208328608293543936,7865405478994923520
PARAM_VALUE 0 sdev->ipc->ops->rx_msg 839870170049818624,8220398023561293824
PARAM_VALUE 0 sdev->ipc->ops->tplg 4353795724968787968,5924458453840941056
PARAM_VALUE 0 sdev->ipc->ops->tx_msg 5339680686396170240,8452568396484861952
PARAM_VALUE 0 sdev->msg->rx_data 0,784178113353506816,6806950553865195520,8362215616277610496
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
PARAM_VALUE 0 sdev->stream_box.size 1-u64max
PARAM_VALUE 2 dest 4096-ptr_max
PARAM_VALUE 3 bytes 8-384
BUF_SIZE 0 sdev s32min-(-1),1-s32max
BUF_SIZE 0 sdev s32min-(-1),1-s32max
BUF_SIZE 0 sdev->ipc->msg.rx_data (-1),24
BUF_SIZE 2 dest 8-384
BUF_SIZE 2 dest 8-384
CAPPED_DATA 3 bytes 1
CAPPED_DATA 3 bytes 1
DATA_SOURCE 0 sdev $0
DATA_SOURCE 2 dest $2
DATA_SOURCE 3 bytes $3
FUZZY_MAX 3 bytes 384
PARAM_COMPARE 2 dest > $3
HARD_MAX 3 bytes 384
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *sdev->msg->reply_data s64min-s64max
UNITS 1 offset unit_byte
BYTE_COUNT 2 ==dest3 8050