diff options
| -rw-r--r-- | libpager/data-request.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libpager/data-request.c b/libpager/data-request.c index e8727fa5..42b3d6f7 100644 --- a/libpager/data-request.c +++ b/libpager/data-request.c @@ -66,7 +66,7 @@ _pager_seqnos_memory_object_data_request (mach_port_t object, if (p->pager_state != NORMAL) { printf ("pager in wrong state for read\n"); - _pager_release_seqno (p); + _pager_release_seqno (p, seqno); mutex_unlock (&p->interlock); goto allow_term_out; } @@ -103,7 +103,7 @@ _pager_seqnos_memory_object_data_request (mach_port_t object, } /* Let someone else in. */ - _pager_release_seqno (p); + _pager_release_seqno (p, seqno); mutex_unlock (&p->interlock); if (!doread) |