xen_pv_cpu_die    412 arch/x86/xen/smp_pv.c static void xen_pv_cpu_die(unsigned int cpu)
xen_pv_cpu_die    451 arch/x86/xen/smp_pv.c static void xen_pv_cpu_die(unsigned int cpu)