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

/barrelfish-master/usr/monitor/include/arch/x86_32/
H A Dmonitor_invocations_arch.h123 idc_msg_encode_word(&msg, KernelCmd_Setup_trace);
124 idc_msg_encode_word(&msg, get_cap_addr(cap));
137 idc_msg_encode_word(&msg, KernelCmd_Domain_Id);
138 idc_msg_encode_word(&msg, get_cap_addr(cap));
139 idc_msg_encode_word(&msg, domain_id);
/barrelfish-master/include/barrelfish_kpi/
H A Dlegacy_idc_buffer.h159 static inline void idc_msg_encode_word(struct idc_send_msg *msg, uintptr_t word) function

Completed in 99 milliseconds