diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 21:22:57 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 21:22:57 +0000 |
commit | fc3b51eaaee3bd4d38e9ec8a2383ca7adac518e4 (patch) | |
tree | b5683454b2986db29b0a7e4152e3a8af9c4ed7c7 | |
parent | 5ec4f7784788e35db6d2e023c0a21c2c9be45db1 (diff) |
Formerly lock-completed.c.~8~
-rw-r--r-- | libpager/lock-completed.c | 4 |
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; } |