diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-10 03:36:44 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-10 03:36:44 +0200 |
| commit | e1f856119dae48fcc1b649521ca45e4bdaa80ea9 (patch) | |
| tree | a18f15d63e39eca9c9aae7c1aa58572506ef55c5 /device/device_emul.h | |
| parent | 19fc519523afecd79dd0e406d0a846a95c6335ca (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 'device/device_emul.h')
0 files changed, 0 insertions, 0 deletions