diff options
| -rw-r--r-- | sys/amd64/amd64/pmap.c | 4 | ||||
| -rw-r--r-- | sys/i386/i386/pmap.c | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/sys/amd64/amd64/pmap.c b/sys/amd64/amd64/pmap.c index 037de9faeb1f..03e3aa4a464c 100644 --- a/sys/amd64/amd64/pmap.c +++ b/sys/amd64/amd64/pmap.c @@ -740,7 +740,7 @@ get_ptbase(pmap) /* otherwise, we are alternate address space */ if (frame != (APTDpde & PG_FRAME)) { APTDpde = (pd_entry_t) (frame | PG_RW | PG_V); - invltlb(); + pmap_invalidate_all(kernel_pmap); /* XXX Bandaid */ } return APTmap; } @@ -2638,7 +2638,7 @@ pmap_copy(pmap_t dst_pmap, pmap_t src_pmap, vm_offset_t dst_addr, vm_size_t len, */ if (dst_frame != (APTDpde & PG_FRAME)) { APTDpde = dst_frame | PG_RW | PG_V; - invltlb(); + pmap_invalidate_all(kernel_pmap); /* XXX Bandaid */ } src_pte = vtopte(addr); dst_pte = avtopte(addr); diff --git a/sys/i386/i386/pmap.c b/sys/i386/i386/pmap.c index 037de9faeb1f..03e3aa4a464c 100644 --- a/sys/i386/i386/pmap.c +++ b/sys/i386/i386/pmap.c @@ -740,7 +740,7 @@ get_ptbase(pmap) /* otherwise, we are alternate address space */ if (frame != (APTDpde & PG_FRAME)) { APTDpde = (pd_entry_t) (frame | PG_RW | PG_V); - invltlb(); + pmap_invalidate_all(kernel_pmap); /* XXX Bandaid */ } return APTmap; } @@ -2638,7 +2638,7 @@ pmap_copy(pmap_t dst_pmap, pmap_t src_pmap, vm_offset_t dst_addr, vm_size_t len, */ if (dst_frame != (APTDpde & PG_FRAME)) { APTDpde = dst_frame | PG_RW | PG_V; - invltlb(); + pmap_invalidate_all(kernel_pmap); /* XXX Bandaid */ } src_pte = vtopte(addr); dst_pte = avtopte(addr); |