diff options
author | jake <jake@FreeBSD.org> | 2002-04-06 08:21:43 +0000 |
---|---|---|
committer | jake <jake@FreeBSD.org> | 2002-04-06 08:21:43 +0000 |
commit | 368a87f05d104a2d085fae0562c7d5a0de5d2582 (patch) | |
tree | 61021fceead4efc25eef504085acfba8ab4a851a /sys/sparc64 | |
parent | 3fadd16f0d529bb08a00aea06c7913ea252319c5 (diff) | |
download | FreeBSD-src-368a87f05d104a2d085fae0562c7d5a0de5d2582.zip FreeBSD-src-368a87f05d104a2d085fae0562c7d5a0de5d2582.tar.gz |
Remove invalid KASSERTS.
Diffstat (limited to 'sys/sparc64')
-rw-r--r-- | sys/sparc64/sparc64/pmap.c | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/sys/sparc64/sparc64/pmap.c b/sys/sparc64/sparc64/pmap.c index c0dd72c..03ac071 100644 --- a/sys/sparc64/sparc64/pmap.c +++ b/sys/sparc64/sparc64/pmap.c @@ -1347,9 +1347,6 @@ pmap_protect(pmap_t pm, vm_offset_t sva, vm_offset_t eva, vm_prot_t prot) CTR4(KTR_PMAP, "pmap_protect: ctx=%#lx sva=%#lx eva=%#lx prot=%#lx", pm->pm_context[PCPU_GET(cpuid)], sva, eva, prot); - KASSERT(pm == &curproc->p_vmspace->vm_pmap || pm == kernel_pmap, - ("pmap_protect: non current pmap")); - if ((prot & VM_PROT_READ) == VM_PROT_NONE) { pmap_remove(pm, sva, eva); return; @@ -1520,16 +1517,12 @@ void pmap_object_init_pt(pmap_t pm, vm_offset_t addr, vm_object_t object, vm_pindex_t pindex, vm_size_t size, int limit) { - KASSERT(pm == &curproc->p_vmspace->vm_pmap || pm == kernel_pmap, - ("pmap_object_init_pt: non current pmap")); /* XXX */ } void pmap_prefault(pmap_t pm, vm_offset_t va, vm_map_entry_t entry) { - KASSERT(pm == &curproc->p_vmspace->vm_pmap || pm == kernel_pmap, - ("pmap_prefault: non current pmap")); /* XXX */ } @@ -1674,8 +1667,6 @@ pmap_remove_pages(pmap_t pm, vm_offset_t sva, vm_offset_t eva) pv_entry_t pv; vm_page_t m; - KASSERT(pm == &curproc->p_vmspace->vm_pmap || pm == kernel_pmap, - ("pmap_remove_pages: non current pmap")); npv = NULL; for (pv = TAILQ_FIRST(&pm->pm_pvlist); pv != NULL; pv = npv) { npv = TAILQ_NEXT(pv, pv_plist); |