os161 / kern / synchprobs