Rev 1 | Rev 6 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1 | Rev 5 | ||
---|---|---|---|
Line 27... | Line 27... | ||
27 | */ |
27 | */ |
28 | 28 | ||
29 | #ifndef __TLB_H__ |
29 | #ifndef __TLB_H__ |
30 | #define __TLB_H__ |
30 | #define __TLB_H__ |
31 | 31 | ||
- | 32 | #ifdef __SMP__ |
|
- | 33 | extern void tlb_init(void); |
|
32 | extern void tlb_shutdown(void); |
34 | extern void tlb_shutdown_start(void); |
- | 35 | extern void tlb_shutdown_finalize(void); |
|
- | 36 | extern void tlb_shutdown_ipi_recv(void); |
|
- | 37 | #else |
|
- | 38 | ||
- | 39 | #define tlb_init() ; |
|
- | 40 | #define tlb_shutdown_start() ; |
|
- | 41 | #define tlb_shutdown_finalize() ; |
|
- | 42 | #define tlb_shutdown_ipi_recv() ; |
|
- | 43 | ||
- | 44 | #endif /* __SMP__ */ |
|
- | 45 | ||
- | 46 | /* Export TLB interface that each architecture must implement. */ |
|
33 | extern void tlb_invalidate(int asid); |
47 | extern void tlb_invalidate(int asid); |
- | 48 | extern void tlb_shutdown_ipi_send(void); |
|
34 | 49 | ||
35 | #endif |
50 | #endif |