/* Pass control to next thread that is in state READY.  */
osStatus_t osThreadYield(void)
/* Pass control to next thread that is in state READY.  */
osStatus_t osThreadYield(void)
{
    EvrRtxThreadError(NULL, (int32_t)osErrorISR);
    status = osErrorISR;
  } else {
    status = __svcThreadYield();
  }
  return status;
}