disable 'clever' optimisation (workaround for vmware(?) problem)

2009-09-28 15:47:01 +00:00 · 2009-09-28 15:47:01 +00:00 · da67a3af00
parent 856ec906bd
commit da67a3af00
1 changed files with 4 additions and 3 deletions
--- a/kernel/arch/i386/memory.c
+++ b/kernel/arch/i386/memory.c
@ -122,9 +122,10 @@ PUBLIC void vm_init(struct proc *newptproc)
 		offset = LINADDR & I386_VM_OFFSET_MASK_4MB;		\
 		PTR = I386_BIG_PAGE_SIZE*PDE + offset;			\
 		REMAIN = MIN(REMAIN, I386_BIG_PAGE_SIZE - offset); 	\
-		if(mustinvl) {	\
-			level0(reload_cr3); 			\
-		}		\
+		if(1 || mustinvl) {					\
+			FIXME("unconditional reload");			\
+			level0(reload_cr3); 				\
+		}							\
 	}								\
 }