Searched refs:idc_export (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/lib/barrelfish/
H A Didc.c17 #include <barrelfish/idc_export.h>
H A Didc_export.c16 #include <barrelfish/idc_export.h>
23 struct idc_export *e = (void *)service_id;
33 struct idc_export *e;
40 struct idc_export *e = st->e;
66 errval_t idc_export_service(struct idc_export *e)
87 struct idc_export *e;
110 errval_t idc_get_service(iref_t iref, struct idc_export **e)
138 *e = (struct idc_export *)mb->rx_union.get_service_id_reply.service_id;
H A Dmultihop_chan.c17 #include <barrelfish/idc_export.h>
262 struct idc_export *e = (void *) service_id;
H A Dlmp_chan.c20 #include <barrelfish/idc_export.h>
255 struct idc_export *e = (void *)service_id;
H A Dump_chan.c18 #include <barrelfish/idc_export.h>
146 struct idc_export *e = (void *)service_id;
/barrelfish-master/include/flounder/
H A Dflounder.h21 #include <barrelfish/idc_export.h>
/barrelfish-master/include/barrelfish/
H A Didc_export.h48 struct idc_export { struct
71 errval_t idc_export_service(struct idc_export *e);
72 errval_t idc_get_service(iref_t iref, struct idc_export **e);
/barrelfish-master/include/thc/
H A Dthcstubs.h15 #include <barrelfish/idc_export.h>

Completed in 78 milliseconds