Index: kernel/genarch/src/drivers/am335x/timer.c
===================================================================
--- kernel/genarch/src/drivers/am335x/timer.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/drivers/am335x/timer.c	(revision 8591b31e206885d6be362b4e18a8f5cc3266ec67)
@@ -180,3 +180,2 @@
  * @}
  */
-