X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Ftimer.h;fp=palacios%2Finclude%2Fgeekos%2Ftimer.h;h=f6add166f87e8d41d080fd15e331686b387d252c;hb=7617d3cee4bd93b90558206b1bb1681c07f0396a;hp=9b087135c12eca324a6c456adf5826a19621767b;hpb=856dabe4e139e3b42e2956f85e562aa922d66f2e;p=palacios.git

diff --git a/palacios/include/geekos/timer.h b/palacios/include/geekos/timer.h
index 9b08713..f6add16 100644
--- a/palacios/include/geekos/timer.h
+++ b/palacios/include/geekos/timer.h
@@ -36,12 +36,12 @@ 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);
 int Cancel_Timer(int id);
 
-
 void Micro_Delay(int us);
 
 #endif  /* GEEKOS_TIMER_H */