/* Wait for one or more Event Flags to become signaled.  */
__STATIC_INLINE uint32_t isrRtxEventFlagsWait(osEventFlagsId_t ef_id, uint32_t flags, uint32_t options, uint32_t timeout)
/* Wait for one or more Event Flags to become signaled.  */
__STATIC_INLINE uint32_t isrRtxEventFlagsWait(osEventFlagsId_t ef_id, uint32_t flags, uint32_t options, uint32_t timeout)
{
    EvrRtxEventFlagsError(ef, (int32_t)osErrorParameter);
    return ((uint32_t)osErrorParameter);
  }
  event_flags = EventFlagsCheck(ef, flags, options);
  if (event_flags != 0U) {
    EvrRtxEventFlagsWaitCompleted(ef, flags, options, event_flags);
  } else {
    EvrRtxEventFlagsWaitNotCompleted(ef, flags, options);
    event_flags = (uint32_t)osErrorResource;
  }
  return event_flags;
}