22 #ifndef __L4SYS__INCLUDE__ARCH_AMD64__CACHE_H__ 23 #define __L4SYS__INCLUDE__ARCH_AMD64__CACHE_H__ 25 #include_next <l4/sys/cache.h> 31 (void)start; (void)end;
39 (void)start; (void)end;
47 (void)start; (void)end;
55 (void)start; (void)end;
63 (void)start; (void)end;
int l4_cache_coherent(unsigned long start, unsigned long end) L4_NOTHROW
Make memory coherent between I-cache and D-cache.
int l4_cache_flush_data(unsigned long start, unsigned long end) L4_NOTHROW
Cache flush a range.
int l4_cache_dma_coherent_full(void) L4_NOTHROW
Make memory coherent for use with external memory.
int l4_cache_clean_data(unsigned long start, unsigned long end) L4_NOTHROW
Cache clean a range in D-cache.
int l4_cache_dma_coherent(unsigned long start, unsigned long end) L4_NOTHROW
Make memory coherent for use with external memory.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
int l4_cache_inv_data(unsigned long start, unsigned long end) L4_NOTHROW
Cache invalidate a range.