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