summaryrefslogtreecommitdiff
path: root/ipc
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-10 03:36:44 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-10 03:36:44 +0200
commite1f856119dae48fcc1b649521ca45e4bdaa80ea9 (patch)
treea18f15d63e39eca9c9aae7c1aa58572506ef55c5 /ipc
parent19fc519523afecd79dd0e406d0a846a95c6335ca (diff)
Do not warn for cross-space spurious port deallocation
These are harmless (the target is stopped) and difficult to fix anyway. * ipc/mach_port.c (mach_port_destroy): Do not warn about spurious port deallocation when SPACE is not equal to current_space(). (mach_port_deallocate): Likewise.
Diffstat (limited to 'ipc')
-rw-r--r--ipc/mach_port.c8
1 files changed, 4 insertions, 4 deletions
diff --git a/ipc/mach_port.c b/ipc/mach_port.c
index 8930661..c5688c9 100644
--- a/ipc/mach_port.c
+++ b/ipc/mach_port.c
@@ -570,8 +570,8 @@ 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 (space %p) destroying an invalid port %u for space %p, most probably a bug.\n", current_task(), current_space(), name, space);
+ if (name != MACH_PORT_NULL && name != MACH_PORT_DEAD && space == current_space()) {
+ printf("task %p destroying an invalid port %u, most probably a bug.\n", current_task(), name);
if (mach_port_deallocate_debug)
SoftDebugger("mach_port_deallocate");
}
@@ -614,8 +614,8 @@ 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 (space %p) deallocating an invalid port %u for space %p, most probably a bug.\n", current_task(), current_space(), name, space);
+ if (name != MACH_PORT_NULL && name != MACH_PORT_DEAD && space == current_space()) {
+ printf("task %p deallocating an invalid port %u, most probably a bug.\n", current_task(), name);
if (mach_port_deallocate_debug)
SoftDebugger("mach_port_deallocate");
}