Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/abs32le/src/abs32le.c	(revision 50f19b7ee8e94570b5c63896736c4eb49cfa18db)
@@ -125,10 +125,10 @@
 }
 
-int memcpy_from_uspace(void *dst, const void *uspace_src, size_t size)
+errno_t memcpy_from_uspace(void *dst, const void *uspace_src, size_t size)
 {
 	return EOK;
 }
 
-int memcpy_to_uspace(void *uspace_dst, const void *src, size_t size)
+errno_t memcpy_to_uspace(void *uspace_dst, const void *src, size_t size)
 {
 	return EOK;
Index: kernel/arch/arm32/src/mach/beaglebone/beaglebone.c
===================================================================
--- kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision 50f19b7ee8e94570b5c63896736c4eb49cfa18db)
@@ -123,5 +123,5 @@
 {
 	unsigned sysclk_freq;
-	int rc;
+	errno_t rc;
 
 	/* Initialize the IRQ */
Index: kernel/arch/ia64/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia64/src/ddi/ddi.c	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/ia64/src/ddi/ddi.c	(revision 50f19b7ee8e94570b5c63896736c4eb49cfa18db)
@@ -53,5 +53,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)
 {
 	if (!task->arch.iomap) {
@@ -85,5 +85,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)
 {
 	if (!task->arch.iomap)
Index: kernel/arch/riscv64/src/riscv64.c
===================================================================
--- kernel/arch/riscv64/src/riscv64.c	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/riscv64/src/riscv64.c	(revision 50f19b7ee8e94570b5c63896736c4eb49cfa18db)
@@ -143,10 +143,10 @@
 }
 
-int memcpy_from_uspace(void *dst, const void *uspace_src, size_t size)
+errno_t memcpy_from_uspace(void *dst, const void *uspace_src, size_t size)
 {
 	return EOK;
 }
 
-int memcpy_to_uspace(void *uspace_dst, const void *src, size_t size)
+errno_t memcpy_to_uspace(void *uspace_dst, const void *src, size_t size)
 {
 	return EOK;
Index: kernel/arch/sparc64/src/mm/sun4u/as.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4u/as.c	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/sparc64/src/mm/sun4u/as.c	(revision 50f19b7ee8e94570b5c63896736c4eb49cfa18db)
@@ -60,5 +60,5 @@
 }
 
-int as_constructor_arch(as_t *as, unsigned int flags)
+errno_t as_constructor_arch(as_t *as, unsigned int flags)
 {
 #ifdef CONFIG_TSB
@@ -88,5 +88,5 @@
 }
 
-int as_create_arch(as_t *as, unsigned int flags)
+errno_t as_create_arch(as_t *as, unsigned int flags)
 {
 #ifdef CONFIG_TSB
Index: kernel/arch/sparc64/src/mm/sun4v/as.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4v/as.c	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/sparc64/src/mm/sun4v/as.c	(revision 50f19b7ee8e94570b5c63896736c4eb49cfa18db)
@@ -63,5 +63,5 @@
 }
 
-int as_constructor_arch(as_t *as, unsigned int flags)
+errno_t as_constructor_arch(as_t *as, unsigned int flags)
 {
 #ifdef CONFIG_TSB
@@ -97,5 +97,5 @@
 }
 
-int as_create_arch(as_t *as, unsigned int flags)
+errno_t as_create_arch(as_t *as, unsigned int flags)
 {
 #ifdef CONFIG_TSB