diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2008-07-17 01:22:38 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:16 +0200 |
| commit | 59eccaaff458eaaf0b7a6c6b845d6f7975cc2051 (patch) | |
| tree | 91074810f849f0820d1c44db7cd8389a6edbef5a /device | |
| parent | ac8b97ff4aea252ee83107033b704b5ab9cf58b0 (diff) | |
2008-07-15 Barry deFreese <bddebian@comcast.net>
* device/dev_pager.c (device_pager_data_request,
device_pager_data_request_done, device_pager_init_pager): Fix printf
formats.
* i386/i386/debug_i386.c (dump_ss): Likewise.
* i386/i386/trap.c (user_trap): Likewise.
* i386/i386at/com.c (comtimer): Likewise.
* ipc/ipc_notify (ipc_notify_port_deleted, ipc_notify_msg_accepted,
ipc_notify_port_destroyed, ipc_notify_no_senders,
ipc_notify_send_once, ipc_notify_dead_name): Likewise.
* kern/ipc_kobject.c (ipc_kobject_destroy): Likewise.
* kern/sched_prim.c (do_runq_scan): Likewise.
* linux/pcmcia-cs/clients/smc91c92_cs.c (smc_start_xmit): Likewise.
* linux/src/drivers/net/sundance.c (start_tx): Likewise.
* vm/vm_fault.c (vm_fault_page): Likewise.
* vm/vm_map.c (vm_map_pmap_enter): Likewise.
* vm/vm_object.c (vm_object_collapse): Likewise.
Diffstat (limited to 'device')
| -rw-r--r-- | device/dev_pager.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/device/dev_pager.c b/device/dev_pager.c index 6779d8e..68c978c 100644 --- a/device/dev_pager.c +++ b/device/dev_pager.c @@ -340,7 +340,7 @@ kern_return_t device_pager_data_request( #endif /* lint */ if (device_pager_debug) - printf("(device_pager)data_request: pager=%d, offset=0x%x, length=0x%x\n", + printf("(device_pager)data_request: pager=%p, offset=0x%x, length=0x%x\n", pager, offset, length); ds = dev_pager_hash_lookup((ipc_port_t)pager); @@ -428,7 +428,7 @@ boolean_t device_pager_data_request_done(register io_req_t ior) size_read = ior->io_count; if (ior->io_residual) { if (device_pager_debug) - printf("(device_pager)data_request_done: r: 0x%x\n",ior->io_residual); + printf("(device_pager)data_request_done: r: 0x%lx\n",ior->io_residual); memset((&ior->io_data[ior->io_count - ior->io_residual]), 0, (unsigned) ior->io_residual); } @@ -606,7 +606,7 @@ kern_return_t device_pager_init_pager( register dev_pager_t ds; if (device_pager_debug) - printf("(device_pager)init: pager=%d, request=%d, name=%d\n", + printf("(device_pager)init: pager=%p, request=%p, name=%p\n", pager, pager_request, pager_name); assert(pager_page_size == PAGE_SIZE); |