init.c File Reference

Go to the source code of this file.

Functions
static void	ddekit_init_l4io (void)
	The functions regarding DDE/BSD initialization are found here.
void	ddekit_init (void)
	Initialize the DDE.

---

Function Documentation

void ddekit_init

(

void

)

Initialize the DDE.

Must be called before any other DDE function.

FIXME revisit this one

Definition at line 30 of file ddekit/src/init.c.

static void ddekit_init_l4io

(

void

)

[static]

The functions regarding DDE/BSD initialization are found here.

Author:

Thomas Friebel <tf13@os.inf.tu-dresden.de>

Definition at line 17 of file ddekit/src/init.c.