/* Clear the specified Signal Flags of an active thread.  */
int32_t osSignalClear(osThreadId thread_id, int32_t signals)
/* Clear the specified Signal Flags of an active thread.  */
int32_t osSignalClear(osThreadId thread_id, int32_t signals)
{
    return (int32_t)0x80000000U;
  }
  return __svcSignalClear(thread_id, signals);
}