Compilable version with both lwip and uip

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

diff --git a/palacios/include/geekos/timer.h b/palacios/include/geekos/timer.h
index b9f4eb4..da31415 100644 (file)
--- a/palacios/include/geekos/timer.h
+++ b/palacios/include/geekos/timer.h
@@ -43,4 +43,6 @@ int Cancel_Timer(int id);
 
 void Micro_Delay(int us);
 
+ulong_t clock_time(void);  //return elipsed millisecs
+
 #endif  /* GEEKOS_TIMER_H */