Type Definition rebpf_sys::bpf_sys::__kernel_ipc_pid_t

type __kernel_ipc_pid_t = c_int;