Rev 2089 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2089 | Rev 2141 | ||
---|---|---|---|
Line 79... | Line 79... | ||
79 | #endif /* CONFIG_TSB */ |
79 | #endif /* CONFIG_TSB */ |
80 | 80 | ||
81 | #include <genarch/mm/as_ht.h> |
81 | #include <genarch/mm/as_ht.h> |
82 | 82 | ||
83 | #ifdef CONFIG_TSB |
83 | #ifdef CONFIG_TSB |
84 | # include <arch/mm/tsb.h> |
84 | #include <arch/mm/tsb.h> |
85 | # define as_invalidate_translation_cache(as, page, cnt) tsb_invalidate(as, page, cnt) |
85 | #define as_invalidate_translation_cache(as, page, cnt) \ |
- | 86 | tsb_invalidate((as), (page), (cnt)) |
|
86 | #else |
87 | #else |
87 | # define as_invalidate_translation_cache(as, page, cnt) |
88 | #define as_invalidate_translation_cache(as, page, cnt) |
88 | #endif |
89 | #endif |
89 | 90 | ||
90 | extern void as_arch_init(void); |
91 | extern void as_arch_init(void); |
91 | 92 | ||
92 | #endif |
93 | #endif |