rsmka_get_sendq_token
extern sendq_token_t *rsmka_get_sendq_token(rsm_node_id_t, sendq_token_t *);
sendq_token = rsmka_get_sendq_token(dest, used_sendq_token);