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)