Symbol: xen_pv_play_dead
arch/x86/xen/smp_pv.c
351
static void __noreturn xen_pv_play_dead(void) /* used only with HOTPLUG_CPU */
arch/x86/xen/smp_pv.c
375
static void __noreturn xen_pv_play_dead(void)