ARCH_CAP_SBDR_SSDP_NO
x86_arch_cap_msr & ARCH_CAP_SBDR_SSDP_NO);
(vcpu->arch.arch_capabilities & ARCH_CAP_SBDR_SSDP_NO)))
ARCH_CAP_SBDR_SSDP_NO | ARCH_CAP_FBSDP_NO | ARCH_CAP_PSDP_NO | \