--- src/sys/dev/acpica5/acpi_cpu.c	2005/08/29 21:07:59	1.10
+++ src/sys/dev/acpica5/acpi_cpu.c	2005/09/23 02:28:50	1.11
@@ -43,6 +43,7 @@
 #include <machine/atomic.h>
 #include <machine/bus.h>
 #include <machine/globaldata.h>
+#include <machine/md_var.h>
 #include <machine/smp.h>
 #include <sys/rman.h>
 
@@ -372,7 +373,8 @@ acpi_cpu_shutdown(device_t dev)
 
     /* Signal and wait for all processors to exit acpi_cpu_idle(). */
 #ifdef SMP
-    KKASSERT(0);	/* XXX use rendezvous */
+    if (mycpu->gd_cpuid == 0)
+	lwkt_cpusync_simple(0, NULL, NULL);
 #endif
     DELAY(1);
 
@@ -783,9 +785,6 @@ acpi_cpu_startup_throttling()
 	   CPU_SPEED_PRINTABLE(cpu_throttle_state));
 }
 
-/* XXX: not here */
-extern void (*cpu_idle_hook)(void);
-
 static void
 acpi_cpu_startup_cx()
 {