diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-02-20 21:08:47 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-02-20 21:08:47 +0000 |
| commit | 443886acfed9baee785d5df3baa1cbb03bb59ebe (patch) | |
| tree | bf9a8ba8a830be4c58abe5f708d098b13f2d43a6 /libpager | |
| parent | cda632344e2e74fc6bfae22ee7273b7156cf51cc (diff) | |
(_pager_lock_object): Print debugging message when SYNC.
Diffstat (limited to 'libpager')
| -rw-r--r-- | libpager/lock-object.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libpager/lock-object.c b/libpager/lock-object.c index 21e2cfad..48298010 100644 --- a/libpager/lock-object.c +++ b/libpager/lock-object.c @@ -64,6 +64,11 @@ _pager_lock_object (struct pager *p, } } + /* XXX */ + if (sync) + printf ("Issuing lock request: p %#x; offset %#x; length %#x\n", + (int) p, offset, size); + memory_object_lock_request (p->memobjcntl, offset, size, should_return, should_flush, lock_value, sync ? p->port.port_right : MACH_PORT_NULL); |