L4Re Operating System Framework
Interface and Usage Documentation
|
Cache functions. More...
Go to the source code of this file.
Functions | |
int | l4_cache_clean_data (unsigned long start, unsigned long end) L4_NOTHROW |
Cache clean a range in D-cache; writes back to PoC. | |
int | l4_cache_flush_data (unsigned long start, unsigned long end) L4_NOTHROW |
Cache flush a range; writes back to PoC. | |
int | l4_cache_inv_data (unsigned long start, unsigned long end) L4_NOTHROW |
Cache invalidate a range; might write back to PoC. | |
int | l4_cache_coherent (unsigned long start, unsigned long end) L4_NOTHROW |
Make memory coherent between I-cache and D-cache; writes back to PoU. | |
int | l4_cache_dma_coherent (unsigned long start, unsigned long end) L4_NOTHROW |
Make memory coherent for use with external memory; writes back to PoC. | |
int | l4_cache_dma_coherent_full (void) L4_NOTHROW |
Make memory coherent for use with external memory; writes back to PoC. | |
Cache functions.
Definition in file cache.h.