/* Wakes up a thread waiting on a thread reference object.  */
void osalThreadResumeI(thread_reference_t *trp, msg_t msg)
/* Wakes up a thread waiting on a thread reference object.  */
void osalThreadResumeI(thread_reference_t *trp, msg_t msg)
{
    osalDbgCheck(trp != NULL);
    if (*trp != NULL)
    {
        thread_t *tp = *trp;
        tp->message = msg;
        tx_thread_resume(tp->handle);
    }
}