Index: kernel/arch/sparc64/src/mm/sun4u/as.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4u/as.c	(revision ee6f4342058a8205c52ba1e31e063a17c0cf6f18)
+++ kernel/arch/sparc64/src/mm/sun4u/as.c	(revision a53ed3a8097360ccf174e8d94fb407db919eb66a)
@@ -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 ee6f4342058a8205c52ba1e31e063a17c0cf6f18)
+++ kernel/arch/sparc64/src/mm/sun4v/as.c	(revision a53ed3a8097360ccf174e8d94fb407db919eb66a)
@@ -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