pub const KVM_TRC_EXTRA_MAX: u32 = 7;