1da177e4 LT |
1 | extern int platform_timer_setup(void (*timer_int)(int, void *, struct pt_regs *)); |
2 | extern void platform_timer_eoi(void); |
3 | extern void platform_gettod(unsigned int *year, unsigned int *mon, unsigned int *day, |
4 | unsigned int *hour, unsigned int *min, unsigned int *sec); |