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)