Symbol: x2apic_available
headers/private/kernel/arch/x86/apic.h
113
bool x2apic_available();
src/system/kernel/arch/x86/arch_smp.cpp
168
if (!x2apic_available()) {