29,21 → 29,20 |
#ifndef __TLB_H__ |
#define __TLB_H__ |
|
extern void tlb_init(void); |
|
#ifdef __SMP__ |
extern void tlb_init(void); |
extern void tlb_shootdown_start(void); |
extern void tlb_shootdown_finalize(void); |
extern void tlb_shootdown_ipi_recv(void); |
#else |
|
#define tlb_init() ; |
#define tlb_shootdown_start() ; |
#define tlb_shootdown_finalize() ; |
#define tlb_shootdown_ipi_recv() ; |
|
# define tlb_shootdown_start() ; |
# define tlb_shootdown_finalize() ; |
# define tlb_shootdown_ipi_recv() ; |
#endif /* __SMP__ */ |
|
/* Export TLB interface that each architecture must implement. */ |
extern void tlb_init_arch(void); |
extern void tlb_invalidate(int asid); |
extern void tlb_shootdown_ipi_send(void); |
|