xen_double_fault   48 arch/x86/include/asm/traps.h asmlinkage void xen_double_fault(void);
xen_double_fault  607 arch/x86/xen/enlighten_pv.c 	{ double_fault,                xen_double_fault,                true },