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

/barrelfish-master/include/barrelfish_kpi/
H A Dlegacy_idc_buffer.h25 #define IDC_SEND_LENGTH 12 macro
42 #define IDC_MSG_LENGTH (IDC_SEND_LENGTH - IDC_SEND_HEADER_LENGTH)
99 uintptr_t raw[IDC_SEND_LENGTH]; ///< Raw message contents

Completed in 22 milliseconds