/*
 * $Id$
 */

extern void a29k_init_timer( unsigned32 timer_clock_interval );
extern void a29k_disable_timer(void);
extern void a29k_clear_timer(void);