HelenOS sources

madt.h   43 kernel/arch/amd64/src/smp/smp.c #include <genarch/acpi/madt.h>
madt.h   43 kernel/arch/ia32/src/smp/smp.c #include <genarch/acpi/madt.h>
madt.h   39 kernel/genarch/src/acpi/acpi.c #include <genarch/acpi/madt.h>
madt.h   40 kernel/genarch/src/acpi/madt.c #include <genarch/acpi/madt.h>