Index: generic/include/mm/as.h
===================================================================
--- generic/include/mm/as.h	(revision 93165be1285f3a50e69871962061a2e2fcfb9ae6)
+++ generic/include/mm/as.h	(revision 1b109cb54251e71a61747f3f1cdfbf22e71ef8d6)
@@ -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