| /trunk/kernel/arch/amd64/src/fpu_context.c |
|---|
| 34,8 → 34,6 |
| */ |
| #include <fpu_context.h> |
| #include <arch.h> |
| #include <cpu.h> |
| /** Save FPU (mmx, sse) context using fxsave instruction */ |
| void fpu_context_save(fpu_context_t *fctx) |
| /trunk/kernel/arch/amd64/src/cpu/cpu.c |
|---|
| 32,6 → 32,7 |
| /** @file |
| */ |
| #include <cpu.h> |
| #include <arch/cpu.h> |
| #include <arch/cpuid.h> |
| #include <arch/pm.h> |
| 39,7 → 40,6 |
| #include <arch.h> |
| #include <arch/types.h> |
| #include <print.h> |
| #include <typedefs.h> |
| #include <fpu_context.h> |
| /* |
| 56,7 → 56,7 |
| enum vendor { |
| VendorUnknown=0, |
| VendorUnknown = 0, |
| VendorAMD, |
| VendorIntel |
| }; |
| /trunk/kernel/arch/amd64/src/pm.c |
|---|
| 34,18 → 34,11 |
| */ |
| #include <arch/pm.h> |
| #include <arch/mm/page.h> |
| #include <arch/types.h> |
| #include <arch/interrupt.h> |
| #include <arch/asm.h> |
| #include <interrupt.h> |
| #include <mm/as.h> |
| #include <config.h> |
| #include <mm/frame.h> |
| #include <memstr.h> |
| #include <mm/slab.h> |
| #include <debug.h> |
| /* |
| * There is no segmentation in long mode so we set up flat mode. In this |
| /trunk/kernel/arch/amd64/src/ddi/ddi.c |
|---|
| 36,7 → 36,6 |
| #include <arch/ddi/ddi.h> |
| #include <proc/task.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| #include <adt/bitmap.h> |
| #include <mm/slab.h> |
| #include <arch/pm.h> |
| /trunk/kernel/arch/amd64/src/mm/memory_init.c |
|---|
| 38,7 → 38,7 |
| #include <print.h> |
| uint8_t e820counter = 0xff; |
| struct e820memmap_ e820table[MEMMAP_E820_MAX_RECORDS]; |
| e820memmap_t e820table[MEMMAP_E820_MAX_RECORDS]; |
| uint32_t e801memorysize; |
| size_t get_memory_size(void) |