EP93XX_APB_VBASE
#define TIMER4VAL() (*(volatile uint32_t *)(EP93XX_APB_VBASE + \
uint32_t ctrl = EP93XX_APB_VBASE + EP93XX_APB_WDOG + EP93XX_WDOG_Ctrl;
EP93XX_APB_VBASE,