Changes in kernel/genarch/src/ddi/ddi-dummy.c [6eeb4a3:b7fd2a0] in mainline

File:

• kernel/genarch/src/ddi/ddi-dummy.c (modified) (2 diffs)

kernel/genarch/src/ddi/ddi-dummy.c

@@ -48 +48 @@
  * @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 +63 @@
  * @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;