DOUBLEFAULT_STACK   39 arch/x86/kernel/dumpstack_64.c 		[DOUBLEFAULT_STACK - 1] = "#DF",
DOUBLEFAULT_STACK  985 arch/x86/kernel/traps.c 	set_intr_gate_ist(8, &double_fault, DOUBLEFAULT_STACK);