IFPGA_TIMER1_BASE
= load_timer(IFPGA_TIMER1_BASE, intvl);
#define TIMER_1_CLEAR (IFPGA_TIMER1_BASE + TIMERx_CLR)
#define TIMER_1_LOAD (IFPGA_TIMER1_BASE + TIMERx_LOAD)
#define TIMER_1_VALUE (IFPGA_TIMER1_BASE + TIMERx_VALUE)
#define TIMER_1_CTRL (IFPGA_TIMER1_BASE + TIMERx_CTRL)