2018-02-18 22:11:11 +00:00
|
|
|
#ifndef EXOSPHERE_CACHE_H
|
|
|
|
#define EXOSPHERE_CACHE_H
|
|
|
|
|
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
void tlb_invalidate_all(void);
|
|
|
|
void tlb_invalidate_all_inner_shareable(void);
|
|
|
|
|
2018-02-25 19:00:50 +00:00
|
|
|
void tlb_invalidate_page(const volatile void *page);
|
2018-02-18 22:11:11 +00:00
|
|
|
void tlb_invalidate_page_inner_shareable(const void *page);
|
|
|
|
|
|
|
|
void flush_dcache_all(void);
|
|
|
|
void invalidate_dcache_all(void);
|
|
|
|
|
|
|
|
void flush_dcache_range(const void *start, const void *end);
|
|
|
|
void invalidate_dcache_range(const void *start, const void *end);
|
|
|
|
|
2018-02-18 22:45:44 +00:00
|
|
|
void invalidate_icache_inner_shareable(void);
|
2018-02-18 22:11:11 +00:00
|
|
|
|
|
|
|
#endif
|