pub type kernel_LogCategory = c_uint;
A collection of logging categories that may be encountered by kernel code.