Searched defs:xen_play_dead (Results 1 – 1 of 1) sorted by relevance
536 static void xen_play_dead(void) /* used only with HOTPLUG_CPU */ in xen_play_dead() function561 static void xen_play_dead(void) in xen_play_dead() function