Searched refs:idc_bind_flags_t (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish/
H A Didc.h47 } idc_bind_flags_t; typedef in typeref:enum:idc_bind_flags
/barrelfish-2018-10-04/include/flounder/
H A Dflounder_support.h31 idc_bind_flags_t flags;
/barrelfish-2018-10-04/doc/011-idc/
H A DIDC.tex445 void *st, struct waitset *waitset, idc_bind_flags_t flags);

Completed in 36 milliseconds