/* RSWDT interrupt handler.RSWDT and WDT are the same as the interrupt number.  */
void WDT_Handler(void)
/* RSWDT interrupt handler.RSWDT and WDT are the same as the interrupt number.  */
void WDT_Handler(void)
{
	RSWDT->RSWDT_SR;
	gs_rswdt_triggered = 1;
}