Linuxkpi lock types

[Emmanuel Vadot]

 Hello,

 I was looking at the linuxkpi locks and notice something that I don't
understand.

 For linux struct mutex we use or sx locks but looking at the doc in
linux (Documentation/locking/mutex-design.rst) it seems that those are
almost 1:1 our mtx, is there a reason that sx where chosen ?
 For the linux spinlocks we use MTX_DEF lock, which doesn't seems right
at all so same question.

 Thanks for your answers,

-- 
Emmanuel Vadot <manu at bidouilliste.com> <manu at freebsd.org>