stable compliation version with some running problems in kernel thread

[palacios-OLD.git] / palacios / include / geekos / timer.h

diff --git a/palacios/include/geekos/timer.h b/palacios/include/geekos/timer.h
index da31415..b967fef 100644 (file)
--- a/palacios/include/geekos/timer.h
+++ b/palacios/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*);
 
@@ -43,6 +43,6 @@ int Cancel_Timer(int id);
 
 void Micro_Delay(int us);
 
-ulong_t clock_time(void);  //return elipsed millisecs
+unsigned long clock_time(void);  //return elipsed millisecs
 
 #endif  /* GEEKOS_TIMER_H */