/SPARTAN/trunk/arch/ia32/src/ia32.c |
44,7 → 44,7 |
|
#include <arch/interrupt.h> |
#include <arch/asm.h> |
#include <arch/acpi/acpi.h> |
#include <genarch/firmware/acpi/acpi.h> |
|
#include <arch/bios/bios.h> |
|
/SPARTAN/trunk/arch/ia32/src/smp/smp.c |
30,8 → 30,8 |
#include <arch/smp/smp.h> |
#include <arch/smp/mps.h> |
#include <arch/smp/ap.h> |
#include <arch/acpi/acpi.h> |
#include <arch/acpi/madt.h> |
#include <genarch/firmware/acpi/acpi.h> |
#include <genarch/firmware/acpi/madt.h> |
#include <config.h> |
#include <synch/waitq.h> |
#include <synch/synch.h> |