s390/mm: add debug user asce support

[platform/kernel/linux-rpi.git] / arch / s390 / Kconfig.debug

diff --git a/arch/s390/Kconfig.debug b/arch/s390/Kconfig.debug
index ab48b69..6bfacee 100644 (file)
--- a/arch/s390/Kconfig.debug
+++ b/arch/s390/Kconfig.debug
@@ -5,3 +5,11 @@ config TRACE_IRQFLAGS_SUPPORT
 
 config EARLY_PRINTK
        def_bool y
+
+config DEBUG_USER_ASCE
+       bool "Debug User ASCE"
+       help
+         Check on exit to user space that address space control
+         elements are setup correctly.
+
+         If unsure, say N.