diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1999-07-03 23:54:54 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1999-07-03 23:54:54 +0000 |
| commit | e143ce039d54acb4bdfcd84f95dcf554d4a84d6a (patch) | |
| tree | eb099b3bf7c37a2d9a7a5f6dc11e735fe3c7059c /storeio/pager.c | |
| parent | beb095bf383cf3fcee8efeb3ca06231515bba673 (diff) | |
1999-07-03 Thomas Bushnell, BSG <tb@mit.edu>
* dev.c (dev_buf_fill): Use munmap instead of vm_deallocate.
(dev_close): Likewise.
(dev_read): Likewise.
* pager.c (pager_write_page): Likewise.
Diffstat (limited to 'storeio/pager.c')
| -rw-r--r-- | storeio/pager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/storeio/pager.c b/storeio/pager.c index bb6ccd36..dfcf9b38 100644 --- a/storeio/pager.c +++ b/storeio/pager.c @@ -86,7 +86,7 @@ pager_write_page (struct user_pager_info *upi, err = dev_write (dev, page, (char *)buf, want, &written); - vm_deallocate (mach_task_self (), buf, vm_page_size); + munmap ((caddr_t) buf, vm_page_size); if (err || written < want) return EIO; |