Type Definition panda_sys::target_pid_t

pub type target_pid_t = i32;

@brief Type for the guest VM pids. We use the type mostly for denoting argumant/variable semantics. In principle, the pid type depends on the guest-OS. However, so far we have only met cases of operating systems with 32bit pids. This is a signed type in order to match the signature of the linux kill system call.