/* Wakes up a thread waiting on a thread reference object.  */
void osalThreadResumeS(thread_reference_t *trp, msg_t msg)
/* Wakes up a thread waiting on a thread reference object.  */
void osalThreadResumeS(thread_reference_t *trp, msg_t msg)
{
    osalDbgCheck(trp != NULL);
    osalThreadResumeI(trp, msg);
}