4c46630639
21677c0e66
1 2 3
4 5 6 7
/* * $Id$ */ extern void a29k_init_timer( unsigned32 timer_clock_interval ); extern void a29k_disable_timer(void); extern void a29k_clear_timer(void);