1 files changed, 0 insertions, 1 deletions
diff --git a/mm/Kconfig b/mm/Kconfig
index a7609cb..e24d348 100644
--- a/mm/Kconfig
+++ b/mm/Kconfig
@@ -137,7 +137,6 @@ config SPLIT_PTLOCK_CPUS
 	int
 	default "4096" if ARM && !CPU_CACHE_VIPT
 	default "4096" if PARISC && !PA20
-	default "4096" if XEN
 	default "4"
 
 #