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