/* Generate System Reset through DWD. 
This function can be called to generate system reset using DWD.  */
void dwdGenerateSysReset(void)
/* Generate System Reset through DWD. 
This function can be called to generate system reset using DWD.  */
void dwdGenerateSysReset(void)
{
	rtiREG1->WDKEY = 0x0000E51AU;
	rtiREG1->WDKEY = 0x00002345U;
}