l4/pkg/l4sys/include/ARCH-amd64/cache.h

   1 /**
   2  * \file
   3  * \brief  Cache functions
   4  */
   5 /*
   6  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
   7  *     economic rights: Technische Universität Dresden (Germany)
   8  *
   9  * This file is part of TUD:OS and distributed under the terms of the
  10  * GNU General Public License 2.
  11  * Please see the COPYING-GPL-2 file for details.
  12  *
  13  * As a special exception, you may use this file as part of a free software
  14  * library without restriction.  Specifically, if other files instantiate
  15  * templates or use macros or inline functions from this file, or you compile
  16  * this file and link it with other files to produce an executable, this
  17  * file does not by itself cause the resulting executable to be covered by
  18  * the GNU General Public License.  This exception does not however
  19  * invalidate any other reasons why the executable file might be covered by
  20  * the GNU General Public License.
  21  */
  22 #ifndef __L4SYS__INCLUDE__ARCH_AMD64__CACHE_H__
  23 #define __L4SYS__INCLUDE__ARCH_AMD64__CACHE_H__
  24
  25 #include_next <l4/sys/cache.h>
  26
  27 L4_INLINE void
  28 l4_cache_clean_data(unsigned long start,
  29                     unsigned long end) L4_NOTHROW
  30 {
  31   (void)start; (void)end;
  32 }
  33
  34 L4_INLINE void
  35 l4_cache_flush_data(unsigned long start,
  36                     unsigned long end) L4_NOTHROW
  37 {
  38   (void)start; (void)end;
  39 }
  40
  41 L4_INLINE void
  42 l4_cache_inv_data(unsigned long start,
  43                   unsigned long end) L4_NOTHROW
  44 {
  45   (void)start; (void)end;
  46 }
  47
  48 L4_INLINE void
  49 l4_cache_coherent(unsigned long start,
  50                   unsigned long end) L4_NOTHROW
  51 {
  52   (void)start; (void)end;
  53 }
  54
  55 L4_INLINE void
  56 l4_cache_dma_coherent(unsigned long start,
  57                       unsigned long end) L4_NOTHROW
  58 {
  59   (void)start; (void)end;
  60 }
  61
  62 L4_INLINE void
  63 l4_cache_dma_coherent_full(void) L4_NOTHROW
  64 {
  65 }
  66
  67 #endif /* ! __L4SYS__INCLUDE__ARCH_AMD64__CACHE_H__ */