From: Ben Gras Date: Mon, 28 Sep 2009 15:47:01 +0000 (+0000) Subject: disable 'clever' optimisation (workaround for vmware(?) problem) X-Git-Tag: v3.1.5~75 X-Git-Url: http://zhaoyanbai.com/repos/icons/debian/openlogo-25.jpg?a=commitdiff_plain;h=da67a3af00da1bfe78a7ddb03e48be8234653a71;p=minix.git disable 'clever' optimisation (workaround for vmware(?) problem) --- diff --git a/kernel/arch/i386/memory.c b/kernel/arch/i386/memory.c index 3908f16fa..884047b2f 100644 --- 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); \ + } \ } \ }