Symbol: xen_pv_cpu_die
arch/x86/xen/smp_pv.c
335
static void xen_pv_cpu_die(unsigned int cpu)
arch/x86/xen/smp_pv.c
365
static void xen_pv_cpu_die(unsigned int cpu)