/SPARTAN/trunk/src/mm/tlb.c |
---|
27,9 → 27,11 |
*/ |
#include <mm/tlb.h> |
#include <smp/ipi.h> |
#include <synch/spinlock.h> |
#include <typedefs.h> |
#include <arch/atomic.h> |
#include <arch/interrupt.h> |
#include <config.h> |
#ifdef __SMP__ |
59,6 → 61,11 |
spinlock_unlock(&tlblock); |
} |
void tlb_shootdown_ipi_send(void) |
{ |
ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI); |
} |
void tlb_shootdown_ipi_recv(void) |
{ |
atomic_inc((int *) &tlb_shootdown_cnt); |