l4/pkg/bootstrap/server/src/module.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 MODULE_H
   8 #define MODULE_H
   9
  10 #include <stddef.h>
  11 #include <l4/util/mb_info.h>
  12 #include <l4/sys/compiler.h>
  13
  14 EXTERN_C_BEGIN
  15
  16 void print_module_name(const char *name, const char *alt_name);
  17
  18 EXTERN_C_END
  19
  20 #endif