/* Sets the WatchDog Timer Control register to the  */
static ALWAYS_INLINE void wdt_set_ctrl(uint32_t ctrl)
/* Sets the WatchDog Timer Control register to the  */
static ALWAYS_INLINE void wdt_set_ctrl(uint32_t ctrl)
{
	volatile uint32_t dly;
	dly = DIV_ROUND_UP(48000000 * 2, 115000);
	dly >>= 3;
	while (dly--) {
		;
	}
	WDT->CTRL = ctrl | WDT_CTRL_KEY(WDT_FIRST_KEY);
	WDT->CTRL = ctrl | WDT_CTRL_KEY(WDT_SECOND_KEY);
}