Searched refs:idc_recv_msg_body (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/include/barrelfish_kpi/ | ||
| H A D | legacy_idc_buffer.h | 110 struct idc_recv_msg_body { struct 124 struct idc_recv_msg_body msg; ///< Actual transferred message content |
Completed in 32 milliseconds