//kernel/trunk/arch/sparc64/src/mm/tlb.c |
---|
28,7 → 28,6 |
#include <arch/mm/tlb.h> |
#include <mm/tlb.h> |
#include <genarch/mm/asid_fifo.h> |
#include <arch/mm/frame.h> |
#include <arch/mm/page.h> |
#include <arch/mm/mmu.h> |
56,8 → 55,6 |
frame_address_t fr; |
page_address_t pg; |
asid_fifo_init(); |
fr.address = config.base; |
pg.address = config.base; |
//kernel/trunk/arch/sparc64/src/mm/as.c |
---|
28,9 → 28,11 |
#include <arch/mm/as.h> |
#include <genarch/mm/as_ht.h> |
#include <genarch/mm/asid_fifo.h> |
/** Architecture dependent address space init. */ |
void as_arch_init(void) |
{ |
as_operations = &as_ht_operations; |
asid_fifo_init(); |
} |