/kernel/trunk/generic/src/mm/tlb.c |
---|
37,10 → 37,15 |
#include <arch.h> |
#include <panic.h> |
SPINLOCK_INITIALIZE(tlblock); |
#ifdef CONFIG_SMP |
static spinlock_t tlblock; |
#endif |
void tlb_init(void) |
{ |
if (config.cpu_active == 1) |
spinlock_initialize(&tlblock, "tlb_lock"); |
tlb_arch_init(); |
} |