Constant KVM_XEN_MSR_MAX_INDEX

pub const KVM_XEN_MSR_MAX_INDEX: u32 = 1342177279; // 1_342_177_279u32