usr/src/uts/i86pc/os/startup.c
changeset 9281 67a3435ea50e
parent 9000 7a9c5c9ed60d
child 9370 5f964d9a7826
--- a/usr/src/uts/i86pc/os/startup.c	Fri Apr 03 15:44:52 2009 -0700
+++ b/usr/src/uts/i86pc/os/startup.c	Fri Apr 03 16:06:33 2009 -0700
@@ -1969,7 +1969,6 @@
 	if (kpm_desired) {
 		kpm_init();
 		kpm_enable = 1;
-		vpm_enable = 1;
 	}
 
 	/*