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