Type Alias __kernel_uid32_t 

pub type __kernel_uid32_t = c_uint;