X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=misc%2Ftest_vm%2Finclude%2Fgeekos%2Ftimer.h;fp=misc%2Ftest_vm%2Finclude%2Fgeekos%2Ftimer.h;h=37dda144eae0fbc0a55c62377843c24cd19e993d;hb=ddc16b0737cf58f7aa90a69c6652cdf4090aec51;hp=0000000000000000000000000000000000000000;hpb=626595465a2c6987606a6bc697df65130ad8c2d3;p=palacios.releases.git

diff --git a/misc/test_vm/include/geekos/timer.h b/misc/test_vm/include/geekos/timer.h
new file mode 100644
index 0000000..37dda14
--- /dev/null
+++ b/misc/test_vm/include/geekos/timer.h
@@ -0,0 +1,24 @@
+/*
+ * GeekOS timer interrupt support
+ * Copyright (c) 2001, David H. Hovemeyer <daveho@cs.umd.edu>
+ * $Revision: 1.1 $
+ * 
+ * This is free software.  You are permitted to use,
+ * redistribute, and modify it as specified in the file "COPYING".
+ */
+
+#ifndef GEEKOS_TIMER_H
+#define GEEKOS_TIMER_H
+
+#define TIMER_IRQ 0
+
+extern volatile ulong_t g_numTicks;
+
+void Init_Timer(void);
+
+void Micro_Delay(int us);
+
+
+void Micro_Delay(int us);
+
+#endif  /* GEEKOS_TIMER_H */