Merge branch 'lwip_dev' into devel

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

diff --git a/palacios/include/geekos/timer.h b/geekos/include/geekos/timer.h
similarity index 99%
rename from palacios/include/geekos/timer.h
rename to geekos/include/geekos/timer.h
index b967fef..f5ae13f 100644 (file)
--- a/palacios/include/geekos/timer.h
+++ b/geekos/include/geekos/timer.h
@@ -36,6 +36,7 @@ int Start_Timer_Secs(int seconds, timerCallback cb, void * arg);
 int Start_Timer_MSecs(int msecs, timerCallback cb, void * arg);
 int Start_Timer(int ticks, timerCallback, void * arg);
 
+
 double Get_Remaining_Timer_Secs(int id);
 int Get_Remaining_Timer_MSecs(int id);
 int Get_Remaining_Timer_Ticks(int id);