l4/pkg/l4re_kernel/server/src/globals.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 #pragma once
   8
   9 #include <l4/sys/types.h>
  10 #include <l4/re/mem_alloc>
  11 #include <l4/re/util/bitmap_cap_alloc>
  12 #include <l4/re/env>
  13 #include <l4/re/l4aux.h>
  14
  15 class Region_map;
  16
  17 namespace Global
  18 {
  19   enum
  20   {
  21     Max_local_rm_caps = 1024,
  22     Local_task_cap    = 0,
  23   };
  24   typedef L4Re::Util::Cap_alloc<Max_local_rm_caps>  Cap_alloc;
  25   extern Region_map *local_rm;
  26   extern L4::Cap<L4Re::Mem_alloc> allocator;
  27   extern Cap_alloc cap_alloc;
  28   extern char const *const *argv;
  29   extern char const *const *envp;
  30   extern int argc;
  31   extern l4re_aux_t *l4re_aux;
  32 };