diff options
Diffstat (limited to 'kern/ipc_kobject.c')
| -rw-r--r-- | kern/ipc_kobject.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/ipc_kobject.c b/kern/ipc_kobject.c index 6d9f785..959cc0d 100644 --- a/kern/ipc_kobject.c +++ b/kern/ipc_kobject.c @@ -318,7 +318,7 @@ ipc_kobject_destroy( default: #if MACH_ASSERT - printf("ipc_kobject_destroy: port 0x%x, kobj 0x%x, type %d\n", + printf("ipc_kobject_destroy: port 0x%p, kobj 0x%x, type %d\n", port, port->ip_kobject, ip_kotype(port)); #endif /* MACH_ASSERT */ break; |