summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-06-01 21:22:57 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-06-01 21:22:57 +0000
commitfc3b51eaaee3bd4d38e9ec8a2383ca7adac518e4 (patch)
treeb5683454b2986db29b0a7e4152e3a8af9c4ed7c7
parent5ec4f7784788e35db6d2e023c0a21c2c9be45db1 (diff)
Formerly lock-completed.c.~8~
-rw-r--r--libpager/lock-completed.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/libpager/lock-completed.c b/libpager/lock-completed.c
index bb8505b9..09159ef1 100644
--- a/libpager/lock-completed.c
+++ b/libpager/lock-completed.c
@@ -41,6 +41,7 @@ _pager_seqnos_memory_object_lock_completed (mach_port_t object,
if (control != p->memobjcntl)
{
printf ("lock_completed: bad control port\n");
+ ports_done_with_port (p);
return EPERM;
}
@@ -57,8 +58,9 @@ _pager_seqnos_memory_object_lock_completed (mach_port_t object,
if (lr)
condition_broadcast (&p->wakeup);
- _pager_release_seqno (p);
+ _pager_release_seqno (p, seqno);
mutex_unlock (&p->interlock);
+ ports_done_with_port (p);
return 0;
}