TIMERx_VALUE
#define TIMER_1_VALUE (IFPGA_TIMER1_BASE + TIMERx_VALUE)
#define TIMER_2_VALUE (IFPGA_TIMER2_BASE + TIMERx_VALUE)