vfio_sys::plat

Type Alias __kernel_pid_t

Source 
pub type __kernel_pid_t = c_int;