/* Suspends the invoking thread for the specified time.  */
void osalThreadSleep(sysinterval_t time)
/* Suspends the invoking thread for the specified time.  */
void osalThreadSleep(sysinterval_t time)
{
    osalSysLock();
    tx_thread_sleep(time);
    osalSysUnlock();
}