Introduction   API Reference   Files   Index  

cache.h File Reference

Cache functions. More...

#include <l4/sys/compiler.h>
#include <l4/sys/kdebug.h>

Go to the source code of this file.

Functions

EXTERN_C_BEGIN void l4_imb (void)
void l4_sys_cache_clean_range (unsigned long start, unsigned long end)
 Implemenations.
void l4_sys_cache_clean (void)
void l4_sys_cache_flush_range (unsigned long start, unsigned long end)
void l4_sys_cache_flush (void)
void l4_sys_cache_inv_range (unsigned long start, unsigned long end)
void l4_sys_cache_inv (void)


Detailed Description

Cache functions.

Date:
2007-11
Author:
Adam Lackorzynski <adam@os.inf.tu-dresden.de>

Definition in file ARCH-arm/cache.h.


Fiasco/L4 System Call C-Bindings Reference Manual,  © 1996-2008