X86_FEATURE_X2APIC
return boot_cpu_has(X86_FEATURE_X2APIC) && apic_is_x2apic_enabled();
#define x2apic_supported() (boot_cpu_has(X86_FEATURE_X2APIC))
setup_clear_cpu_cap(X86_FEATURE_X2APIC);
} else if (!boot_cpu_has(X86_FEATURE_X2APIC)) {
return boot_cpu_has(X86_FEATURE_X2APIC);
(guest_cpu_cap_has(vcpu, X86_FEATURE_X2APIC) ? 0 : X2APIC_ENABLE);
if (guest_cpu_cap_has(vcpu, X86_FEATURE_X2APIC) &&
setup_clear_cpu_cap(X86_FEATURE_X2APIC);
vcpu_clear_cpuid_feature(x.vcpu, X86_FEATURE_X2APIC);
vcpu_clear_cpuid_feature(vcpu, X86_FEATURE_X2APIC);