Symbol: NO_SMP
src/system/boot/platform/bios_ia32/smp.cpp
603
#if NO_SMP
src/system/boot/platform/efi/smp.cpp
72
#if NO_SMP