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

diff --git a/misc/test_vm/include/geekos/timer.h b/misc/test_vm/include/geekos/timer.h
deleted file mode 100644
index 37dda14..0000000
--- a/misc/test_vm/include/geekos/timer.h
+++ /dev/null
@@ -1,24 +0,0 @@
-/*
- * 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 */