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

diff --git a/kernel/arch/i386/memory.c b/kernel/arch/i386/memory.c
index 3908f16fa803fa40053075a24c5c23518057dd76..884047b2f2a71a9517c3530c7dace4421ac15a98 100644 (file)
--- 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);                             \
+               }                                                       \
        }                                                               \
 }