diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 16:36:22 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 16:36:22 +0000 |
| commit | 1c9c581f471eaf2cd9c6f8ae4b6e62b40583ceb8 (patch) | |
| tree | f9a576ab26673ce413828c2d88c1dd34c1e40aad | |
| parent | 247bb3e455d5c0eca59feef323eb31a0db3658e1 (diff) | |
Formerly data-return.c.~8~
| -rw-r--r-- | libpager/data-return.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libpager/data-return.c b/libpager/data-return.c index 014a8af9..20652492 100644 --- a/libpager/data-return.c +++ b/libpager/data-return.c @@ -80,7 +80,7 @@ _pager_seqnos_memory_object_data_return (mach_port_t object, if (p->pager_state != NORMAL) { printf ("pager in wrong state for write\n"); - _pager_release_seqno (p); + _pager_release_seqno (p, seqno); mutex_unlock (&p->interlock); goto out; } @@ -114,7 +114,7 @@ _pager_seqnos_memory_object_data_return (mach_port_t object, } /* Let someone else in. */ - _pager_release_seqno (p); + _pager_release_seqno (p, seqno); mutex_unlock (&p->interlock); /* This is inefficient; we should send all the pages to the device at once |