static void pdu_receive_proxy(struct pdu *pdu) { size_t len; assert(proxy_mode); kernel_receive(pdu); len = pdu_ahs_length(pdu); if (len > 0) log_errx(1, "protocol error: non-empty AHS"); len = pdu_data_segment_length(pdu); assert(len <= MAX_DATA_SEGMENT_LENGTH); pdu->pdu_data_len = len; }
void do_invoke(int pid, void *message) { kernel_send(pid, message); kernel_receive(message); }