path: root/kernel/acpi.h

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