| /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 <genarch/firmware/acpi/acpi.h> |
| #include <genarch/firmware/acpi/madt.h> |
| #include <genarch/acpi/acpi.h> |
| #include <genarch/acpi/madt.h> |
| #include <config.h> |
| #include <synch/waitq.h> |
| #include <synch/synch.h> |