XPfw_IpiReadMessage() is used to read the IPI message received when
IPI interrupt comes. This function internally calls the IPI driver read API with
buffer type as Message buffer.
Parameters
| Parameter | Description |
|---|---|
| SrcCpuMask | Source IPI ID to read the IPI message |
| MsgPtr | Message Pointer |
| MsgLen | Message Length |
Return
XST_SUCCESS: If IPI message is read successfully.
XST_FAILURE: If message fails.