/* Set the specified Signal Flags of an active thread.  */
int32_t svcSignalSet(osThreadId thread_id, int32_t signals)
/* Set the specified Signal Flags of an active thread.  */
int32_t svcSignalSet(osThreadId thread_id, int32_t signals)
{
    return (int32_t)0x80000000U;
  }
  if ((uint32_t)signals & (0xFFFFFFFFU << osFeature_Signals)) {
    return (int32_t)0x80000000U;
  }
  sig = (int32_t)ptcb->events;
  rt_evt_set((uint16_t)signals, ptcb->task_id);
  return sig;
}