/* clock.h: Clock tick functions */ void clock_reset(void); void clock_wait(unsigned long n); unsigned long clock_elapsed(void); /* End of File */