Samuel Thibault, le Sat 06 Dec 2014 02:48:31 +0100, a écrit : > I tried to put ipc_task_disable() after task_hold() and task_dowait(), > like is done in xnu, but I'm still getting the issue. Actually task_hold wasn't doing anything :o) This is now fixed. Thanks Gabriele for providing a reproducer :) Samuel