EP93XX_WDOG_Ctrl
EP93XX_WDOG_Ctrl, EP93XX_WDOG_DISABLE);
EP93XX_WDOG_Ctrl, EP93XX_WDOG_ENABLE);
uint32_t ctrl = EP93XX_APB_VBASE + EP93XX_APB_WDOG + EP93XX_WDOG_Ctrl;