Type Alias __kernel_ipc_pid_t

pub type __kernel_ipc_pid_t = i32;