/trunk/kernel/arch/ia32/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> |
/trunk/kernel/arch/ia32/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/ia32/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/ia32/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) |
/trunk/kernel/arch/ia32/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) |