diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-10 00:56:45 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-10 00:56:45 +0200 |
| commit | 19fc519523afecd79dd0e406d0a846a95c6335ca (patch) | |
| tree | 94f8fffb8ef081862fbeeca684e39da96beb2b82 | |
| parent | c81633968d20a66ae7f13a52c007f3eb52453684 (diff) | |
Add more spurious deallocation debugging
* ipc/mach_port.c (mach_port_destroy): Print the current space and the
target space on spurious deallocation.
(mach_port_deallocate): Likewise.
| -rw-r--r-- | ipc/mach_port.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ipc/mach_port.c b/ipc/mach_port.c index 904fd14..8930661 100644 --- a/ipc/mach_port.c +++ b/ipc/mach_port.c @@ -571,7 +571,7 @@ mach_port_destroy( kr = ipc_right_lookup_write(space, name, &entry); if (kr != KERN_SUCCESS) { if (name != MACH_PORT_NULL && name != MACH_PORT_DEAD) { - printf("task %p destroying an invalid port %u, most probably a bug.\n", current_task(), name); + printf("task %p (space %p) destroying an invalid port %u for space %p, most probably a bug.\n", current_task(), current_space(), name, space); if (mach_port_deallocate_debug) SoftDebugger("mach_port_deallocate"); } @@ -615,7 +615,7 @@ mach_port_deallocate( kr = ipc_right_lookup_write(space, name, &entry); if (kr != KERN_SUCCESS) { if (name != MACH_PORT_NULL && name != MACH_PORT_DEAD) { - printf("task %p deallocating an invalid port %u, most probably a bug.\n", current_task(), name); + printf("task %p (space %p) deallocating an invalid port %u for space %p, most probably a bug.\n", current_task(), current_space(), name, space); if (mach_port_deallocate_debug) SoftDebugger("mach_port_deallocate"); } |