HelenOS sources

ddi_init           62 kernel/generic/include/ddi/ddi.h extern void ddi_init(void);
ddi_init          225 kernel/generic/src/main/main.c 	ddi_init();