Index: kernel/genarch/src/ddi/ddi-bitmap.c
===================================================================
--- kernel/genarch/src/ddi/ddi-bitmap.c	(revision 6eeb4a3e81a72dcdffeb1256ea248c75983514ab)
+++ kernel/genarch/src/ddi/ddi-bitmap.c	(revision 2ca5a198f7308b0c892b04c0fcda44f5e83eb8f0)
@@ -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;