l4/pkg/sigma0/server/src/memmap.h

   1 /*
   2  * (c) 2008-2009 Technische Universität Dresden
   3  * This file is part of TUD:OS and distributed under the terms of the
   4  * GNU General Public License 2.
   5  * Please see the COPYING-GPL-2 file for details.
   6  */
   7 #ifndef MEMMAP_H
   8 #define MEMMAP_H
   9
  10 #include <l4/sys/compiler.h>
  11 #include <l4/sys/types.h>
  12 #include <l4/sys/kip.h>
  13
  14 #include "mem_man.h"
  15 #include "globals.h"
  16
  17
  18 extern Mem_man iomem;
  19
  20 extern l4_kernel_info_t *l4_info;
  21 extern l4_addr_t        tbuf_status;
  22
  23 #ifdef __cplusplus
  24 extern "C" {
  25 #endif
  26 void pager(void) L4_NORETURN;
  27 void dump_all(void);
  28
  29 #ifdef __cplusplus
  30 }
  31 #endif
  32
  33
  34 #endif