diff options
Diffstat (limited to 'libpager/object-terminate.c')
| -rw-r--r-- | libpager/object-terminate.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/libpager/object-terminate.c b/libpager/object-terminate.c index 8e8205b5..3e7df167 100644 --- a/libpager/object-terminate.c +++ b/libpager/object-terminate.c @@ -115,11 +115,6 @@ _pager_free_structure (struct pager *p) mach_port_deallocate (mach_task_self (), p->memobjname); p->memobjname = MACH_PORT_NULL; } - if (p->ro_proxy != MACH_PORT_NULL) - { - mach_port_deallocate (mach_task_self (), p->ro_proxy); - p->ro_proxy = MACH_PORT_NULL; - } /* Free the pagemap */ if (p->pagemapsize) |