/branches/sparc/kernel/arch/sparc64/src/mm/as.c |
---|
33,8 → 33,9 |
*/ |
#include <arch/mm/as.h> |
#include <arch/mm/tlb.h> |
#include <arch/mm/pagesize.h> |
#include <arch/mm/sun4u/tlb.h> |
#include <arch/mm/sun4u/tlb.h> |
#include <genarch/mm/page_ht.h> |
#include <genarch/mm/asid_fifo.h> |
#include <debug.h> |