summaryrefslogtreecommitdiff
path: root/ipc
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2009-12-21 23:10:45 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2009-12-21 23:10:45 +0100
commitf67ebd0771424181f8713f1931ee221d306eb683 (patch)
tree57849a0209c0569ee1b7877903d1ae92d34bc287 /ipc
parent7b9d0458105831a79d211f1ca98a184adedf82f5 (diff)
Invoke debugger on duplicate port deallocation
* ipc/mach_port.c (mach_port_deallocate): Call SoftDebugger if ipc_right_lookup_write was not succcessful and `name' is not MACH_PORT_NULL or MACH_PORT_DEAD.
Diffstat (limited to 'ipc')
-rw-r--r--ipc/mach_port.c7
1 files changed, 6 insertions, 1 deletions
diff --git a/ipc/mach_port.c b/ipc/mach_port.c
index 17aaf88..4315e80 100644
--- a/ipc/mach_port.c
+++ b/ipc/mach_port.c
@@ -602,8 +602,13 @@ mach_port_deallocate(
return KERN_INVALID_TASK;
kr = ipc_right_lookup_write(space, name, &entry);
- if (kr != KERN_SUCCESS)
+ 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);
+ SoftDebugger("mach_port_deallocate");
+ }
return kr;
+ }
/* space is write-locked */
kr = ipc_right_dealloc(space, name, entry); /* unlocks space */