Index: generic/include/mm/as.h
===================================================================
--- generic/include/mm/as.h	(revision 93165be1285f3a50e69871962061a2e2fcfb9ae6)
+++ generic/include/mm/as.h	(revision 81c4c6dada72dd5c14ac33cf62aedf58dc032b06)
@@ -37,4 +37,7 @@
 #include <synch/spinlock.h>
 #include <adt/list.h>
+
+/** Defined to be true if user address space and kernel address space shadow each other. */
+#define KERNEL_ADDRESS_SPACE_SHADOWED	KERNEL_ADDRESS_SPACE_SHADOWED_ARCH
 
 #define KERNEL_ADDRESS_SPACE_START	KERNEL_ADDRESS_SPACE_START_ARCH