XPfw_IpiTrigger()is used to trigger an IPI to the destination. This function internally calls the IPI driver trigger. This function should be called after the IPI message writes IPI buffer.
|DestCpuMask||Destination target IPI ID|
XST_SUCCESS: If IPI is triggered successfully.
XST_FAILURE: If trigger fails.
Note: Vivado® allows you to enable or disable the IPI. To do so, select . However, it is not recommended that you disable IPI channels for APU or RPU for the PMU firmware PM module to work as expected because in the default configuration, PM assumes that both APU and RPU IPI channels are enabled.