diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 16:36:23 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 16:36:23 +0000 |
| commit | e6941502cf535ad9fa0aa3dff3170dd446f70eda (patch) | |
| tree | 8af1bc10b5fff505aa53f09c22163277f4379abc | |
| parent | 1c9c581f471eaf2cd9c6f8ae4b6e62b40583ceb8 (diff) | |
Formerly data-request.c.~10~
| -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) |