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

/barrelfish-master/include/barrelfish_kpi/
H A Dlegacy_idc_buffer.h49 typedef unsigned int idc_flag_t; typedef
51 typedef unsigned int idc_flag_t; typedef
53 typedef uint8_t idc_flag_t; typedef
71 idc_flag_t sync :1; ///< Synchronous call (yields caller's timeslice)
72 idc_flag_t yield :1; ///< Yield to receiver if disabled/unable to transfer
89 idc_flag_t captransfer :1; ///< A cap was transferred

Completed in 77 milliseconds