rsmipc_reply_t
rsmipc_reply_t *reply)
static int rsmipc_send(rsm_node_id_t, rsmipc_request_t *, rsmipc_reply_t *);
rsmipc_reply_t reply;
size_t size = sizeof (rsmipc_reply_t);
rsmipc_reply_t reply;
rsmipc_send(rsm_node_id_t dest, rsmipc_request_t *req, rsmipc_reply_t *reply)
rsmipc_reply_t reply;