Type Definition vfio_bindings::bindings::vfio::__kernel_ipc_pid_t

type __kernel_ipc_pid_t = c_int;