summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-10 00:56:45 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-10 00:56:45 +0200
commit19fc519523afecd79dd0e406d0a846a95c6335ca (patch)
tree94f8fffb8ef081862fbeeca684e39da96beb2b82
parentc81633968d20a66ae7f13a52c007f3eb52453684 (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.c4
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");
}