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.
|Source IPI ID to read the IPI message
XST_SUCCESS: If IPI message is read successfully.
XST_FAILURE: If message fails.