On Mon, Jan 22, 2018 at 11:12:13AM +0100, Martin Pieuchot wrote: > Diff below moves the common mutex implementation to kern/ and enable it for > alpha, amd64, arm64, i386, mips64, powerpc.
Your diff seems to miss the necessary bits in <sys/mutex.h>. In addition, you should put the common mutex code into kern_mutex.c. Lets keep kern_lock.c for the mplock only.
