Subversion Repositories HelenOS

Rev

Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2131 Rev 2292
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