No change to file, just keep update

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

diff --git a/palacios/include/geekos/timer.h b/palacios/include/geekos/timer.h
index 7fb783d..6b123aa 100644 (file)
--- a/palacios/include/geekos/timer.h
+++ b/palacios/include/geekos/timer.h
@@ -39,7 +39,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 */