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