Constant XEN_DOMCTL_set_vcpu_msrs 

pub const XEN_DOMCTL_set_vcpu_msrs: u32 = 73;