ARCH_CAP_FBSDP_NO
(x86_arch_cap_msr & ARCH_CAP_FBSDP_NO)) {
if (!(x86_arch_cap_msr & ARCH_CAP_FBSDP_NO))
return (x86_arch_cap_msr & ARCH_CAP_FBSDP_NO &&
(vcpu->arch.arch_capabilities & ARCH_CAP_FBSDP_NO) &&
ARCH_CAP_SBDR_SSDP_NO | ARCH_CAP_FBSDP_NO | ARCH_CAP_PSDP_NO | \