| 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); |
| |