xen_play_dead 365 arch/x86/xen/smp.c static void xen_play_dead(void) xen_play_dead 383 arch/x86/xen/smp.c static void xen_play_dead(void)