X86_TRAP_DF
case X86_TRAP_DF: return exc_double_fault(regs, error_code);
DECLARE_IDTENTRY_DF(X86_TRAP_DF, exc_double_fault);
DECLARE_IDTENTRY_RAW_ERRORCODE(X86_TRAP_DF, xenpv_exc_double_fault);
FRED_STKLVL(X86_TRAP_DF, FRED_DF_STACK_LEVEL));
TSKG(X86_TRAP_DF, GDT_ENTRY_DOUBLEFAULT_TSS),
ISTG(X86_TRAP_DF, asm_exc_double_fault, IST_INDEX_DF),
notify_die(DIE_TRAP, str, regs, error_code, X86_TRAP_DF, SIGSEGV);
tsk->thread.trap_nr = X86_TRAP_DF;
if (die_args->trapnr == X86_TRAP_DF)