/* Block running Thread execution and register it as Ready to Run.  */
static void osRtxThreadBlock(os_thread_t *thread)
/* Block running Thread execution and register it as Ready to Run.  */
static void osRtxThreadBlock(os_thread_t *thread)
{
    prev = next;
    next = next->thread_next;
  }
  thread->thread_prev = prev;
  thread->thread_next = next;
  prev->thread_next = thread;
  if (next != NULL) {
    next->thread_prev = thread;
  }
  EvrRtxThreadPreempted(thread);
}