--- //depot/vendor/freebsd/src/sys/amd64/amd64/vm_machdep.c	2006/07/24 12:26:46
+++ //depot/projects/smpng/sys/amd64/amd64/vm_machdep.c	2006/07/27 20:09:45
@@ -360,6 +360,7 @@
 cpu_reset_proxy()
 {
 
+	disable_intr();
 	cpu_reset_proxy_active = 1;
 	while (cpu_reset_proxy_active == 1)
 		;	/* Wait for other cpu to see that we've started */
@@ -376,6 +377,7 @@
 #ifdef SMP
 	u_int cnt, map;
 
+	disable_intr();
 	if (smp_active) {
 		map = PCPU_GET(other_cpus) & ~stopped_cpus;
 		if (map != 0) {
--- //depot/vendor/freebsd/src/sys/i386/i386/vm_machdep.c	2006/05/29 03:01:11
+++ //depot/projects/smpng/sys/i386/i386/vm_machdep.c	2006/06/12 19:42:11
@@ -527,6 +526,7 @@
 cpu_reset_proxy()
 {
 
+	disable_intr();
 	cpu_reset_proxy_active = 1;
 	while (cpu_reset_proxy_active == 1)
 		;	/* Wait for other cpu to see that we've started */
@@ -551,6 +551,7 @@
 #ifdef SMP
 	u_int cnt, map;
 
+	disable_intr();
 	if (smp_active) {
 		map = PCPU_GET(other_cpus) & ~stopped_cpus;
 		if (map != 0) {