Changes in kernel/arch/ia64/src/ddi/ddi.c [8cd680c:b7fd2a0] in mainline

File:

• kernel/arch/ia64/src/ddi/ddi.c (modified) (2 diffs)

kernel/arch/ia64/src/ddi/ddi.c

@@ -53 +53 @@
  * @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)
 {
         if (!task->arch.iomap) {
@@ -85 +85 @@
  * @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)
 {
         if (!task->arch.iomap)