/* Send data through an IPC channel with no reply.  */
rt_err_t rt_raw_channel_send(rt_channel_t ch, rt_channel_msg_t data)
/* Send data through an IPC channel with no reply.  */
rt_err_t rt_raw_channel_send(rt_channel_t ch, rt_channel_msg_t data)
{
    return _send_recv_timeout(ch, data, 0, 0, RT_WAITING_FOREVER);
}