rmind 10758cb0f9 Simplify pmap_remove() a little by avoiding pmap_do_remove() layer, since
possibility to skip wired mappings is not needed anymore.  Apart from that,
no functional differences are intended.
2009-10-22 19:50:55 +00:00
..
2009-10-21 21:11:57 +00:00
2009-10-18 22:57:05 +00:00
2009-10-21 21:11:57 +00:00
2009-10-21 17:37:21 +00:00
2009-10-21 21:11:57 +00:00