src/arch/ppc/include/timer.h

   1 /* $Id$ */
   2 /* Copyright 2000  AG Electronics Ltd. */
   3 /* This code is distributed without warranty under the GPL v2 (see COPYING) */
   4
   5 #ifndef _TIMER_H
   6 #define __TIMER_H
   7
   8 unsigned get_hz(void);
   9 unsigned ticks_since_boot(void);
  10 void sleep_ticks(unsigned);
  11 void udelay(int);
  12
  13 #endif