HelenOS sources

acpi_madt_parse    67 kernel/arch/amd64/src/smp/smp.c 		acpi_madt_parse();
acpi_madt_parse    67 kernel/arch/ia32/src/smp/smp.c 		acpi_madt_parse();
acpi_madt_parse   143 kernel/genarch/include/genarch/acpi/madt.h extern void acpi_madt_parse(void);