IFPGA_TIMER2_BASE
statprev = load_timer(IFPGA_TIMER2_BASE, newint);
load_timer(IFPGA_TIMER2_BASE, statint);
#define TIMER_2_CLEAR (IFPGA_TIMER2_BASE + TIMERx_CLR)
#define TIMER_2_LOAD (IFPGA_TIMER2_BASE + TIMERx_LOAD)
#define TIMER_2_VALUE (IFPGA_TIMER2_BASE + TIMERx_VALUE)
#define TIMER_2_CTRL (IFPGA_TIMER2_BASE + TIMERx_CTRL)