USB: fix gregkh-usb-usb-sisusb2vga-convert-printk-to-dev_-macros

[linux-2.6] / mm / Kconfig

diff --git a/mm/Kconfig b/mm/Kconfig
index e24d348083c34da69472bc22a9b7025d562a3ffe..a7609cbcb00d8ce3fb81f366d7c835af970452e7 100644 (file)
--- a/mm/Kconfig
+++ b/mm/Kconfig
@@ -137,6 +137,7 @@ config SPLIT_PTLOCK_CPUS
        int
        default "4096" if ARM && !CPU_CACHE_VIPT
        default "4096" if PARISC && !PA20
+       default "4096" if XEN
        default "4"
 
 #