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 63b2be859ccef83d8050c0ad9b96d7dc5fa9ec75)
@@ -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);