Index: kernel/genarch/include/genarch/drivers/am335x/ctrl_module.h
===================================================================
--- kernel/genarch/include/genarch/drivers/am335x/ctrl_module.h	(revision 82cbf8c6161e2ff15d39a43b59096447a98acc21)
+++ kernel/genarch/include/genarch/drivers/am335x/ctrl_module.h	(revision 08d4ea2111e5db01d0a6194bd9da4248ee282dc7)
@@ -46,5 +46,5 @@
 typedef ioport32_t am335x_ctrl_module_t;
 
-static int
+static errno_t
 am335x_ctrl_module_clock_freq_get(am335x_ctrl_module_t *base, unsigned *freq)
 {
Index: kernel/genarch/include/genarch/drivers/am335x/timer.h
===================================================================
--- kernel/genarch/include/genarch/drivers/am335x/timer.h	(revision 82cbf8c6161e2ff15d39a43b59096447a98acc21)
+++ kernel/genarch/include/genarch/drivers/am335x/timer.h	(revision 08d4ea2111e5db01d0a6194bd9da4248ee282dc7)
@@ -85,5 +85,5 @@
 } am335x_timer_t;
 
-extern int am335x_timer_init(am335x_timer_t *timer, am335x_timer_id_t id,
+extern errno_t 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);