EP93XX_APB_TIMERS
EP93XX_APB_TIMERS + EP93XX_TIMERS_Timer4ValueLow))
locs[EPSOCCF_ADDR] = EP93XX_APB_HWBASE + EP93XX_APB_TIMERS;