xen_pv_play_dead 428 arch/x86/xen/smp_pv.c static void xen_pv_play_dead(void) /* used only with HOTPLUG_CPU */ xen_pv_play_dead 456 arch/x86/xen/smp_pv.c static void xen_pv_play_dead(void)