/* Reset Digital Watchdog. 
This function can be called to reset Digital Watchdog.  */
void dwdReset(void)
/* Reset Digital Watchdog. 
This function can be called to reset Digital Watchdog.  */
void dwdReset(void)
{
	rtiREG1->WDKEY = 0x0000E51AU;
	rtiREG1->WDKEY = 0x0000A35CU;
}