Loading...
Searching...
No Matches
cache.h
Go to the documentation of this file.
/*
* (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
* economic rights: Technische Universität Dresden (Germany)
*
* License: see LICENSE.spdx (in this directory or the directories above)
*/
#ifndef __L4SYS__INCLUDE__ARCH_AMD64__CACHE_H__
#define __L4SYS__INCLUDE__ARCH_AMD64__CACHE_H__
#include_next <l4/sys/cache.h>
L4_INLINE int
l4_cache_clean_data(unsigned long start,
unsigned long end) L4_NOTHROW
{
(void)start; (void)end;
return 0;
}
L4_INLINE int
l4_cache_flush_data(unsigned long start,
unsigned long end) L4_NOTHROW
{
(void)start; (void)end;
return 0;
}
L4_INLINE int
l4_cache_inv_data(unsigned long start,
unsigned long end) L4_NOTHROW
{
(void)start; (void)end;
return 0;
}
L4_INLINE int
l4_cache_coherent(unsigned long start,
unsigned long end) L4_NOTHROW
{
(void)start; (void)end;
return 0;
}
L4_INLINE int
l4_cache_dma_coherent(unsigned long start,
unsigned long end) L4_NOTHROW
{
(void)start; (void)end;
return 0;
}
L4_INLINE int
l4_cache_dma_coherent_full(void) L4_NOTHROW
{
return 0;
}
#endif /* ! __L4SYS__INCLUDE__ARCH_AMD64__CACHE_H__ */
l4_cache_dma_coherent
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.
Definition cache.h:49
l4_cache_dma_coherent_full
int l4_cache_dma_coherent_full(void) L4_NOTHROW
Make memory coherent for use with external memory; writes back to PoC.
Definition cache.h:57
l4_cache_flush_data
int l4_cache_flush_data(unsigned long start, unsigned long end) L4_NOTHROW
Cache flush a range; writes back to PoC.
Definition cache.h:25
l4_cache_coherent
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.
Definition cache.h:41
l4_cache_clean_data
int l4_cache_clean_data(unsigned long start, unsigned long end) L4_NOTHROW
Cache clean a range in D-cache; writes back to PoC.
Definition cache.h:17
l4_cache_inv_data
int l4_cache_inv_data(unsigned long start, unsigned long end) L4_NOTHROW
Cache invalidate a range; might write back to PoC.
Definition cache.h:33
L4_NOTHROW
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
Definition compiler.h:161
L4_INLINE
#define L4_INLINE
L4 Inline function attribute.
Definition compiler.h:51