diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-01-21 00:11:51 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-01-21 00:11:51 +0100 |
| commit | 4e8b5329355f4fcd9f247df5f85d6f1c96113582 (patch) | |
| tree | 852c3913df7edbe7912cd8d4c829402489ccc612 /debian | |
| parent | 0cf5370ed91fea8ca4fea572a6c2f326e10d86d4 (diff) | |
erm, fix that
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 |