diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-02-20 21:08:33 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-02-20 21:08:33 +0000 |
commit | cda632344e2e74fc6bfae22ee7273b7156cf51cc (patch) | |
tree | 8fc767a34db523a8fa7c64760cce8010301bd757 /libpager | |
parent | 93493f41dc01ba4e13d5d35f71ed24c502c80e2d (diff) |
(_pager_seqnos_memory_object_lock_completed): Fix to be better.
Diffstat (limited to 'libpager')
-rw-r--r-- | libpager/lock-completed.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libpager/lock-completed.c b/libpager/lock-completed.c index a2a96dbf..20cc3cfd 100644 --- a/libpager/lock-completed.c +++ b/libpager/lock-completed.c @@ -62,8 +62,8 @@ _pager_seqnos_memory_object_lock_completed (mach_port_t object, } if (!lr) - printf ("orphaned lock_request: offset = %#x; length = %#x\n", - offset, length); + printf ("orphaned lock_request: p %#x; offset %#x; length %#x\n", + (int) p, offset, length); _pager_release_seqno (p, seqno); mutex_unlock (&p->interlock); |