DOUBLEFAULT_STACKSIZE   16 arch/x86/kernel/doublefault.c static unsigned long doublefault_stack[DOUBLEFAULT_STACKSIZE];
DOUBLEFAULT_STACKSIZE   17 arch/x86/kernel/doublefault.c #define STACK_START (unsigned long)(doublefault_stack+DOUBLEFAULT_STACKSIZE)