diff options
Diffstat (limited to 'libpager/object-terminate.c')
| -rw-r--r-- | libpager/object-terminate.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libpager/object-terminate.c b/libpager/object-terminate.c index 3e7df167..8e8205b5 100644 --- a/libpager/object-terminate.c +++ b/libpager/object-terminate.c @@ -115,6 +115,11 @@ _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) |