X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=geekos%2Finclude%2Fgeekos%2Ftimer.h;fp=geekos%2Finclude%2Fgeekos%2Ftimer.h;h=f5ae13fd7f027c3f6c3149861a5c51ef6cbaea42;hb=a1073097716c800734e117267ce7aa92aa0d9a17;hp=f6add166f87e8d41d080fd15e331686b387d252c;hpb=819c31aa7157ed1e3e17b9f05bf74de38179233d;p=palacios.git

diff --git a/geekos/include/geekos/timer.h b/geekos/include/geekos/timer.h
index f6add16..f5ae13f 100644
--- a/geekos/include/geekos/timer.h
+++ b/geekos/include/geekos/timer.h
@@ -14,7 +14,7 @@
 
 #define TIMER_IRQ 0
 
-extern volatile ulong_t g_numTicks;
+extern volatile unsigned long g_numTicks;
 
 typedef void (*timerCallback)(int, void*);
 
@@ -44,4 +44,6 @@ int Cancel_Timer(int id);
 
 void Micro_Delay(int us);
 
+unsigned long clock_time(void);  //return elipsed millisecs
+
 #endif  /* GEEKOS_TIMER_H */