/kernel/trunk/genarch/src/mm/asid.c |
---|
53,7 → 53,7 |
#include <arch/mm/asid.h> |
#include <synch/spinlock.h> |
#include <arch.h> |
#include <list.h> |
#include <adt/list.h> |
#include <debug.h> |
/** |
/kernel/trunk/genarch/src/mm/asid_fifo.c |
---|
30,7 → 30,7 |
#include <arch/mm/asid.h> |
#include <mm/asid.h> |
#include <typedefs.h> |
#include <fifo.h> |
#include <adt/fifo.h> |
/** |
* FIFO queue containing unassigned ASIDs. |