HelenOS sources

acpi.h   48 kernel/arch/amd64/src/amd64.c #include <genarch/acpi/acpi.h>
acpi.h   42 kernel/arch/amd64/src/smp/smp.c #include <genarch/acpi/acpi.h>
acpi.h   49 kernel/arch/ia32/src/ia32.c #include <genarch/acpi/acpi.h>
acpi.h   42 kernel/arch/ia32/src/smp/smp.c #include <genarch/acpi/acpi.h>
acpi.h   38 kernel/genarch/include/genarch/acpi/madt.h #include <genarch/acpi/acpi.h>
acpi.h   38 kernel/genarch/src/acpi/acpi.c #include <genarch/acpi/acpi.h>
acpi.h   39 kernel/genarch/src/acpi/madt.c #include <genarch/acpi/acpi.h>