pr_unmappage
pr_unmappage((caddr_t)uaddr, part, S_READ, 1);
pr_unmappage(uaddr, part, S_WRITE, 1);
pr_unmappage(uaddr, part, S_WRITE, 1);
pr_unmappage((caddr_t)addr, size, S_READ, 1);
pr_unmappage((caddr_t)addr, sizeof (value),
pr_unmappage((caddr_t)addr, sizeof (value),
pr_unmappage((caddr_t)addr, sizeof (value),
pr_unmappage((caddr_t)addr, sizeof (value),
pr_unmappage(base, len, seg_rw, 1);
pr_unmappage((caddr_t)addr, len, rw, 1);
pr_unmappage(pw->wpaddr, pw->wpsize, S_rw[i],
pr_unmappage(watch_uaddr, part, S_READ, 1);
pr_unmappage(watch_uaddr, part, S_READ, 1);
pr_unmappage(watch_uaddr, part, S_WRITE, 1);
pr_unmappage(watch_uaddr, part, S_WRITE, 1);
pr_unmappage((caddr_t)uaddr, part, S_READ, 1);