diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/series | 45 |
1 files changed, 1 insertions, 44 deletions
diff --git a/debian/patches/series b/debian/patches/series index 991b2d1..ad0d046 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -7,47 +7,4 @@ Add-some-padding-to-make-objects-fit-a-single-cache-.patch vm_cache_policy.patch 0001-XXX.patch -commit 7912cfc77c543de45b2b3e843859e72a48e313f4 -Author: Justus Winter <4winter@informatik.uni-hamburg.de> -Date: Wed Jan 21 00:09:10 2015 +0100 - - ipc: be more pedantic XXX - -diff --git a/ipc/mach_port.c b/ipc/mach_port.c -index c7d9b81..7f27533 100644 ---- a/ipc/mach_port.c -+++ b/ipc/mach_port.c -@@ -570,7 +570,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 && space == current_space()) { -+ if (space == current_space()) { - printf("task %.*s destroying an invalid port %lu, most probably a bug.\n", sizeof current_task()->name, current_task()->name, name); - if (mach_port_deallocate_debug) - SoftDebugger("mach_port_deallocate"); -@@ -614,7 +614,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 && space == current_space()) { -+ if (space == current_space()) { - printf("task %.*s deallocating an invalid port %lu, most probably a bug.\n", sizeof current_task()->name, current_task()->name, name); - if (mach_port_deallocate_debug) - SoftDebugger("mach_port_deallocate"); -@@ -735,8 +735,14 @@ mach_port_mod_refs( - return KERN_INVALID_VALUE; - - kr = ipc_right_lookup_write(space, name, &entry); -- if (kr != KERN_SUCCESS) -+ if (kr != KERN_SUCCESS) { -+ if (space == current_space()) { -+ printf("task %.*s frobnicating an invalid port %lu, most probably a bug.\n", sizeof current_task()->name, current_task()->name, name); -+ if (mach_port_deallocate_debug) -+ SoftDebugger("mach_port_mod_refs"); -+ } - return kr; -+ } - /* space is write-locked and active */ - - kr = ipc_right_delta(space, name, entry, right, delta); /* unlocks */ +pedantic-port-management.patch |