Index: kernel/genarch/include/drivers/am335x/timer.h
===================================================================
--- kernel/genarch/include/drivers/am335x/timer.h	(revision 4a09b86b3f42e6fe183e8635c5e70bab027ea2a2)
+++ kernel/genarch/include/drivers/am335x/timer.h	(revision f69ac6ca66afa6de17eead63bb2df5748f4658c3)
@@ -85,5 +85,5 @@
 } am335x_timer_t;
 
-extern void am335x_timer_init(am335x_timer_t *timer, am335x_timer_id_t id,
+extern int am335x_timer_init(am335x_timer_t *timer, am335x_timer_id_t id,
     unsigned hz, unsigned srcclk_hz);
 extern void am335x_timer_intr_ack(am335x_timer_t *timer);