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
);
