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

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dlegacy_idc_buffer.h42 #define IDC_MSG_LENGTH (IDC_SEND_LENGTH - IDC_SEND_HEADER_LENGTH) macro
103 uintptr_t words[IDC_MSG_LENGTH]; ///< Message payload
112 uintptr_t words[IDC_MSG_LENGTH]; ///< Message payload
161 if(msg->pos < IDC_MSG_LENGTH) {

Completed in 76 milliseconds