Searched defs:xen_pv_play_dead (Results 1 – 1 of 1) sorted by relevance
380 static void __noreturn xen_pv_play_dead(void) /* used only with HOTPLUG_CPU */ in xen_pv_play_dead() function404 static void __noreturn xen_pv_play_dead(void) in xen_pv_play_dead() function