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