diff --git a/servers/vm/arch/i386/pagetable.c b/servers/vm/arch/i386/pagetable.c
index 6bb893b34..bbd2183e9 100644
--- a/servers/vm/arch/i386/pagetable.c
+++ b/servers/vm/arch/i386/pagetable.c
@@ -333,8 +333,8 @@ PUBLIC void *vm_allocpage(phys_bytes *phys, int reason)
 		return NULL;
 	}
 
-	if((r=sys_vmctl(SELF, VMCTL_I386_INVLPG, loc)) != OK) {
-		panic("VMCTL_I386_INVLPG failed: %d", r);
+	if((r=sys_vmctl(SELF, VMCTL_FLUSHTLB, 0)) != OK) {
+		panic("VMCTL_FLUSHTLB failed: %d", r);
 	}
 
 	level--;
@@ -370,8 +370,8 @@ PUBLIC void vm_pagelock(void *vir, int lockflag)
 		panic("vm_lockpage: pt_writemap failed");
 	}
 
-	if((r=sys_vmctl(SELF, VMCTL_I386_INVLPG, m)) != OK) {
-		panic("VMCTL_I386_INVLPG failed: %d", r);
+	if((r=sys_vmctl(SELF, VMCTL_FLUSHTLB, 0)) != OK) {
+		panic("VMCTL_FLUSHTLB failed: %d", r);
 	}
 
 	return;