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