pub const KVM_VCPUEVENT_VALID_TRIPLE_FAULT: u32 = 32;