Subversion Repositories HelenOS

Rev

Rev 2089 | 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