xen_cpu_die       348 arch/x86/xen/smp.c static void xen_cpu_die(unsigned int cpu)
xen_cpu_die       378 arch/x86/xen/smp.c static void xen_cpu_die(unsigned int cpu)