libddekit/dde.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#ifndef l4_ddekit_h
#define l4_ddekit_h

/* FIXME if this is ddekit.h, it should be moved into dde/ddekit/include/ddekit.h (also
 * all headers under include/ddekit) */

/**
 * Initialize the DDE. Must be called before any other DDE function.
 *
 * FIXME revisit this one
 */
void ddekit_init(void);

#endif