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
5/*
6 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
7 * economic rights: Technische Universität Dresden (Germany)
8 *
9 * License: see LICENSE.spdx (in this directory or the directories above)
10 */
11#ifndef __L4SYS__INCLUDE__ARCH_AMD64__CACHE_H__
12#define __L4SYS__INCLUDE__ARCH_AMD64__CACHE_H__
13
14#include_next <l4/sys/cache.h>
15
16L4_INLINE int
17l4_cache_clean_data(unsigned long start,
18 unsigned long end) L4_NOTHROW
19{
20 (void)start; (void)end;
21 return 0;
22}
23
24L4_INLINE int
25l4_cache_flush_data(unsigned long start,
26 unsigned long end) L4_NOTHROW
27{
28 (void)start; (void)end;
29 return 0;
30}
31
32L4_INLINE int
33l4_cache_inv_data(unsigned long start,
34 unsigned long end) L4_NOTHROW
35{
36 (void)start; (void)end;
37 return 0;
38}
39
40L4_INLINE int
41l4_cache_coherent(unsigned long start,
42 unsigned long end) L4_NOTHROW
43{
44 (void)start; (void)end;
45 return 0;
46}
47
48L4_INLINE int
49l4_cache_dma_coherent(unsigned long start,
50 unsigned long end) L4_NOTHROW
51{
52 (void)start; (void)end;
53 return 0;
54}
55
56L4_INLINE int
57l4_cache_dma_coherent_full(void) L4_NOTHROW
58{
59 return 0;
60}
61
62#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:159
L4_INLINE
#define L4_INLINE
L4 Inline function attribute.
Definition compiler.h:51