From 7a89d69cb22bb897100c9acc3d3bde0d36f60a98 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Mon, 5 Jan 2009 03:08:45 +0000
Subject: 2009-01-05  Samuel Thibault  <samuel.thibault@ens-lyon.org>

* i386/intel/pmap.c (INVALIDATE_TLB): For now, disable use of invlpg.
---
 ChangeLog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index cf4cb4b..d0125e2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -6,7 +6,7 @@
 	(invlpg_linear): ... this.  Use movw instead of movl to set KERNEL_DS
 	selector.  Use LINEAR_DS selector instead of USER_DS selector.
 	* i386/intel/pmap.c (INVALIDATE_TLB): Call invlpg_linear instead of
-	invlpg_user.
+	invlpg_user.  For now, disable use of invlpg.
 
 2008-12-30  Samuel Thibault  <samuel.thibault@ens-lyon.org>
 
-- 
cgit v1.2.3