DOUBLEFAULT_STACKSIZE   13 arch/x86/kernel/doublefault_32.c static unsigned long doublefault_stack[DOUBLEFAULT_STACKSIZE];
DOUBLEFAULT_STACKSIZE   14 arch/x86/kernel/doublefault_32.c #define STACK_START (unsigned long)(doublefault_stack+DOUBLEFAULT_STACKSIZE)