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