Constant XEN_DOMCTL_get_vcpu_msrs

pub const XEN_DOMCTL_get_vcpu_msrs: u32 = 72;