palacios/include/geekos/timer.h

   1 /*
   2  * GeekOS timer interrupt support
   3  * Copyright (c) 2001, David H. Hovemeyer <daveho@cs.umd.edu>
   4  * $Revision: 1.1.1.1 $
   5  *
   6  * This is free software.  You are permitted to use,
   7  * redistribute, and modify it as specified in the file "COPYING".
   8  */
   9
  10 #ifndef GEEKOS_TIMER_H
  11 #define GEEKOS_TIMER_H
  12
  13 #define TIMER_IRQ 0
  14
  15 extern volatile ulong_t g_numTicks;
  16
  17 void Init_Timer(void);
  18
  19 void Micro_Delay(int us);
  20
  21
  22 void Micro_Delay(int us);
  23
  24 #endif  /* GEEKOS_TIMER_H */