Files
mango/arch/x86_64/acpi/smp.cpp