/* @(#)clock.h       03/15/96     1.1 */

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