Searched refs:idc_export_flags_t (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/include/barrelfish/ | ||
H A D | idc.h | 33 } idc_export_flags_t; typedef in typeref:enum:idc_export_flags |
H A D | idc_export.h | 50 idc_export_flags_t flags; |
/barrelfish-master/doc/011-idc/ | ||
H A D | IDC.tex | 406 idc_export_flags_t flags); |
Completed in 38 milliseconds