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

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dlegacy_idc_buffer.h116 struct idc_send_msg { struct
127 static inline uintptr_t *idc_get_raw(struct idc_send_msg *msg)
159 static inline void idc_msg_encode_word(struct idc_send_msg *msg, uintptr_t word)
171 static inline void idc_msg_init(struct idc_send_msg *msg)
185 static inline void idc_msg_set_async(struct idc_send_msg *msg)
/barrelfish-2018-10-04/usr/bench/
H A Dbench.c224 struct idc_send_msg msg;
235 struct idc_send_msg msg;
/barrelfish-2018-10-04/usr/monitor/include/arch/x86_32/
H A Dmonitor_invocations_arch.h121 struct idc_send_msg msg;
135 struct idc_send_msg msg;

Completed in 45 milliseconds