CONFIG_DOUBLEFAULT 1990 arch/x86/kernel/cpu/common.c #ifdef CONFIG_DOUBLEFAULT
CONFIG_DOUBLEFAULT  419 arch/x86/kernel/traps.c #ifdef CONFIG_DOUBLEFAULT