/trunk/kernel/generic/src/mm/tlb.c |
44,7 → 44,6 |
#include <arch/mm/tlb.h> |
#include <smp/ipi.h> |
#include <synch/spinlock.h> |
#include <typedefs.h> |
#include <atomic.h> |
#include <arch/interrupt.h> |
#include <config.h> |
51,6 → 50,7 |
#include <arch.h> |
#include <panic.h> |
#include <debug.h> |
#include <cpu.h> |
|
/** |
* This lock is used for synchronisation between sender and |
/trunk/kernel/generic/src/mm/as.c |
74,7 → 74,6 |
#include <config.h> |
#include <align.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <syscall/copy.h> |
#include <arch/interrupt.h> |
|
168,7 → 167,11 |
|
as->refcount = 0; |
as->cpu_refcount = 0; |
#ifdef AS_PAGE_TABLE |
as->page_table = page_table_create(flags); |
#else |
page_table_create(flags); |
#endif |
|
return as; |
} |
216,7 → 219,11 |
} |
|
btree_destroy(&as->as_area_btree); |
#ifdef AS_PAGE_TABLE |
page_table_destroy(as->page_table); |
#else |
page_table_destroy(NULL); |
#endif |
|
interrupts_restore(ipl); |
|
/trunk/kernel/generic/src/mm/buddy.c |
42,8 → 42,6 |
#include <mm/buddy.h> |
#include <mm/frame.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <adt/list.h> |
#include <debug.h> |
#include <print.h> |
|
/trunk/kernel/generic/src/mm/page.c |
46,7 → 46,6 |
#include <mm/as.h> |
#include <mm/frame.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <arch/asm.h> |
#include <memstr.h> |
#include <debug.h> |