kernel: Don't include <sys/mutex.h> in some drivers that don't need it.
[dragonfly.git] / sys / platform / 
tree73c5d58f9815adad0e7f8641a7cda8d1ae687883
drwxr-xr-x   ..
drwxr-xr-x - pc64
drwxr-xr-x - vkernel64