Type Definition kvm_bindings::__kernel_pid_t

type __kernel_pid_t = c_int;