diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-01-14 18:25:55 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-14 18:25:55 +0000 |
commit | c0a094932fb555e14ef342bbd93e3b00364e5754 (patch) | |
tree | 9d03d8f819c81c7b606f0bd884a5945265b66ac7 | |
parent | d9535913309da1f052996570b73ae517aab0827f (diff) |
Formerly data-request.c.~3~
-rw-r--r-- | libpager/data-request.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/libpager/data-request.c b/libpager/data-request.c index 5cbfcb7d..edeef484 100644 --- a/libpager/data-request.c +++ b/libpager/data-request.c @@ -30,6 +30,7 @@ seqnos_memory_object_data_request (mach_port_t object, error_t err; void *page; location_t loc; + void *cookie; vm_size_t size, iosize; int write_lock; int extra_zeroes; @@ -110,10 +111,11 @@ seqnos_memory_object_data_request (mach_port_t object, if (doerror) goto error_read; - err = pager_find_address (p->upi, offset, &loc, &size, &iosize, &write_lock); + err = pager_find_address (p->upi, offset, &loc, &cookie, + &size, &iosize, &write_lock); if (!err) - error = pager_read_page (loc, &page, iosize, &extra_zeroes); + error = pager_read_page (loc, cookie, &page, iosize, &extra_zeroes); if (err) goto error_read; |