Index: head/sys/powerpc/powerpc/altivec.c
===================================================================
--- head/sys/powerpc/powerpc/altivec.c
+++ head/sys/powerpc/powerpc/altivec.c
@@ -58,7 +58,6 @@
 	 */
 	msr = mfmsr();
 	mtmsr(msr | PSL_VEC);
-	isync();
 
 	/*
 	 * Save the vector registers and VSCR to the PCB
@@ -120,7 +119,6 @@
 	 */
 	msr = mfmsr();
 	mtmsr(msr | PSL_VEC);
-	isync();
 
 	/*
 	 * Restore VSCR by first loading it into a vector and then into VSCR.
Index: head/sys/powerpc/powerpc/cpu.c
===================================================================
--- head/sys/powerpc/powerpc/cpu.c
+++ head/sys/powerpc/powerpc/cpu.c
@@ -710,7 +710,6 @@
 	default:
 		powerpc_sync();
 		mtmsr(msr | PSL_POW);
-		isync();
 		break;
 	}
 #endif
@@ -739,7 +738,6 @@
 	default:
 		powerpc_sync();
 		mtmsr(msr | PSL_WE);
-		isync();
 		break;
 	}
 #endif
Index: head/sys/powerpc/powerpc/fpu.c
===================================================================
--- head/sys/powerpc/powerpc/fpu.c
+++ head/sys/powerpc/powerpc/fpu.c
@@ -87,7 +87,6 @@
 		mtmsr(msr | PSL_FP | PSL_VSX);
 	else
 		mtmsr(msr | PSL_FP);
-	isync();
 
 	/*
 	 * Load the floating point registers and FPSCR from the PCB.
@@ -143,7 +142,6 @@
 		mtmsr(msr | PSL_FP | PSL_VSX);
 	else
 		mtmsr(msr | PSL_FP);
-	isync();
 
 	/*
 	 * Save the floating-point registers and FPSCR to the PCB