DOUBLEFAULT_STACK   23 arch/x86/include/asm/page_32_types.h #define DOUBLEFAULT_STACK 1
DOUBLEFAULT_STACK   17 arch/x86/include/asm/page_64_types.h #define DOUBLEFAULT_STACK 1