/trunk/kernel/arch/ia32xen/src/ia32xen.c |
36,7 → 36,6 |
#include <main/main.h> |
|
#include <arch/types.h> |
#include <typedefs.h> |
#include <align.h> |
|
#include <arch/pm.h> |
54,7 → 53,6 |
|
#include <arch/bios/bios.h> |
|
#include <arch/boot/boot.h> |
#include <arch/mm/memory_init.h> |
#include <interrupt.h> |
#include <arch/debugger.h> |
/trunk/kernel/arch/ia32xen/src/pm.c |
35,7 → 35,6 |
#include <arch/pm.h> |
#include <config.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <arch/interrupt.h> |
#include <arch/asm.h> |
#include <arch/context.h> |
43,7 → 42,6 |
#include <arch/mm/page.h> |
#include <mm/slab.h> |
#include <memstr.h> |
#include <arch/boot/boot.h> |
#include <interrupt.h> |
|
/* |
/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> |
/trunk/kernel/arch/ia32xen/src/boot/boot.S |
26,9 → 26,8 |
# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
# |
|
#include <arch/boot/boot.h> |
#include <arch/mm/page.h> |
#include <arch/pm.h> |
#include <arch/hypercall.h> |
|
#define ELFNOTE(name, type, desctype, descval) \ |
.section .note.name; \ |
/trunk/kernel/arch/ia32xen/src/mm/as.c |
34,7 → 34,7 |
*/ |
|
#include <arch/mm/as.h> |
#include <genarch/mm/as_pt.h> |
#include <genarch/mm/page_pt.h> |
|
/** Architecture dependent address space init. */ |
void as_arch_init(void) |