Displaying 1 result from an estimated 1 matches for "idle_task_exit".
2006 Feb 08
2
[PATCH] make x86_64 vcpu hotplug work like i386
...e/dom0_ops.h>
#include <xen/interface/physdev.h>
+#include <xen/interface/vcpu.h>
#include <asm/desc.h>
#include <asm/proto.h>
#include <asm/hardirq.h>
@@ -143,22 +144,7 @@
/* We halt the CPU with physical CPU hotplug */
static inline void play_dead(void)
{
- idle_task_exit();
- wbinvd();
- mb();
- /* Ack it */
- __get_cpu_var(cpu_state) = CPU_DEAD;
-
- /* We shouldn''t have to disable interrupts while dead, but
- * some interrupts just don''t seem to go away, and this makes
- * it "work" for testing purposes. */
- /* Death loop */
- while...