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 50f19b7ee8e94570b5c63896736c4eb49cfa18db)
@@ -84,5 +84,5 @@
 }
 
-int
+errno_t
 am335x_timer_init(am335x_timer_t *timer, am335x_timer_id_t id, unsigned hz,
     unsigned srcclk_hz)