CONFIG_KASAN_S390_4_LEVEL_PAGING   10 arch/s390/include/asm/kasan.h #ifdef CONFIG_KASAN_S390_4_LEVEL_PAGING
CONFIG_KASAN_S390_4_LEVEL_PAGING  565 arch/s390/kernel/setup.c 		vmax = IS_ENABLED(CONFIG_KASAN_S390_4_LEVEL_PAGING)
CONFIG_KASAN_S390_4_LEVEL_PAGING  268 arch/s390/mm/kasan_init.c 	if (IS_ENABLED(CONFIG_KASAN_S390_4_LEVEL_PAGING)) {