pub type __kernel_uid_t = c_ushort;