786 extern void EvrRtxThreadFlagsWait (uint32_t flags, uint32_t options, uint32_t timeout);
788 #define EvrRtxThreadFlagsWait(flags, options, timeout)  argument
798 extern void EvrRtxThreadFlagsWaitPending (uint32_t flags, uint32_t options, uint32_t timeout);
800 #define EvrRtxThreadFlagsWaitPending(flags, options, timeout)  argument
821 extern void EvrRtxThreadFlagsWaitCompleted (uint32_t flags, uint32_t options, uint32_t thread_flags…
823 #define EvrRtxThreadFlagsWaitCompleted(flags, options, thread_flags, thread_id)  argument
832 extern void EvrRtxThreadFlagsWaitNotCompleted (uint32_t flags, uint32_t options);
834 #define EvrRtxThreadFlagsWaitNotCompleted(flags, options)  argument
1141 extern void EvrRtxEventFlagsWait (osEventFlagsId_t ef_id, uint32_t flags, uint32_t options, uint32_…
1143 #define EvrRtxEventFlagsWait(ef_id, flags, options, timeout)  argument
1154 extern void EvrRtxEventFlagsWaitPending (osEventFlagsId_t ef_id, uint32_t flags, uint32_t options, …
1156 #define EvrRtxEventFlagsWaitPending(ef_id, flags, options, timeout)  argument
1177 extern void EvrRtxEventFlagsWaitCompleted (osEventFlagsId_t ef_id, uint32_t flags, uint32_t options…
1179 #define EvrRtxEventFlagsWaitCompleted(ef_id, flags, options, event_flags)  argument
1189 …n void EvrRtxEventFlagsWaitNotCompleted (osEventFlagsId_t ef_id, uint32_t flags, uint32_t options);
1191 #define EvrRtxEventFlagsWaitNotCompleted(ef_id, flags, options)  argument