From 1c9c581f471eaf2cd9c6f8ae4b6e62b40583ceb8 Mon Sep 17 00:00:00 2001 From: "Michael I. Bushnell" Date: Wed, 1 Jun 1994 16:36:22 +0000 Subject: Formerly data-return.c.~8~ --- libpager/data-return.c | 4 ++-- 1 file 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 -- cgit v1.2.3