Type Alias __kernel_ipc_pid_t 

pub type __kernel_ipc_pid_t = c_int;