| /trunk/kernel/arch/ia32xen/src/smp/mps.c |
|---|
| 42,7 → 42,6 |
| #include <arch/smp/smp.h> |
| #include <func.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| #include <cpu.h> |
| #include <arch/asm.h> |
| #include <arch/bios/bios.h> |
| /trunk/kernel/arch/ia32xen/src/smp/smp.c |
|---|
| 36,7 → 36,6 |
| #include <arch/smp/smp.h> |
| #include <arch/smp/mps.h> |
| #include <arch/smp/ap.h> |
| #include <arch/boot/boot.h> |
| #include <genarch/acpi/acpi.h> |
| #include <genarch/acpi/madt.h> |
| #include <config.h> |
| /trunk/kernel/arch/ia32xen/src/smp/apic.c |
|---|
| 36,7 → 36,6 |
| #include <arch/smp/apic.h> |
| #include <arch/smp/ap.h> |
| #include <arch/smp/mps.h> |
| #include <arch/boot/boot.h> |
| #include <mm/page.h> |
| #include <time/delay.h> |
| #include <interrupt.h> |