/SPARTAN/trunk/src/main/main.c |
---|
151,7 → 151,6 |
frame_init(); |
page_init(); |
tlb_init(); |
arch_post_mm_init(); |
printf("%s\n%s\n", project, copyright); |
230,6 → 229,7 |
arch_pre_mm_init(); |
frame_init(); |
page_init(); |
tlb_init(); |
arch_post_mm_init(); |
cpu_init(); |
/SPARTAN/trunk/src/mm/tlb.c |
---|
27,6 → 27,7 |
*/ |
#include <mm/tlb.h> |
#include <arch/mm/tlb.h> |
#include <smp/ipi.h> |
#include <synch/spinlock.h> |
#include <typedefs.h> |
37,12 → 38,17 |
#ifdef __SMP__ |
static spinlock_t tlblock; |
#endif |
void tlb_init(void) |
{ |
if (config.cpu_active == 1) |
spinlock_initialize(&tlblock); |
tlb_init_arch(); |
} |
#ifdef __SMP__ |
/* must be called with interrupts disabled */ |
void tlb_shootdown_start(void) |
{ |