Type Alias __kernel_pid_t 

pub type __kernel_pid_t = i32;