lib/sw_services/xilplmi/src/xplmi_err.c
static void XPlmi_SoftResetHandler(void)
{
	XPlmi_SysmonClkSetIro();
	/* Make sure every thing completes */
	DATA_SYNC;
	INST_SYNC;
	XPlmi_Out32(CRP_RST_PS, CRP_RST_PS_PMC_SRST_MASK);
	while (TRUE) {
		;
	}
}
/*****************************************************************************/
/**
 * @brief	This function sets clock source to IRO for ES1 silicon and resets
 * the device.
 *
 * @return	None
 *
 *****************************************************************************/
@brief       This function sets clock source to IRO for ES1 silicon and resets
the device.

@return      None
@brief This function sets clock source to IRO for ES1 silicon and resets the device . @return None
static void XPlmi_SoftResetHandler(void)
{
	XPlmi_SysmonClkSetIro();
	DATA_SYNC;
	INST_SYNC;
	XPlmi_Out32(CRP_RST_PS, CRP_RST_PS_PMC_SRST_MASK);
	while (TRUE) {
		;
	}
}
static void XPlmi_SoftResetHandler ( void ) { XPlmi_SysmonClkSetIro ( ) ; DATA_SYNC ; INST_SYNC ; XPlmi_Out32 ( CRP_RST_PS , CRP_RST_PS_PMC_SRST_MASK ) ; while ( TRUE ) { ; } }
@brief       This function sets clock source to IRO for ES1 silicon and resets
 the device.
@brief This function sets clock source to IRO for ES1 silicon and resets the device .
/* Make sure every thing completes */