L4Re Operating System Framework
Interface and Usage Documentation
•All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
cache.h
Go to the documentation of this file.
1
10/*
11 * (c) 2007-2009 Author(s)
12 * economic rights: Technische Universität Dresden (Germany)
13 *
14 * License: see LICENSE.spdx (in this directory or the directories above)
15 */
16
17#ifndef __L4SYS__INCLUDE__CACHE_H__
18#define __L4SYS__INCLUDE__CACHE_H__
19
20#include <l4/sys/compiler.h>
21
37__BEGIN_DECLS
38
53L4_INLINE int
54l4_cache_clean_data(unsigned long start,
55 unsigned long end) L4_NOTHROW;
56
71L4_INLINE int
72l4_cache_flush_data(unsigned long start,
73 unsigned long end) L4_NOTHROW;
74
93L4_INLINE int
94l4_cache_inv_data(unsigned long start,
95 unsigned long end) L4_NOTHROW;
96
108L4_INLINE int
109l4_cache_coherent(unsigned long start,
110 unsigned long end) L4_NOTHROW;
111
123L4_INLINE int
124l4_cache_dma_coherent(unsigned long start,
125 unsigned long end) L4_NOTHROW;
126
127#if !defined(ARCH_arm64)
132L4_INLINE int
133l4_cache_dma_coherent_full(void) L4_NOTHROW;
134#endif
135
136__END_DECLS
137
138#endif /* ! __L4SYS__INCLUDE__CACHE_H__ */
compiler.h
L4 compiler related defines.
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
__END_DECLS
#define __END_DECLS
End section with C types and functions.
Definition compiler.h:167
L4_NOTHROW
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
Definition compiler.h:159
L4_INLINE
#define L4_INLINE
L4 Inline function attribute.
Definition compiler.h:51
__BEGIN_DECLS
#define __BEGIN_DECLS
Start section with C types and functions.
Definition compiler.h:164