libdsi.c
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015 #include "__socket.h"
00016 #include "__app.h"
00017 #include "__dataspace.h"
00018 #include "__event.h"
00019 #include "__error.h"
00020 #include <l4/dsi/dsi.h>
00021
00022 static int initialized;
00023
00024
00025
00026
00027 int
00028 dsi_init(void)
00029 {
00030 if(initialized) return 0;
00031 initialized=1;
00032
00033
00034 dsi_init_error();
00035
00036
00037 dsi_init_dataspaces();
00038
00039
00040 dsi_init_sockets();
00041
00042
00043 dsi_init_streams();
00044
00045
00046 dsi_init_event_signalling();
00047
00048 return 0;
00049 }
00050