Index: kernel/arch/abs32le/include/arch/mm/as.h
===================================================================
--- kernel/arch/abs32le/include/arch/mm/as.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
+++ kernel/arch/abs32le/include/arch/mm/as.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
@@ -48,7 +48,7 @@
 #include <genarch/mm/as_pt.h>
 
-#define as_constructor_arch(as, flags)  (as != as)
-#define as_destructor_arch(as)          (as != as)
-#define as_create_arch(as, flags)       (as != as)
+#define as_constructor_arch(as, flags)  ((void)as, (void)flags, EOK)
+#define as_destructor_arch(as)          ((void)as, 0)
+#define as_create_arch(as, flags)       ((void)as, (void)flags, EOK)
 #define as_install_arch(as)
 #define as_deinstall_arch(as)
Index: kernel/arch/amd64/include/arch/mm/as.h
===================================================================
--- kernel/arch/amd64/include/arch/mm/as.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
+++ kernel/arch/amd64/include/arch/mm/as.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
@@ -46,7 +46,7 @@
 #define USER_ADDRESS_SPACE_END_ARCH      UINT64_C(0x00007fffffffffff)
 
-#define as_constructor_arch(as, flags)  (as != as)
-#define as_destructor_arch(as)          (as != as)
-#define as_create_arch(as, flags)       (as != as)
+#define as_constructor_arch(as, flags)  ((void)as, (void)flags, EOK)
+#define as_destructor_arch(as)          ((void)as, 0)
+#define as_create_arch(as, flags)       ((void)as, (void)flags, EOK)
 
 #define as_install_arch(as)
Index: kernel/arch/arm32/include/arch/mm/as.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/as.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
+++ kernel/arch/arm32/include/arch/mm/as.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
@@ -49,7 +49,7 @@
 #include <genarch/mm/as_pt.h>
 
-#define as_constructor_arch(as, flags)		(as != as)
-#define as_destructor_arch(as)			(as != as)
-#define as_create_arch(as, flags)		(as != as)
+#define as_constructor_arch(as, flags)  ((void)as, (void)flags, EOK)
+#define as_destructor_arch(as)          ((void)as, 0)
+#define as_create_arch(as, flags)       ((void)as, (void)flags, EOK)
 #define as_deinstall_arch(as)
 #define as_invalidate_translation_cache(as, page, cnt)
Index: kernel/arch/ia32/include/arch/mm/as.h
===================================================================
--- kernel/arch/ia32/include/arch/mm/as.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
+++ kernel/arch/ia32/include/arch/mm/as.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
@@ -48,7 +48,7 @@
 #include <genarch/mm/as_pt.h>
 
-#define as_constructor_arch(as, flags)  (as != as)
-#define as_destructor_arch(as)          (as != as)
-#define as_create_arch(as, flags)       (as != as)
+#define as_constructor_arch(as, flags)  ((void)as, (void)flags, EOK)
+#define as_destructor_arch(as)          ((void)as, 0)
+#define as_create_arch(as, flags)       ((void)as, (void)flags, EOK)
 #define as_install_arch(as)
 #define as_deinstall_arch(as)
Index: kernel/arch/ia64/include/arch/mm/as.h
===================================================================
--- kernel/arch/ia64/include/arch/mm/as.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
+++ kernel/arch/ia64/include/arch/mm/as.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
@@ -48,7 +48,7 @@
 #include <genarch/mm/as_ht.h>
 
-#define as_constructor_arch(as, flags)  (as != as)
-#define as_destructor_arch(as)          (as != as)
-#define as_create_arch(as, flags)       (as != as)
+#define as_constructor_arch(as, flags)  ((void)as, (void)flags, EOK)
+#define as_destructor_arch(as)          ((void)as, 0)
+#define as_create_arch(as, flags)       ((void)as, (void)flags, EOK)
 #define as_deinstall_arch(as)
 #define as_invalidate_translation_cache(as, page, cnt)
Index: kernel/arch/mips32/include/arch/mm/as.h
===================================================================
--- kernel/arch/mips32/include/arch/mm/as.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
+++ kernel/arch/mips32/include/arch/mm/as.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
@@ -48,7 +48,7 @@
 #include <genarch/mm/as_pt.h>
 
-#define as_constructor_arch(as, flags)		(as != as)
-#define as_destructor_arch(as)			(as != as)
-#define as_create_arch(as, flags)		(as != as)
+#define as_constructor_arch(as, flags)  ((void)as, (void)flags, EOK)
+#define as_destructor_arch(as)          ((void)as, 0)
+#define as_create_arch(as, flags)       ((void)as, (void)flags, EOK)
 #define as_deinstall_arch(as)
 #define as_invalidate_translation_cache(as, page, cnt)
Index: kernel/arch/ppc32/include/arch/mm/as.h
===================================================================
--- kernel/arch/ppc32/include/arch/mm/as.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
+++ kernel/arch/ppc32/include/arch/mm/as.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
@@ -50,7 +50,7 @@
 #include <genarch/mm/as_pt.h>
 
-#define as_constructor_arch(as, flags)  (as != as)
-#define as_destructor_arch(as)          (as != as)
-#define as_create_arch(as, flags)       (as != as)
+#define as_constructor_arch(as, flags)  ((void)as, (void)flags, EOK)
+#define as_destructor_arch(as)          ((void)as, 0)
+#define as_create_arch(as, flags)       ((void)as, (void)flags, EOK)
 #define as_deinstall_arch(as)
 
Index: kernel/arch/riscv64/include/arch/mm/as.h
===================================================================
--- kernel/arch/riscv64/include/arch/mm/as.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
+++ kernel/arch/riscv64/include/arch/mm/as.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
@@ -51,7 +51,7 @@
 #include <genarch/mm/as_pt.h>
 
-#define as_constructor_arch(as, flags)  (as != as)
-#define as_destructor_arch(as)          (as != as)
-#define as_create_arch(as, flags)       (as != as)
+#define as_constructor_arch(as, flags)  ((void)as, (void)flags, EOK)
+#define as_destructor_arch(as)          ((void)as, 0)
+#define as_create_arch(as, flags)       ((void)as, (void)flags, EOK)
 #define as_deinstall_arch(as)
 #define as_invalidate_translation_cache(as, page, cnt)
