Index: kernel/genarch/src/drivers/am335x/timer.c
===================================================================
--- kernel/genarch/src/drivers/am335x/timer.c	(revision 24abb85d299db39cc03f429adc41bb1ed4f23e23)
+++ kernel/genarch/src/drivers/am335x/timer.c	(revision 36df27ebb72758daf4d2179e70f231ac0e059a83)
@@ -84,5 +84,5 @@
 }
 
-int
+errno_t
 am335x_timer_init(am335x_timer_t *timer, am335x_timer_id_t id, unsigned hz,
     unsigned srcclk_hz)