ARCH_CAP_MDS_NO
if ((x86_arch_cap_msr & ARCH_CAP_MDS_NO) &&
!(x86_arch_cap_msr & ARCH_CAP_MDS_NO))))
if ((x86_arch_cap_msr & ARCH_CAP_MDS_NO) && !boot_cpu_has(X86_FEATURE_RTM) &&
!(x86_arch_cap_msr & ARCH_CAP_MDS_NO)) {
((vcpu->arch.arch_capabilities & ARCH_CAP_MDS_NO) &&
ARCH_CAP_SKIP_VMENTRY_L1DFLUSH | ARCH_CAP_SSB_NO | ARCH_CAP_MDS_NO | \
data |= ARCH_CAP_MDS_NO;