/* Handler for reinforced safety watchdog interrupt.RSWDT and WDT are the same as the interrupt number.  */
void WDT_Handler(void)
/* Handler for reinforced safety watchdog interrupt.RSWDT and WDT are the same as the interrupt number.  */
void WDT_Handler(void)
{
	puts("Enter reinforced safety watchdog interrupt.\r");
	rswdt_get_status(RSWDT);
	rswdt_restart(RSWDT);
	puts("The reinforced safety watchdog timer was restarted.\r");
}