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 a53ed3a8097360ccf174e8d94fb407db919eb66a)
@@ -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 a53ed3a8097360ccf174e8d94fb407db919eb66a)
@@ -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);
Index: kernel/genarch/src/ddi/ddi-bitmap.c
===================================================================
--- kernel/genarch/src/ddi/ddi-bitmap.c	(revision 82cbf8c6161e2ff15d39a43b59096447a98acc21)
+++ kernel/genarch/src/ddi/ddi-bitmap.c	(revision a53ed3a8097360ccf174e8d94fb407db919eb66a)
@@ -57,5 +57,5 @@
  *
  */
-int ddi_iospace_enable_arch(task_t *task, uintptr_t ioaddr, size_t size)
+errno_t ddi_iospace_enable_arch(task_t *task, uintptr_t ioaddr, size_t size)
 {
 	size_t elements = ioaddr + size;
@@ -120,5 +120,5 @@
  *
  */
-int ddi_iospace_disable_arch(task_t *task, uintptr_t ioaddr, size_t size)
+errno_t ddi_iospace_disable_arch(task_t *task, uintptr_t ioaddr, size_t size)
 {
 	size_t elements = ioaddr + size;
Index: kernel/genarch/src/ddi/ddi-dummy.c
===================================================================
--- kernel/genarch/src/ddi/ddi-dummy.c	(revision 82cbf8c6161e2ff15d39a43b59096447a98acc21)
+++ kernel/genarch/src/ddi/ddi-dummy.c	(revision a53ed3a8097360ccf174e8d94fb407db919eb66a)
@@ -48,5 +48,5 @@
  * @return EOK on success or an error code from errno.h.
  */
-int ddi_iospace_enable_arch(task_t *task, uintptr_t ioaddr, size_t size)
+errno_t ddi_iospace_enable_arch(task_t *task, uintptr_t ioaddr, size_t size)
 {
 	return 0;
@@ -63,5 +63,5 @@
  * @return EOK on success or an error code from errno.h.
  */
-int ddi_iospace_disable_arch(task_t *task, uintptr_t ioaddr, size_t size)
+errno_t ddi_iospace_disable_arch(task_t *task, uintptr_t ioaddr, size_t size)
 {
 	return 0;
Index: kernel/genarch/src/drivers/am335x/timer.c
===================================================================
--- kernel/genarch/src/drivers/am335x/timer.c	(revision 82cbf8c6161e2ff15d39a43b59096447a98acc21)
+++ kernel/genarch/src/drivers/am335x/timer.c	(revision a53ed3a8097360ccf174e8d94fb407db919eb66a)
@@ -84,5 +84,5 @@
 }
 
-int
+errno_t
 am335x_timer_init(am335x_timer_t *timer, am335x_timer_id_t id, unsigned hz,
     unsigned srcclk_hz)