Kernel mutex structure. More...
#include <kernel.h>
Kernel mutex structure.
All the members are internal and should not be accessed directly.