timer problem

/*

* Interval_timer configuration

*

*/

# define ALT_MODULE_CLASS_Interval_timer altera_avalon_timer

# define INTERVAL_TIMER_ALWAYS_RUN 0

# define INTERVAL_TIMER_BASE 0x10002000

# define INTERVAL_TIMER_COUNTER_SIZE 32

# define INTERVAL_TIMER_FIXED_PERIOD 0

# define INTERVAL_TIMER_FREQ 50000000

# define INTERVAL_TIMER_IRQ 1

# define INTERVAL_TIMER_IRQ_INTERRUPT_CONTROLLER_ID 0

# define INTERVAL_TIMER_LOAD_VALUE 6249999

# define INTERVAL_TIMER_MULT 0.0010

# define INTERVAL_TIMER_NAME "/dev/Interval_timer"

# define INTERVAL_TIMER_PERIOD 125.0

# define INTERVAL_TIMER_PERIOD_UNITS "ms"

# define INTERVAL_TIMER_RESET_OUTPUT 0

# define INTERVAL_TIMER_SNAPSHOT 1

# define INTERVAL_TIMER_SPAN 32

# define INTERVAL_TIMER_TICKS_PER_SEC 8.0

# define INTERVAL_TIMER_TIMEOUT_PULSE_OUTPUT 0

# define INTERVAL_TIMER_TYPE "altera_avalon_timer"