/* "static data" needed by most of timer.c on ARM platforms */
unsigned long timer_rate_hz;
unsigned long tbu;
+ unsigned long tbl;
};
/*
#endif
#ifdef CONFIG_ARM
/* "static data" needed by most of timer.c on ARM platforms */
- unsigned long tbl;
unsigned long long timer_reset_value;
unsigned long lastinc;
#endif