l4/pkg/dde/include/dde.h

   1 /*
   2  * This file is part of DDEKit.
   3  *
   4  * (c) 2006-2010 Bjoern Doebel <doebel@os.inf.tu-dresden.de>
   5  *               Christian Helmuth <ch12@os.inf.tu-dresden.de>
   6  *               Thomas Friebel <tf13@os.inf.tu-dresden.de>
   7  *     economic rights: Technische Universitaet 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
  14 #ifndef l4_ddekit_h
  15 #define l4_ddekit_h
  16
  17 /* FIXME if this is ddekit.h, it should be moved into dde/ddekit/include/ddekit.h (also
  18  * all headers under include/ddekit) */
  19
  20 /**
  21  * Initialize the DDE. Must be called before any other DDE function.
  22  *
  23  * FIXME revisit this one
  24  */
  25 void ddekit_init(void);
  26 void ddekit_do_initcalls(void);
  27
  28 #endif