--- src/sys/kern/lwkt_thread.c	2005/04/13 04:02:08	1.71
+++ src/sys/kern/lwkt_thread.c	2005/04/22 17:41:15	1.72
@@ -1110,6 +1110,7 @@ lwkt_setcpu_self(globaldata_t rgd)
 	lwkt_switch();
 	/* we are now on the target cpu */
 	crit_exit_quick(td);
+	cpu_mb1();
     }
 #endif
 }