pub const KVM_TRC_VMEXIT: u32 = 65538;