/* Set the specified Signal Flags of an active thread.  */
int32_t osSignalSet(osThreadId thread_id, int32_t signals)
/* Set the specified Signal Flags of an active thread.  */
int32_t osSignalSet(osThreadId thread_id, int32_t signals)
{
    return   isrSignalSet(thread_id, signals); 
  } else {
    return __svcSignalSet(thread_id, signals);
  }
}