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

/barrelfish-master/include/barrelfish_kpi/
H A Dlegacy_idc_buffer.h31 #define IDC_SEND_HEADER_LENGTH 3 macro
33 #define IDC_SEND_HEADER_LENGTH 2 macro
42 #define IDC_MSG_LENGTH (IDC_SEND_LENGTH - IDC_SEND_HEADER_LENGTH)
68 uintptr_t raw[IDC_SEND_HEADER_LENGTH];
175 for (i = 0; i < IDC_SEND_HEADER_LENGTH; i++) {

Completed in 31 milliseconds