1 files changed, 9 insertions, 0 deletions
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c
index b3fca62..02e5b2e 100644
--- a/i386/i386at/model_dep.c
+++ b/i386/i386at/model_dep.c
@@ -42,6 +42,8 @@
 
 #include "vm_param.h"
 #include <kern/time_out.h>
+#include <kern/assert.h>
+#include <kern/cpu_number.h>
 #include <sys/time.h>
 #include <vm/vm_page.h>
 #include <i386/machspl.h>
@@ -156,6 +158,13 @@ void machine_init()
 	pmap_unmap_page_zero();
 }
 
+/* Conserve power on processor CPU.  */
+void machine_idle (int cpu)
+{
+  assert (cpu == cpu_number ());
+  asm volatile ("hlt" : : : "memory");
+}
+
 /*
  * Halt a cpu.
  */