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

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dlegacy_idc_buffer.h127 static inline uintptr_t *idc_get_raw(struct idc_send_msg *msg) function

Completed in 80 milliseconds