cache.h File Reference

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.

Detailed Description

Cache functions.

Definition in file cache.h.