x2apic_enabled
x2apic_enabled() ? "x2apic" : "xapic");
if (!x2apic_enabled()) {
if (x2apic_enabled()) {
if (x2apic_enabled()) {
if (x2apic_enabled()) {
if (!x2apic_enabled()) {
return x2apic_enabled();
return x2apic_enabled() && (x2apic_phys || x2apic_fadt_phys());
return x2apic_enabled() && cc_platform_has(CC_ATTR_SNP_SECURE_AVIC);
if (x2apic_enabled())
destination = x2apic_enabled() ? apic_id : apic_id << 8;
return x2apic_enabled();
if (!x2apic_enabled())
int eim = x2apic_enabled();