X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Ftimer.h;h=b9f4eb415181d145616186a3c3a83bbeb8a12dca;hb=6eecf583b522147ef13faabb634562f6f23bb712;hp=9b087135c12eca324a6c456adf5826a19621767b;hpb=f662be2b6bac1f62c457b663598bfde135f48f50;p=palacios.git

diff --git a/palacios/include/geekos/timer.h b/palacios/include/geekos/timer.h
index 9b08713..b9f4eb4 100644
--- a/palacios/include/geekos/timer.h
+++ b/palacios/include/geekos/timer.h
@@ -41,7 +41,6 @@ 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 */