IFPGA_TIMER1_FREQ
#define IFPGA_TIMER1_FREQ 1000000 /* 1 MHz */
#define IFPGA_TIMER1_FREQ 24000000 /* 24 MHz */