xen_safe_halt 124 arch/x86/xen/irq.c xen_safe_halt(); xen_safe_halt 133 arch/x86/xen/irq.c .safe_halt = xen_safe_halt,