diff options
| -rw-r--r-- | ChangeLog | 2 | ||||
| -rw-r--r-- | i386/intel/pmap.c | 4 |
2 files changed, 5 insertions, 1 deletions
@@ -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> diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 7ce3fb3..d46f645 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -331,12 +331,16 @@ lock_data_t pmap_system_lock; #define MAX_TBIS_SIZE 32 /* > this -> TBIA */ /* XXX */ +#if 0 #define INVALIDATE_TLB(s, e) { \ if (((e) - (s)) > 32 * PAGE_SIZE) \ flush_tlb(); \ else \ invlpg_linear(s, e); \ } +#else +#define INVALIDATE_TLB(s, e) flush_tlb() +#endif #if NCPUS > 1 |