Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision ae6021df81b7a2a9a1f9798557d070693a922d88)
+++ kernel/generic/include/mm/as.h	(revision a53ed3a8097360ccf174e8d94fb407db919eb66a)
@@ -268,9 +268,9 @@
 extern as_area_t *as_area_create(as_t *, unsigned int, size_t, unsigned int,
     mem_backend_t *, mem_backend_data_t *, uintptr_t *, uintptr_t);
-extern int as_area_destroy(as_t *, uintptr_t);
-extern int as_area_resize(as_t *, uintptr_t, size_t, unsigned int);
-extern int as_area_share(as_t *, uintptr_t, size_t, as_t *, unsigned int,
+extern errno_t as_area_destroy(as_t *, uintptr_t);
+extern errno_t as_area_resize(as_t *, uintptr_t, size_t, unsigned int);
+extern errno_t as_area_share(as_t *, uintptr_t, size_t, as_t *, unsigned int,
     uintptr_t *, uintptr_t);
-extern int as_area_change_flags(as_t *, unsigned int, uintptr_t);
+extern errno_t as_area_change_flags(as_t *, unsigned int, uintptr_t);
 
 extern unsigned int as_area_get_flags(as_area_t *);
@@ -283,5 +283,5 @@
 
 #ifndef as_constructor_arch
-extern int as_constructor_arch(as_t *, unsigned int);
+extern errno_t as_constructor_arch(as_t *, unsigned int);
 #endif /* !def as_constructor_arch */
 
@@ -291,5 +291,5 @@
 
 #ifndef as_create_arch
-extern int as_create_arch(as_t *, unsigned int);
+extern errno_t as_create_arch(as_t *, unsigned int);
 #endif /* !def as_create_arch */
 
@@ -311,7 +311,7 @@
 extern sysarg_t sys_as_area_create(uintptr_t, size_t, unsigned int, uintptr_t,
     as_area_pager_info_t *);
-extern sysarg_t sys_as_area_resize(uintptr_t, size_t, unsigned int);
-extern sysarg_t sys_as_area_change_flags(uintptr_t, unsigned int);
-extern sysarg_t sys_as_area_destroy(uintptr_t);
+extern sys_errno_t sys_as_area_resize(uintptr_t, size_t, unsigned int);
+extern sys_errno_t sys_as_area_change_flags(uintptr_t, unsigned int);
+extern sys_errno_t sys_as_area_destroy(uintptr_t);
 
 /* Introspection functions. */