diff options
| -rw-r--r-- | sys/powerpc/aim/mmu_oea.c | 4 | ||||
| -rw-r--r-- | sys/powerpc/powerpc/mmu_oea.c | 4 | ||||
| -rw-r--r-- | sys/powerpc/powerpc/pmap.c | 4 |
3 files changed, 0 insertions, 12 deletions
diff --git a/sys/powerpc/aim/mmu_oea.c b/sys/powerpc/aim/mmu_oea.c index db5b510979fc..01ce77198879 100644 --- a/sys/powerpc/aim/mmu_oea.c +++ b/sys/powerpc/aim/mmu_oea.c @@ -1585,10 +1585,6 @@ pmap_remove_all(vm_page_t m) void pmap_remove_pages(pmap_t pm, vm_offset_t sva, vm_offset_t eva) { - - KASSERT(pm == &curproc->p_vmspace->vm_pmap || pm == kernel_pmap, - ("pmap_remove_pages: non current pmap")); - pmap_remove(pm, sva, eva); } /* diff --git a/sys/powerpc/powerpc/mmu_oea.c b/sys/powerpc/powerpc/mmu_oea.c index db5b510979fc..01ce77198879 100644 --- a/sys/powerpc/powerpc/mmu_oea.c +++ b/sys/powerpc/powerpc/mmu_oea.c @@ -1585,10 +1585,6 @@ pmap_remove_all(vm_page_t m) void pmap_remove_pages(pmap_t pm, vm_offset_t sva, vm_offset_t eva) { - - KASSERT(pm == &curproc->p_vmspace->vm_pmap || pm == kernel_pmap, - ("pmap_remove_pages: non current pmap")); - pmap_remove(pm, sva, eva); } /* diff --git a/sys/powerpc/powerpc/pmap.c b/sys/powerpc/powerpc/pmap.c index db5b510979fc..01ce77198879 100644 --- a/sys/powerpc/powerpc/pmap.c +++ b/sys/powerpc/powerpc/pmap.c @@ -1585,10 +1585,6 @@ pmap_remove_all(vm_page_t m) void pmap_remove_pages(pmap_t pm, vm_offset_t sva, vm_offset_t eva) { - - KASSERT(pm == &curproc->p_vmspace->vm_pmap || pm == kernel_pmap, - ("pmap_remove_pages: non current pmap")); - pmap_remove(pm, sva, eva); } /* |