--- a/usr/src/uts/i86pc/os/mp_machdep.c	Wed Jul 02 05:12:55 2008 -0700
+++ b/usr/src/uts/i86pc/os/mp_machdep.c	Wed Jul 02 08:54:52 2008 -0700
@@ -415,8 +415,12 @@
 		return;
 	}
 
+	DTRACE_PROBE1(idle__state__transition, uint_t, IDLE_STATE_C1);
+
 	mach_cpu_idle();
 
+	DTRACE_PROBE1(idle__state__transition, uint_t, IDLE_STATE_C0);
+
 	/*
 	 * We're no longer halted
 	 */

--- a/usr/src/uts/i86pc/os/mp_pc.c	Wed Jul 02 05:12:55 2008 -0700
+++ b/usr/src/uts/i86pc/os/mp_pc.c	Wed Jul 02 08:54:52 2008 -0700
@@ -43,7 +43,6 @@
 #include <sys/mach_mmu.h>
 #include <sys/promif.h>
 #include <sys/cpu.h>
-#include <sys/sdt.h>
 #include <vm/hat_i86.h>
 
 extern void real_mode_start(void);
@@ -258,13 +257,9 @@
 void
 mach_cpu_idle(void)
 {
-	DTRACE_PROBE1(idle__state__transition, uint_t, IDLE_STATE_C1);
-
 	tlb_going_idle();
 	i86_halt();
 	tlb_service();
-
-	DTRACE_PROBE1(idle__state__transition, uint_t, IDLE_STATE_C0);
 }
 
 void