overby.me / darling-nix
this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

Destroy the mach timer port correctly

Lubos Dolezel b4ef7994 ae81336c

+1 -1
+1 -1
src/lkm/traps.c
··· 952 952 ipc_port_unlock(right->port); 953 953 954 954 ipc_space_unlock(&task->namespace); 955 - ret = ipc_space_right_put(&task->namespace, right); 955 + ret = ipc_space_right_put(&task->namespace, args.timer_port); 956 956 957 957 return ret; 958 958 err: