00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013 #ifndef _DSI_DSI_H
00014 #define _DSI_DSI_H
00015
00016
00017 #include <l4/sys/types.h>
00018 #include <l4/env/cdefs.h>
00019
00020
00021 #include <l4/dsi/types.h>
00022 #include <l4/dsi/errno.h>
00023
00024
00025
00026
00027
00028 __BEGIN_DECLS;
00029
00030 int
00031 dsi_init(void);
00032
00033 void
00034 dsi_jcp_2_config(dsi_jcp_stream_t *jcp, dsi_stream_cfg_t *s_cfg);
00035
00036 extern int dsi_set_sync_thread_prio(int new_prio);
00037 extern int dsi_set_select_thread_prio(int new_prio);
00038 extern int dsi_set_event_thread_prio(int new_prio);
00039
00040
00041
00042
00043
00044
00045
00046
00047 int
00048 dsi_socket_create(dsi_jcp_stream_t jcp_stream, dsi_stream_cfg_t cfg,
00049 l4dm_dataspace_t * ctrl_ds, l4dm_dataspace_t * data_ds,
00050 l4_threadid_t work_id, l4_threadid_t * sync_id,
00051 l4_uint32_t flags, dsi_socket_t ** socket);
00052
00053 int
00054 dsi_socket_stop(dsi_socket_t * socket);
00055
00056 int
00057 dsi_socket_close(dsi_socket_t * socket);
00058
00059 int
00060 dsi_socket_connect(dsi_socket_t * socket,
00061 const dsi_socket_ref_t * remote_socket);
00062
00063 int
00064 dsi_socket_set_sync_callback(dsi_socket_t * socket,
00065 dsi_sync_callback_fn_t func);
00066
00067 int
00068 dsi_socket_set_release_callback(dsi_socket_t * socket,
00069 dsi_release_callback_fn_t func);
00070
00071 int
00072 dsi_socket_get_ref(dsi_socket_t * socket, dsi_socket_ref_t * ref);
00073
00074 int
00075 dsi_socket_get_descriptor(dsi_socketid_t id, dsi_socket_t ** socket);
00076
00077 int
00078 dsi_socket_get_data_area(dsi_socket_t * socket, void ** data_area,
00079 l4_size_t * area_size);
00080
00081 int
00082 dsi_socket_set_flags(dsi_socket_t * socket, l4_uint32_t flags);
00083
00084 int
00085 dsi_socket_clear_flags(dsi_socket_t * socket, l4_uint32_t flags);
00086
00087 int
00088 dsi_socket_test_flag(dsi_socket_t * socket, l4_uint32_t flag);
00089
00090 int
00091 dsi_socket_set_event(dsi_socket_t * socket, l4_uint32_t events);
00092
00093 int
00094 dsi_socket_share_ds(dsi_socket_t * socket, l4_threadid_t client);
00095
00096 int
00097 dsi_socket_get_packet_num(dsi_socket_t * socket);
00098
00099 int
00100 dsi_socket_get_num_committed_packets(dsi_socket_t * socket);
00101
00102
00103
00104
00105
00106 int
00107 dsi_packet_get(dsi_socket_t * socket, dsi_packet_t ** packet);
00108
00109 int
00110 dsi_packet_get_abort(dsi_socket_t * socket);
00111
00112 int
00113 dsi_packet_commit(dsi_socket_t * socket, dsi_packet_t * packet);
00114
00115 int
00116 dsi_packet_add_data(dsi_socket_t * socket, dsi_packet_t * packet,
00117 void *addr, l4_size_t size,
00118 l4_uint32_t flags);
00119
00120 int
00121 dsi_packet_get_data(dsi_socket_t * socket, dsi_packet_t * packet,
00122 void ** addr, l4_size_t * size);
00123
00124 int
00125 dsi_packet_set_no(dsi_socket_t * socket, dsi_packet_t * packet,
00126 l4_uint32_t no);
00127
00128 int
00129 dsi_packet_get_no(dsi_socket_t * socket, dsi_packet_t * packet,
00130 l4_uint32_t * no);
00131
00132 int
00133 dsi_packet_get_nr(dsi_socket_t * socket, unsigned nr, dsi_packet_t ** packet);
00134
00135
00136
00137
00138 void
00139 dsi_ds_set_dataspace_manager(l4_threadid_t id);
00140
00141 int
00142 dsi_ds_setup_ctrl_dataspace(l4dm_dataspace_t * ds, dsi_stream_cfg_t cfg);
00143
00144 int
00145 dsi_ds_create_ctrl_dataspace(dsi_stream_cfg_t cfg, l4dm_dataspace_t * ds);
00146
00147
00148
00149
00150
00151
00152 int
00153 dsi_stream_create(dsi_component_t * sender, dsi_component_t * receiver,
00154 l4dm_dataspace_t ctrl, l4dm_dataspace_t data,
00155 dsi_stream_t ** stream);
00156
00157 int
00158 dsi_stream_close(dsi_stream_t * stream);
00159
00160 int
00161 dsi_stream_start(dsi_stream_t * stream);
00162
00163 int
00164 dsi_stream_stop(dsi_stream_t * stream);
00165
00166 int
00167 dsi_stream_select(dsi_select_socket_t *sockets, const int num_sockets,
00168 dsi_select_socket_t *events, int * num_events);
00169
00170
00171
00172
00173
00174
00175 int dsi_thread_start_worker(dsi_socket_t * socket, l4_umword_t * ret_code);
00176 int dsi_thread_worker_wait(dsi_socket_t ** socket);
00177 int dsi_thread_worker_started(int ret_code);
00178 int dsi_socket_local_create(dsi_stream_cfg_t cfg, l4dm_dataspace_t *ctrl_ds,
00179 l4dm_dataspace_t *data_ds, l4_threadid_t work_id,
00180 l4_uint32_t flags, dsi_socket_t **socket,
00181 dsi_component_t *comp);
00182 int dsi_socket_local_close(dsi_component_t *comp);
00183 int dsi_socket_local_connect(dsi_component_t * comp,
00184 dsi_socket_ref_t * remote);
00185 int dsi_socket_local_stop(dsi_component_t * comp);
00186
00187 __END_DECLS;
00188
00189 #endif