#include "smp.h" bool acpi_find(smp_processors *procdata);