| /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) |
| { |
| spinlock_initialize(&tlblock); |
| if (config.cpu_active == 1) |
| spinlock_initialize(&tlblock); |
| tlb_init_arch(); |
| } |
| #ifdef __SMP__ |
| /* must be called with interrupts disabled */ |
| void tlb_shootdown_start(void) |
| { |