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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -180,3 +180,2 @@
  * @}
  */
-