John Dyson a6e6bcc5f4 Properly set the PG_MAPPED and PG_WRITEABLE flags. This fixes some potential
problems with vm_map_remove/vm_map_delete.
1996-07-02 02:08:02 +00:00
..
1996-06-17 03:35:40 +00:00
1996-06-26 05:39:27 +00:00
1996-06-26 05:39:27 +00:00