Rev 389 | Rev 430 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 389 | Rev 396 | ||
---|---|---|---|
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 | #include <arch/mm/asid.h> |
|
- | 33 | ||
32 | extern void tlb_init(void); |
34 | extern void tlb_init(void); |
33 | 35 | ||
34 | #ifdef __SMP__ |
36 | #ifdef __SMP__ |
35 | extern void tlb_shootdown_start(void); |
37 | extern void tlb_shootdown_start(void); |
36 | extern void tlb_shootdown_finalize(void); |
38 | extern void tlb_shootdown_finalize(void); |
Line 41... | Line 43... | ||
41 | # define tlb_shootdown_ipi_recv() ; |
43 | # define tlb_shootdown_ipi_recv() ; |
42 | #endif /* __SMP__ */ |
44 | #endif /* __SMP__ */ |
43 | 45 | ||
44 | /* Export TLB interface that each architecture must implement. */ |
46 | /* Export TLB interface that each architecture must implement. */ |
45 | extern void tlb_init_arch(void); |
47 | extern void tlb_init_arch(void); |
46 | extern void tlb_invalidate(int asid); |
48 | extern void tlb_invalidate(asid_t asid); |
47 | extern void tlb_shootdown_ipi_send(void); |
49 | extern void tlb_shootdown_ipi_send(void); |
48 | 50 | ||
49 | #endif |
51 | #endif |