Type Definition panda_sys::__kernel_ipc_pid_t[][src]

pub type __kernel_ipc_pid_t = c_int;