Index: kernel/arch/sparc64/include/arch/mm/sun4u/as.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4u/as.h	(revision 8df5f20c3e20072bcf616568836c1d08eba227c2)
+++ kernel/arch/sparc64/include/arch/mm/sun4u/as.h	(revision 69b6dd1fdad61cf973f096c5e880336d3d2a1691)
@@ -39,4 +39,5 @@
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  1
+#define KERNEL_SEPARATE_PTL0_ARCH           0
 
 #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT64_C(0x0000000000000000)
Index: kernel/arch/sparc64/include/arch/mm/sun4v/as.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4v/as.h	(revision 8df5f20c3e20072bcf616568836c1d08eba227c2)
+++ kernel/arch/sparc64/include/arch/mm/sun4v/as.h	(revision 69b6dd1fdad61cf973f096c5e880336d3d2a1691)
@@ -41,4 +41,5 @@
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  1
+#define KERNEL_SEPARATE_PTL0_ARCH           0
 
 #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT64_C(0x0000000000000000)