pub type __kernel_mode_t = u32;