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

/barrelfish-master/include/barrelfish_kpi/
H A Dlegacy_idc_buffer.h171 static inline void idc_msg_init(struct idc_send_msg *msg) function
/barrelfish-master/usr/bench/
H A Dbench.c226 idc_msg_init(&msg);
243 idc_msg_init(&msg);
/barrelfish-master/usr/monitor/include/arch/x86_32/
H A Dmonitor_invocations_arch.h122 idc_msg_init(&msg);
136 idc_msg_init(&msg);

Completed in 39 milliseconds