/trunk/kernel/genarch/src/mm/as_ht.c |
35,12 → 35,12 |
* @brief Address space functions for global page hash table. |
*/ |
|
#include <arch/mm/as.h> |
#include <genarch/mm/as_ht.h> |
#include <genarch/mm/page_ht.h> |
#include <mm/as.h> |
#include <mm/frame.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <memstr.h> |
#include <adt/hash_table.h> |
#include <synch/mutex.h> |
/trunk/kernel/genarch/src/mm/asid_fifo.c |
42,7 → 42,6 |
#include <genarch/mm/asid_fifo.h> |
#include <arch/mm/asid.h> |
#include <mm/asid.h> |
#include <typedefs.h> |
#include <adt/fifo.h> |
|
#define FIFO_STATIC_LIMIT 1024 |
/trunk/kernel/genarch/src/mm/as_pt.c |
43,7 → 43,6 |
#include <arch/mm/page.h> |
#include <arch/mm/as.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <memstr.h> |
#include <arch.h> |
|
/trunk/kernel/genarch/src/mm/page_ht.c |
43,7 → 43,6 |
#include <mm/as.h> |
#include <arch/mm/asid.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <arch/asm.h> |
#include <synch/spinlock.h> |
#include <arch.h> |