Searched refs:idc_export_callback_fn (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Didc_export.h23 typedef void idc_export_callback_fn(void *st, errval_t err, iref_t iref); typedef
51 idc_export_callback_fn *export_callback;
/barrelfish-master/doc/011-idc/
H A DIDC.tex401 typedef void idc_export_callback_fn(void *st, errval_t err, iref_t iref);
404 errval_t iface_export(void *st, idc_export_callback_fn *export_cb,

Completed in 76 milliseconds