diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 21:26:45 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 21:26:45 +0000 |
| commit | cde0009406dae926d51e4df9300c1bf09c11918b (patch) | |
| tree | d5d46a74201b9d466bb52498b7de063f0b69cbfc | |
| parent | fc3b51eaaee3bd4d38e9ec8a2383ca7adac518e4 (diff) | |
entered into RCS
| -rw-r--r-- | libpager/chg-compl.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libpager/chg-compl.c b/libpager/chg-compl.c index cc11e044..6080bf2d 100644 --- a/libpager/chg-compl.c +++ b/libpager/chg-compl.c @@ -48,8 +48,9 @@ _pager_seqnos_memory_object_change_completed (mach_port_t obj, if (ar) condition_broadcast (&p->wakeup); - _pager_release_seqno (p); + _pager_release_seqno (p, seq); mutex_unlock (&p->interlock); + ports_done_with_port (p); return 0; } |