diff options
| -rw-r--r-- | i386/intel/pmap.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 0387fa8d..3b52deb3 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1022,6 +1022,7 @@ pmap_mapwindow_t *pmap_get_mapwindow(pt_entry_t entry) WRITE_PTE(map->entry, entry); #endif /* MACH_PV_PAGETABLES */ simple_unlock(&pmapwindows_lock); + INVALIDATE_TLB(kernel_pmap, map->vaddr, map->vaddr + PAGE_SIZE); return map; } @@ -1038,7 +1039,7 @@ void pmap_put_mapwindow(pmap_mapwindow_t *map) WRITE_PTE(map->entry, 0); #endif /* MACH_PV_PAGETABLES */ simple_unlock(&pmapwindows_lock); - PMAP_UPDATE_TLBS(kernel_pmap, map->vaddr, map->vaddr + PAGE_SIZE); + INVALIDATE_TLB(kernel_pmap, map->vaddr, map->vaddr + PAGE_SIZE); } void pmap_virtual_space( |