pub type __kernel_mode_t = c_uint;