pub type __kernel_uid16_t = c_ushort;