29 #include "cmsis_os2.h" 30 #include "RTX_Config.h" 34 #ifndef OS_EVR_THFLAGS 35 #define OS_EVR_THFLAGS OS_EVR_THREAD 38 #define OS_EVR_WAIT OS_EVR_THREAD 42 #include "RTE_Components.h" 45 #ifdef RTE_Compiler_EventRecorder 49 #include "EventRecorder.h" 50 #include "EventRecorderConf.h" 52 #if ((defined(OS_EVR_INIT) && (OS_EVR_INIT != 0)) || (EVENT_TIMESTAMP_SOURCE == 2)) 53 #ifndef EVR_RTX_KERNEL_GET_STATE_DISABLE 54 #define EVR_RTX_KERNEL_GET_STATE_DISABLE 58 #if (EVENT_TIMESTAMP_SOURCE == 2) 59 #ifndef EVR_RTX_KERNEL_GET_SYS_TIMER_COUNT_DISABLE 60 #define EVR_RTX_KERNEL_GET_SYS_TIMER_COUNT_DISABLE 62 #ifndef EVR_RTX_KERNEL_GET_SYS_TIMER_FREQ_DISABLE 63 #define EVR_RTX_KERNEL_GET_SYS_TIMER_FREQ_DISABLE 68 #define EvtRtxMemoryNo (0xF0U) 69 #define EvtRtxKernelNo (0xF1U) 70 #define EvtRtxThreadNo (0xF2U) 71 #define EvtRtxThreadFlagsNo (0xF4U) 72 #define EvtRtxWaitNo (0xF3U) 73 #define EvtRtxTimerNo (0xF6U) 74 #define EvtRtxEventFlagsNo (0xF5U) 75 #define EvtRtxMutexNo (0xF7U) 76 #define EvtRtxSemaphoreNo (0xF8U) 77 #define EvtRtxMemoryPoolNo (0xF9U) 78 #define EvtRtxMessageQueueNo (0xFAU) 80 #endif // RTE_Compiler_EventRecorder 84 #define osRtxErrorKernelNotReady (-7) 85 #define osRtxErrorKernelNotRunning (-8) 86 #define osRtxErrorInvalidControlBlock (-9) 87 #define osRtxErrorInvalidDataMemory (-10) 88 #define osRtxErrorInvalidThreadStack (-11) 89 #define osRtxErrorInvalidPriority (-12) 90 #define osRtxErrorThreadNotJoinable (-13) 91 #define osRtxErrorMutexNotOwned (-14) 92 #define osRtxErrorMutexNotLocked (-15) 93 #define osRtxErrorMutexLockLimit (-16) 94 #define osRtxErrorSemaphoreCountLimit (-17) 95 #define osRtxErrorTZ_InitContext_S (-18) 96 #define osRtxErrorTZ_AllocContext_S (-19) 97 #define osRtxErrorTZ_FreeContext_S (-20) 98 #define osRtxErrorTZ_LoadContext_S (-21) 99 #define osRtxErrorTZ_SaveContext_S (-22) 110 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMORY != 0) && !defined(EVR_RTX_MEMORY_INIT_DISABLE)) 111 extern void EvrRtxMemoryInit (
void *mem, uint32_t size, uint32_t result);
113 #define EvrRtxMemoryInit(mem, size, result) 123 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMORY != 0) && !defined(EVR_RTX_MEMORY_ALLOC_DISABLE)) 124 extern void EvrRtxMemoryAlloc (
void *mem, uint32_t size, uint32_t type,
void *block);
126 #define EvrRtxMemoryAlloc(mem, size, type, block) 135 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMORY != 0) && !defined(EVR_RTX_MEMORY_FREE_DISABLE)) 136 extern void EvrRtxMemoryFree (
void *mem,
void *block, uint32_t result);
138 #define EvrRtxMemoryFree(mem, block, result) 148 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMORY != 0) && !defined(EVR_RTX_MEMORY_BLOCK_INIT_DISABLE)) 149 extern void EvrRtxMemoryBlockInit (
osRtxMpInfo_t *mp_info, uint32_t block_count, uint32_t block_size,
void *block_mem);
151 #define EvrRtxMemoryBlockInit(mp_info, block_count, block_size, block_mem) 159 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMORY != 0) && !defined(EVR_RTX_MEMORY_BLOCK_ALLOC_DISABLE)) 160 extern void EvrRtxMemoryBlockAlloc (
osRtxMpInfo_t *mp_info,
void *block);
162 #define EvrRtxMemoryBlockAlloc(mp_info, block) 171 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMORY != 0) && !defined(EVR_RTX_MEMORY_BLOCK_FREE_DISABLE)) 172 extern void EvrRtxMemoryBlockFree (
osRtxMpInfo_t *mp_info,
void *block, int32_t status);
174 #define EvrRtxMemoryBlockFree(mp_info, block, status) 184 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_ERROR_DISABLE)) 185 extern void EvrRtxKernelError (int32_t status);
187 #define EvrRtxKernelError(status) 193 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_INITIALIZE_DISABLE)) 194 extern void EvrRtxKernelInitialize (
void);
196 #define EvrRtxKernelInitialize() 202 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_INITIALIZED_DISABLE)) 203 extern void EvrRtxKernelInitialized (
void);
205 #define EvrRtxKernelInitialized() 214 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_GET_INFO_DISABLE)) 215 extern void EvrRtxKernelGetInfo (
osVersion_t *version,
char *id_buf, uint32_t id_size);
217 #define EvrRtxKernelGetInfo(version, id_buf, id_size) 226 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_INFO_RETRIEVED_DISABLE)) 227 extern void EvrRtxKernelInfoRetrieved (
const osVersion_t *version,
const char *id_buf, uint32_t id_size);
229 #define EvrRtxKernelInfoRetrieved(version, id_buf, id_size) 236 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_GET_STATE_DISABLE)) 237 extern void EvrRtxKernelGetState (osKernelState_t state);
239 #define EvrRtxKernelGetState(state) 245 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_START_DISABLE)) 246 extern void EvrRtxKernelStart (
void);
248 #define EvrRtxKernelStart() 254 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_STARTED_DISABLE)) 255 extern void EvrRtxKernelStarted (
void);
257 #define EvrRtxKernelStarted() 263 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_LOCK_DISABLE)) 264 extern void EvrRtxKernelLock (
void);
266 #define EvrRtxKernelLock() 273 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_LOCKED_DISABLE)) 274 extern void EvrRtxKernelLocked (int32_t lock);
276 #define EvrRtxKernelLocked(lock) 282 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_UNLOCK_DISABLE)) 283 extern void EvrRtxKernelUnlock (
void);
285 #define EvrRtxKernelUnlock() 292 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_UNLOCKED_DISABLE)) 293 extern void EvrRtxKernelUnlocked (int32_t lock);
295 #define EvrRtxKernelUnlocked(lock) 302 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_RESTORE_LOCK_DISABLE)) 303 extern void EvrRtxKernelRestoreLock (int32_t lock);
305 #define EvrRtxKernelRestoreLock(lock) 312 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_LOCK_RESTORED_DISABLE)) 313 extern void EvrRtxKernelLockRestored (int32_t lock);
315 #define EvrRtxKernelLockRestored(lock) 321 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_SUSPEND_DISABLE)) 322 extern void EvrRtxKernelSuspend (
void);
324 #define EvrRtxKernelSuspend() 331 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_SUSPENDED_DISABLE)) 332 extern void EvrRtxKernelSuspended (uint32_t sleep_ticks);
334 #define EvrRtxKernelSuspended(sleep_ticks) 341 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_RESUME_DISABLE)) 342 extern void EvrRtxKernelResume (uint32_t sleep_ticks);
344 #define EvrRtxKernelResume(sleep_ticks) 350 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_RESUMED_DISABLE)) 351 extern void EvrRtxKernelResumed (
void);
353 #define EvrRtxKernelResumed() 360 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_GET_TICK_COUNT_DISABLE)) 361 extern void EvrRtxKernelGetTickCount (uint32_t count);
363 #define EvrRtxKernelGetTickCount(count) 370 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_GET_TICK_FREQ_DISABLE)) 371 extern void EvrRtxKernelGetTickFreq (uint32_t freq);
373 #define EvrRtxKernelGetTickFreq(freq) 380 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_GET_SYS_TIMER_COUNT_DISABLE)) 381 extern void EvrRtxKernelGetSysTimerCount (uint32_t count);
383 #define EvrRtxKernelGetSysTimerCount(count) 390 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_KERNEL != 0) && !defined(EVR_RTX_KERNEL_GET_SYS_TIMER_FREQ_DISABLE)) 391 extern void EvrRtxKernelGetSysTimerFreq (uint32_t freq);
393 #define EvrRtxKernelGetSysTimerFreq(freq) 404 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_ERROR_DISABLE)) 405 extern void EvrRtxThreadError (osThreadId_t thread_id, int32_t status);
407 #define EvrRtxThreadError(thread_id, status) 416 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_NEW_DISABLE)) 417 extern void EvrRtxThreadNew (osThreadFunc_t func,
void *argument,
const osThreadAttr_t *attr);
419 #define EvrRtxThreadNew(func, argument, attr) 428 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_CREATED_DISABLE)) 429 extern void EvrRtxThreadCreated (osThreadId_t thread_id, uint32_t thread_addr,
const char *name);
431 #define EvrRtxThreadCreated(thread_id, thread_addr, name) 439 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_GET_NAME_DISABLE)) 440 extern void EvrRtxThreadGetName (osThreadId_t thread_id,
const char *name);
442 #define EvrRtxThreadGetName(thread_id, name) 449 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_GET_ID_DISABLE)) 450 extern void EvrRtxThreadGetId (osThreadId_t thread_id);
452 #define EvrRtxThreadGetId(thread_id) 460 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_GET_STATE_DISABLE)) 461 extern void EvrRtxThreadGetState (osThreadId_t thread_id, osThreadState_t state);
463 #define EvrRtxThreadGetState(thread_id, state) 471 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_GET_STACK_SIZE_DISABLE)) 472 extern void EvrRtxThreadGetStackSize (osThreadId_t thread_id, uint32_t stack_size);
474 #define EvrRtxThreadGetStackSize(thread_id, stack_size) 482 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_GET_STACK_SPACE_DISABLE)) 483 extern void EvrRtxThreadGetStackSpace (osThreadId_t thread_id, uint32_t stack_space);
485 #define EvrRtxThreadGetStackSpace(thread_id, stack_space) 493 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_SET_PRIORITY_DISABLE)) 494 extern void EvrRtxThreadSetPriority (osThreadId_t thread_id, osPriority_t priority);
496 #define EvrRtxThreadSetPriority(thread_id, priority) 504 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_PRIORITY_UPDATED_DISABLE)) 505 extern void EvrRtxThreadPriorityUpdated (osThreadId_t thread_id, osPriority_t priority);
507 #define EvrRtxThreadPriorityUpdated(thread_id, priority) 515 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_GET_PRIORITY_DISABLE)) 516 extern void EvrRtxThreadGetPriority (osThreadId_t thread_id, osPriority_t priority);
518 #define EvrRtxThreadGetPriority(thread_id, priority) 524 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_YIELD_DISABLE)) 525 extern void EvrRtxThreadYield (
void);
527 #define EvrRtxThreadYield() 534 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_SUSPEND_DISABLE)) 535 extern void EvrRtxThreadSuspend (osThreadId_t thread_id);
537 #define EvrRtxThreadSuspend(thread_id) 544 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_SUSPENDED_DISABLE)) 545 extern void EvrRtxThreadSuspended (osThreadId_t thread_id);
547 #define EvrRtxThreadSuspended(thread_id) 554 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_RESUME_DISABLE)) 555 extern void EvrRtxThreadResume (osThreadId_t thread_id);
557 #define EvrRtxThreadResume(thread_id) 564 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_RESUMED_DISABLE)) 565 extern void EvrRtxThreadResumed (osThreadId_t thread_id);
567 #define EvrRtxThreadResumed(thread_id) 574 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_DETACH_DISABLE)) 575 extern void EvrRtxThreadDetach (osThreadId_t thread_id);
577 #define EvrRtxThreadDetach(thread_id) 584 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_DETACHED_DISABLE)) 585 extern void EvrRtxThreadDetached (osThreadId_t thread_id);
587 #define EvrRtxThreadDetached(thread_id) 594 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_JOIN_DISABLE)) 595 extern void EvrRtxThreadJoin (osThreadId_t thread_id);
597 #define EvrRtxThreadJoin(thread_id) 604 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_JOIN_PENDING_DISABLE)) 605 extern void EvrRtxThreadJoinPending (osThreadId_t thread_id);
607 #define EvrRtxThreadJoinPending(thread_id) 614 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_JOINED_DISABLE)) 615 extern void EvrRtxThreadJoined (osThreadId_t thread_id);
617 #define EvrRtxThreadJoined(thread_id) 625 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_BLOCKED_DISABLE)) 626 extern void EvrRtxThreadBlocked (osThreadId_t thread_id, uint32_t timeout);
628 #define EvrRtxThreadBlocked(thread_id, timeout) 636 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_UNBLOCKED_DISABLE)) 637 extern void EvrRtxThreadUnblocked (osThreadId_t thread_id, uint32_t ret_val);
639 #define EvrRtxThreadUnblocked(thread_id, ret_val) 646 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_PREEMPTED_DISABLE)) 647 extern void EvrRtxThreadPreempted (osThreadId_t thread_id);
649 #define EvrRtxThreadPreempted(thread_id) 656 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_SWITCHED_DISABLE)) 657 extern void EvrRtxThreadSwitched (osThreadId_t thread_id);
659 #define EvrRtxThreadSwitched(thread_id) 665 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_EXIT_DISABLE)) 666 extern void EvrRtxThreadExit (
void);
668 #define EvrRtxThreadExit() 675 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_TERMINATE_DISABLE)) 676 extern void EvrRtxThreadTerminate (osThreadId_t thread_id);
678 #define EvrRtxThreadTerminate(thread_id) 685 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_DESTROYED_DISABLE)) 686 extern void EvrRtxThreadDestroyed (osThreadId_t thread_id);
688 #define EvrRtxThreadDestroyed(thread_id) 695 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_GET_COUNT_DISABLE)) 696 extern void EvrRtxThreadGetCount (uint32_t count);
698 #define EvrRtxThreadGetCount(count) 707 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THREAD != 0) && !defined(EVR_RTX_THREAD_ENUMERATE_DISABLE)) 708 extern void EvrRtxThreadEnumerate (osThreadId_t *thread_array, uint32_t array_items, uint32_t count);
710 #define EvrRtxThreadEnumerate(thread_array, array_items, count) 721 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_ERROR_DISABLE)) 722 extern void EvrRtxThreadFlagsError (osThreadId_t thread_id, int32_t status);
724 #define EvrRtxThreadFlagsError(thread_id, status) 732 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_SET_DISABLE)) 733 extern void EvrRtxThreadFlagsSet (osThreadId_t thread_id, uint32_t flags);
735 #define EvrRtxThreadFlagsSet(thread_id, flags) 743 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_SET_DONE_DISABLE)) 744 extern void EvrRtxThreadFlagsSetDone (osThreadId_t thread_id, uint32_t thread_flags);
746 #define EvrRtxThreadFlagsSetDone(thread_id, thread_flags) 753 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_CLEAR_DISABLE)) 754 extern void EvrRtxThreadFlagsClear (uint32_t flags);
756 #define EvrRtxThreadFlagsClear(flags) 763 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_CLEAR_DONE_DISABLE)) 764 extern void EvrRtxThreadFlagsClearDone (uint32_t thread_flags);
766 #define EvrRtxThreadFlagsClearDone(thread_flags) 773 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_GET_DISABLE)) 774 extern void EvrRtxThreadFlagsGet (uint32_t thread_flags);
776 #define EvrRtxThreadFlagsGet(thread_flags) 785 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_WAIT_DISABLE)) 786 extern void EvrRtxThreadFlagsWait (uint32_t flags, uint32_t options, uint32_t timeout);
788 #define EvrRtxThreadFlagsWait(flags, options, timeout) 797 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_WAIT_PENDING_DISABLE)) 798 extern void EvrRtxThreadFlagsWaitPending (uint32_t flags, uint32_t options, uint32_t timeout);
800 #define EvrRtxThreadFlagsWaitPending(flags, options, timeout) 807 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_WAIT_TIMEOUT_DISABLE)) 808 extern void EvrRtxThreadFlagsWaitTimeout (osThreadId_t thread_id);
810 #define EvrRtxThreadFlagsWaitTimeout(thread_id) 820 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_WAIT_COMPLETED_DISABLE)) 821 extern void EvrRtxThreadFlagsWaitCompleted (uint32_t flags, uint32_t options, uint32_t thread_flags, osThreadId_t thread_id);
823 #define EvrRtxThreadFlagsWaitCompleted(flags, options, thread_flags, thread_id) 831 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_THFLAGS != 0) && !defined(EVR_RTX_THREAD_FLAGS_WAIT_NOT_COMPLETED_DISABLE)) 832 extern void EvrRtxThreadFlagsWaitNotCompleted (uint32_t flags, uint32_t options);
834 #define EvrRtxThreadFlagsWaitNotCompleted(flags, options) 844 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_WAIT != 0) && !defined(EVR_RTX_DELAY_ERROR_DISABLE)) 845 extern void EvrRtxDelayError (int32_t status);
847 #define EvrRtxDelayError(status) 854 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_WAIT != 0) && !defined(EVR_RTX_DELAY_DISABLE)) 855 extern void EvrRtxDelay (uint32_t ticks);
857 #define EvrRtxDelay(ticks) 864 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_WAIT != 0) && !defined(EVR_RTX_DELAY_UNTIL_DISABLE)) 865 extern void EvrRtxDelayUntil (uint32_t ticks);
867 #define EvrRtxDelayUntil(ticks) 874 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_WAIT != 0) && !defined(EVR_RTX_DELAY_STARTED_DISABLE)) 875 extern void EvrRtxDelayStarted (uint32_t ticks);
877 #define EvrRtxDelayStarted(ticks) 884 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_WAIT != 0) && !defined(EVR_RTX_DELAY_UNTIL_STARTED_DISABLE)) 885 extern void EvrRtxDelayUntilStarted (uint32_t ticks);
887 #define EvrRtxDelayUntilStarted(ticks) 894 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_WAIT != 0) && !defined(EVR_RTX_DELAY_COMPLETED_DISABLE)) 895 extern void EvrRtxDelayCompleted (osThreadId_t thread_id);
897 #define EvrRtxDelayCompleted(thread_id) 908 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_ERROR_DISABLE)) 909 extern void EvrRtxTimerError (osTimerId_t timer_id, int32_t status);
911 #define EvrRtxTimerError(timer_id, status) 919 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_CALLBACK_DISABLE)) 920 extern void EvrRtxTimerCallback (osTimerFunc_t func,
void *argument);
922 #define EvrRtxTimerCallback(func, argument) 932 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_NEW_DISABLE)) 933 extern void EvrRtxTimerNew (osTimerFunc_t func, osTimerType_t type,
void *argument,
const osTimerAttr_t *attr);
935 #define EvrRtxTimerNew(func, type, argument, attr) 943 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_CREATED_DISABLE)) 944 extern void EvrRtxTimerCreated (osTimerId_t timer_id,
const char *name);
946 #define EvrRtxTimerCreated(timer_id, name) 954 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_GET_NAME_DISABLE)) 955 extern void EvrRtxTimerGetName (osTimerId_t timer_id,
const char *name);
957 #define EvrRtxTimerGetName(timer_id, name) 965 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_START_DISABLE)) 966 extern void EvrRtxTimerStart (osTimerId_t timer_id, uint32_t ticks);
968 #define EvrRtxTimerStart(timer_id, ticks) 975 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_STARTED_DISABLE)) 976 extern void EvrRtxTimerStarted (osTimerId_t timer_id);
978 #define EvrRtxTimerStarted(timer_id) 985 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_STOP_DISABLE)) 986 extern void EvrRtxTimerStop (osTimerId_t timer_id);
988 #define EvrRtxTimerStop(timer_id) 995 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_STOPPED_DISABLE)) 996 extern void EvrRtxTimerStopped (osTimerId_t timer_id);
998 #define EvrRtxTimerStopped(timer_id) 1006 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_IS_RUNNING_DISABLE)) 1007 extern void EvrRtxTimerIsRunning (osTimerId_t timer_id, uint32_t running);
1009 #define EvrRtxTimerIsRunning(timer_id, running) 1016 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_DELETE_DISABLE)) 1017 extern void EvrRtxTimerDelete (osTimerId_t timer_id);
1019 #define EvrRtxTimerDelete(timer_id) 1026 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_TIMER != 0) && !defined(EVR_RTX_TIMER_DESTROYED_DISABLE)) 1027 extern void EvrRtxTimerDestroyed (osTimerId_t timer_id);
1029 #define EvrRtxTimerDestroyed(timer_id) 1040 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_ERROR_DISABLE)) 1041 extern void EvrRtxEventFlagsError (osEventFlagsId_t ef_id, int32_t status);
1043 #define EvrRtxEventFlagsError(ef_id, status) 1050 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_NEW_DISABLE)) 1053 #define EvrRtxEventFlagsNew(attr) 1061 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_CREATED_DISABLE)) 1062 extern void EvrRtxEventFlagsCreated (osEventFlagsId_t ef_id,
const char *name);
1064 #define EvrRtxEventFlagsCreated(ef_id, name) 1072 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_GET_NAME_DISABLE)) 1073 extern void EvrRtxEventFlagsGetName (osEventFlagsId_t ef_id,
const char *name);
1075 #define EvrRtxEventFlagsGetName(ef_id, name) 1083 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_SET_DISABLE)) 1084 extern void EvrRtxEventFlagsSet (osEventFlagsId_t ef_id, uint32_t flags);
1086 #define EvrRtxEventFlagsSet(ef_id, flags) 1094 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_SET_DONE_DISABLE)) 1095 extern void EvrRtxEventFlagsSetDone (osEventFlagsId_t ef_id, uint32_t event_flags);
1097 #define EvrRtxEventFlagsSetDone(ef_id, event_flags) 1105 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_CLEAR_DISABLE)) 1106 extern void EvrRtxEventFlagsClear (osEventFlagsId_t ef_id, uint32_t flags);
1108 #define EvrRtxEventFlagsClear(ef_id, flags) 1116 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_CLEAR_DONE_DISABLE)) 1117 extern void EvrRtxEventFlagsClearDone (osEventFlagsId_t ef_id, uint32_t event_flags);
1119 #define EvrRtxEventFlagsClearDone(ef_id, event_flags) 1127 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_GET_DISABLE)) 1128 extern void EvrRtxEventFlagsGet (osEventFlagsId_t ef_id, uint32_t event_flags);
1130 #define EvrRtxEventFlagsGet(ef_id, event_flags) 1140 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_WAIT_DISABLE)) 1141 extern void EvrRtxEventFlagsWait (osEventFlagsId_t ef_id, uint32_t flags, uint32_t options, uint32_t timeout);
1143 #define EvrRtxEventFlagsWait(ef_id, flags, options, timeout) 1153 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_WAIT_PENDING_DISABLE)) 1154 extern void EvrRtxEventFlagsWaitPending (osEventFlagsId_t ef_id, uint32_t flags, uint32_t options, uint32_t timeout);
1156 #define EvrRtxEventFlagsWaitPending(ef_id, flags, options, timeout) 1163 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_WAIT_TIMEOUT_DISABLE)) 1164 extern void EvrRtxEventFlagsWaitTimeout (osEventFlagsId_t ef_id);
1166 #define EvrRtxEventFlagsWaitTimeout(ef_id) 1176 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_WAIT_COMPLETED_DISABLE)) 1177 extern void EvrRtxEventFlagsWaitCompleted (osEventFlagsId_t ef_id, uint32_t flags, uint32_t options, uint32_t event_flags);
1179 #define EvrRtxEventFlagsWaitCompleted(ef_id, flags, options, event_flags) 1188 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_WAIT_NOT_COMPLETED_DISABLE)) 1189 extern void EvrRtxEventFlagsWaitNotCompleted (osEventFlagsId_t ef_id, uint32_t flags, uint32_t options);
1191 #define EvrRtxEventFlagsWaitNotCompleted(ef_id, flags, options) 1198 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_DELETE_DISABLE)) 1199 extern void EvrRtxEventFlagsDelete (osEventFlagsId_t ef_id);
1201 #define EvrRtxEventFlagsDelete(ef_id) 1208 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_EVFLAGS != 0) && !defined(EVR_RTX_EVENT_FLAGS_DESTROYED_DISABLE)) 1209 extern void EvrRtxEventFlagsDestroyed (osEventFlagsId_t ef_id);
1211 #define EvrRtxEventFlagsDestroyed(ef_id) 1222 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_ERROR_DISABLE)) 1223 extern void EvrRtxMutexError (osMutexId_t mutex_id, int32_t status);
1225 #define EvrRtxMutexError(mutex_id, status) 1232 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_NEW_DISABLE)) 1235 #define EvrRtxMutexNew(attr) 1243 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_CREATED_DISABLE)) 1244 extern void EvrRtxMutexCreated (osMutexId_t mutex_id,
const char *name);
1246 #define EvrRtxMutexCreated(mutex_id, name) 1254 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_GET_NAME_DISABLE)) 1255 extern void EvrRtxMutexGetName (osMutexId_t mutex_id,
const char *name);
1257 #define EvrRtxMutexGetName(mutex_id, name) 1265 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_ACQUIRE_DISABLE)) 1266 extern void EvrRtxMutexAcquire (osMutexId_t mutex_id, uint32_t timeout);
1268 #define EvrRtxMutexAcquire(mutex_id, timeout) 1276 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_ACQUIRE_PENDING_DISABLE)) 1277 extern void EvrRtxMutexAcquirePending (osMutexId_t mutex_id, uint32_t timeout);
1279 #define EvrRtxMutexAcquirePending(mutex_id, timeout); 1286 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_ACQUIRE_TIMEOUT_DISABLE)) 1287 extern void EvrRtxMutexAcquireTimeout (osMutexId_t mutex_id);
1289 #define EvrRtxMutexAcquireTimeout(mutex_id) 1297 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_ACQUIRED_DISABLE)) 1298 extern void EvrRtxMutexAcquired (osMutexId_t mutex_id, uint32_t lock);
1300 #define EvrRtxMutexAcquired(mutex_id, lock) 1307 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_NOT_ACQUIRED_DISABLE)) 1308 extern void EvrRtxMutexNotAcquired (osMutexId_t mutex_id);
1310 #define EvrRtxMutexNotAcquired(mutex_id) 1317 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_RELEASE_DISABLE)) 1318 extern void EvrRtxMutexRelease (osMutexId_t mutex_id);
1320 #define EvrRtxMutexRelease(mutex_id) 1328 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_RELEASED_DISABLE)) 1329 extern void EvrRtxMutexReleased (osMutexId_t mutex_id, uint32_t lock);
1331 #define EvrRtxMutexReleased(mutex_id, lock) 1339 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_GET_OWNER_DISABLE)) 1340 extern void EvrRtxMutexGetOwner (osMutexId_t mutex_id, osThreadId_t thread_id);
1342 #define EvrRtxMutexGetOwner(mutex_id, thread_id) 1349 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_DELETE_DISABLE)) 1350 extern void EvrRtxMutexDelete (osMutexId_t mutex_id);
1352 #define EvrRtxMutexDelete(mutex_id) 1359 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MUTEX != 0) && !defined(EVR_RTX_MUTEX_DESTROYED_DISABLE)) 1360 extern void EvrRtxMutexDestroyed (osMutexId_t mutex_id);
1362 #define EvrRtxMutexDestroyed(mutex_id) 1373 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_ERROR_DISABLE)) 1374 extern void EvrRtxSemaphoreError (osSemaphoreId_t semaphore_id, int32_t status);
1376 #define EvrRtxSemaphoreError(semaphore_id, status) 1385 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_NEW_DISABLE)) 1386 extern void EvrRtxSemaphoreNew (uint32_t max_count, uint32_t initial_count,
const osSemaphoreAttr_t *attr);
1388 #define EvrRtxSemaphoreNew(max_count, initial_count, attr) 1396 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_CREATED_DISABLE)) 1397 extern void EvrRtxSemaphoreCreated (osSemaphoreId_t semaphore_id,
const char *name);
1399 #define EvrRtxSemaphoreCreated(semaphore_id, name) 1407 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_GET_NAME_DISABLE)) 1408 extern void EvrRtxSemaphoreGetName (osSemaphoreId_t semaphore_id,
const char *name);
1410 #define EvrRtxSemaphoreGetName(semaphore_id, name) 1418 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_ACQUIRE_DISABLE)) 1419 extern void EvrRtxSemaphoreAcquire (osSemaphoreId_t semaphore_id, uint32_t timeout);
1421 #define EvrRtxSemaphoreAcquire(semaphore_id, timeout) 1429 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_ACQUIRE_PENDING_DISABLE)) 1430 extern void EvrRtxSemaphoreAcquirePending (osSemaphoreId_t semaphore_id, uint32_t timeout);
1432 #define EvrRtxSemaphoreAcquirePending(semaphore_id, timeout); 1439 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_ACQUIRE_TIMEOUT_DISABLE)) 1440 extern void EvrRtxSemaphoreAcquireTimeout (osSemaphoreId_t semaphore_id);
1442 #define EvrRtxSemaphoreAcquireTimeout(semaphore_id) 1450 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_ACQUIRED_DISABLE)) 1451 extern void EvrRtxSemaphoreAcquired (osSemaphoreId_t semaphore_id, uint32_t tokens);
1453 #define EvrRtxSemaphoreAcquired(semaphore_id, tokens) 1460 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_NOT_ACQUIRED_DISABLE)) 1461 extern void EvrRtxSemaphoreNotAcquired (osSemaphoreId_t semaphore_id);
1463 #define EvrRtxSemaphoreNotAcquired(semaphore_id) 1470 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_RELEASE_DISABLE)) 1471 extern void EvrRtxSemaphoreRelease (osSemaphoreId_t semaphore_id);
1473 #define EvrRtxSemaphoreRelease(semaphore_id) 1481 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_RELEASED_DISABLE)) 1482 extern void EvrRtxSemaphoreReleased (osSemaphoreId_t semaphore_id, uint32_t tokens);
1484 #define EvrRtxSemaphoreReleased(semaphore_id, tokens) 1492 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_GET_COUNT_DISABLE)) 1493 extern void EvrRtxSemaphoreGetCount (osSemaphoreId_t semaphore_id, uint32_t count);
1495 #define EvrRtxSemaphoreGetCount(semaphore_id, count) 1502 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_DELETE_DISABLE)) 1503 extern void EvrRtxSemaphoreDelete (osSemaphoreId_t semaphore_id);
1505 #define EvrRtxSemaphoreDelete(semaphore_id) 1512 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_SEMAPHORE != 0) && !defined(EVR_RTX_SEMAPHORE_DESTROYED_DISABLE)) 1513 extern void EvrRtxSemaphoreDestroyed (osSemaphoreId_t semaphore_id);
1515 #define EvrRtxSemaphoreDestroyed(semaphore_id) 1526 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_ERROR_DISABLE)) 1527 extern void EvrRtxMemoryPoolError (osMemoryPoolId_t mp_id, int32_t status);
1529 #define EvrRtxMemoryPoolError(mp_id, status) 1538 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_NEW_DISABLE)) 1539 extern void EvrRtxMemoryPoolNew (uint32_t block_count, uint32_t block_size,
const osMemoryPoolAttr_t *attr);
1541 #define EvrRtxMemoryPoolNew(block_count, block_size, attr) 1549 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_CREATED_DISABLE)) 1550 extern void EvrRtxMemoryPoolCreated (osMemoryPoolId_t mp_id,
const char *name);
1552 #define EvrRtxMemoryPoolCreated(mp_id, name) 1560 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_GET_NAME_DISABLE)) 1561 extern void EvrRtxMemoryPoolGetName (osMemoryPoolId_t mp_id,
const char *name);
1563 #define EvrRtxMemoryPoolGetName(mp_id, name) 1571 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_ALLOC_DISABLE)) 1572 extern void EvrRtxMemoryPoolAlloc (osMemoryPoolId_t mp_id, uint32_t timeout);
1574 #define EvrRtxMemoryPoolAlloc(mp_id, timeout) 1582 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_ALLOC_PENDING_DISABLE)) 1583 extern void EvrRtxMemoryPoolAllocPending (osMemoryPoolId_t mp_id, uint32_t timeout);
1585 #define EvrRtxMemoryPoolAllocPending(mp_id, timeout) 1592 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_ALLOC_TIMEOUT_DISABLE)) 1593 extern void EvrRtxMemoryPoolAllocTimeout (osMemoryPoolId_t mp_id);
1595 #define EvrRtxMemoryPoolAllocTimeout(mp_id) 1603 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_ALLOCATED_DISABLE)) 1604 extern void EvrRtxMemoryPoolAllocated (osMemoryPoolId_t mp_id,
void *block);
1606 #define EvrRtxMemoryPoolAllocated(mp_id, block) 1613 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_ALLOC_FAILED_DISABLE)) 1614 extern void EvrRtxMemoryPoolAllocFailed (osMemoryPoolId_t mp_id);
1616 #define EvrRtxMemoryPoolAllocFailed(mp_id) 1624 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_FREE_DISABLE)) 1625 extern void EvrRtxMemoryPoolFree (osMemoryPoolId_t mp_id,
void *block);
1627 #define EvrRtxMemoryPoolFree(mp_id, block) 1635 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_DEALLOCATED_DISABLE)) 1636 extern void EvrRtxMemoryPoolDeallocated (osMemoryPoolId_t mp_id,
void *block);
1638 #define EvrRtxMemoryPoolDeallocated(mp_id, block) 1646 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_FREE_FAILED_DISABLE)) 1647 extern void EvrRtxMemoryPoolFreeFailed (osMemoryPoolId_t mp_id,
void *block);
1649 #define EvrRtxMemoryPoolFreeFailed(mp_id, block) 1657 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_GET_CAPACITY_DISABLE)) 1658 extern void EvrRtxMemoryPoolGetCapacity (osMemoryPoolId_t mp_id, uint32_t capacity);
1660 #define EvrRtxMemoryPoolGetCapacity(mp_id, capacity) 1668 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_GET_BLOCK_SZIE_DISABLE)) 1669 extern void EvrRtxMemoryPoolGetBlockSize (osMemoryPoolId_t mp_id, uint32_t block_size);
1671 #define EvrRtxMemoryPoolGetBlockSize(mp_id, block_size) 1679 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_GET_COUNT_DISABLE)) 1680 extern void EvrRtxMemoryPoolGetCount (osMemoryPoolId_t mp_id, uint32_t count);
1682 #define EvrRtxMemoryPoolGetCount(mp_id, count) 1690 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_GET_SPACE_DISABLE)) 1691 extern void EvrRtxMemoryPoolGetSpace (osMemoryPoolId_t mp_id, uint32_t space);
1693 #define EvrRtxMemoryPoolGetSpace(mp_id, space) 1700 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_DELETE_DISABLE)) 1701 extern void EvrRtxMemoryPoolDelete (osMemoryPoolId_t mp_id);
1703 #define EvrRtxMemoryPoolDelete(mp_id) 1710 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MEMPOOL != 0) && !defined(EVR_RTX_MEMORY_POOL_DESTROYED_DISABLE)) 1711 extern void EvrRtxMemoryPoolDestroyed (osMemoryPoolId_t mp_id);
1713 #define EvrRtxMemoryPoolDestroyed(mp_id) 1724 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_ERROR_DISABLE)) 1725 extern void EvrRtxMessageQueueError (osMessageQueueId_t mq_id, int32_t status);
1727 #define EvrRtxMessageQueueError(mq_id, status) 1736 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_NEW_DISABLE)) 1737 extern void EvrRtxMessageQueueNew (uint32_t msg_count, uint32_t msg_size,
const osMessageQueueAttr_t *attr);
1739 #define EvrRtxMessageQueueNew(msg_count, msg_size, attr) 1747 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_CREATED_DISABLE)) 1748 extern void EvrRtxMessageQueueCreated (osMessageQueueId_t mq_id,
const char *name);
1750 #define EvrRtxMessageQueueCreated(mq_id, name) 1758 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_GET_NAME_DISABLE)) 1759 extern void EvrRtxMessageQueueGetName (osMessageQueueId_t mq_id,
const char *name);
1761 #define EvrRtxMessageQueueGetName(mq_id, name) 1771 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_PUT_DISABLE)) 1772 extern void EvrRtxMessageQueuePut (osMessageQueueId_t mq_id,
const void *msg_ptr, uint8_t msg_prio, uint32_t timeout);
1774 #define EvrRtxMessageQueuePut(mq_id, msg_ptr, msg_prio, timeout) 1783 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_PUT_PENDING_DISABLE)) 1784 extern void EvrRtxMessageQueuePutPending (osMessageQueueId_t mq_id,
const void *msg_ptr, uint32_t timeout);
1786 #define EvrRtxMessageQueuePutPending(mq_id, msg_ptr, timeout) 1793 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_PUT_TIMEOUT_DISABLE)) 1794 extern void EvrRtxMessageQueuePutTimeout (osMessageQueueId_t mq_id);
1796 #define EvrRtxMessageQueuePutTimeout(mq_id) 1804 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_INSERT_PENDING_DISABLE)) 1805 extern void EvrRtxMessageQueueInsertPending (osMessageQueueId_t mq_id,
const void *msg_ptr);
1807 #define EvrRtxMessageQueueInsertPending(mq_id, msg_ptr) 1815 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_INSERTED_DISABLE)) 1816 extern void EvrRtxMessageQueueInserted (osMessageQueueId_t mq_id,
const void *msg_ptr);
1818 #define EvrRtxMessageQueueInserted(mq_id, msg_ptr) 1826 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_NOT_INSERTED_DISABLE)) 1827 extern void EvrRtxMessageQueueNotInserted (osMessageQueueId_t mq_id,
const void *msg_ptr);
1829 #define EvrRtxMessageQueueNotInserted(mq_id, msg_ptr) 1839 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_GET_DISABLE)) 1840 extern void EvrRtxMessageQueueGet (osMessageQueueId_t mq_id,
void *msg_ptr, uint8_t *msg_prio, uint32_t timeout);
1842 #define EvrRtxMessageQueueGet(mq_id, msg_ptr, msg_prio, timeout) 1851 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_GET_PENDING_DISABLE)) 1852 extern void EvrRtxMessageQueueGetPending (osMessageQueueId_t mq_id,
void *msg_ptr, uint32_t timeout);
1854 #define EvrRtxMessageQueueGetPending(mq_id, msg_ptr, timeout) 1861 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_GET_TIMEOUT_DISABLE)) 1862 extern void EvrRtxMessageQueueGetTimeout (osMessageQueueId_t mq_id);
1864 #define EvrRtxMessageQueueGetTimeout(mq_id) 1872 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_RETRIEVED_DISABLE)) 1873 extern void EvrRtxMessageQueueRetrieved (osMessageQueueId_t mq_id,
void *msg_ptr);
1875 #define EvrRtxMessageQueueRetrieved(mq_id, msg_ptr) 1883 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_NOT_RETRIEVED_DISABLE)) 1884 extern void EvrRtxMessageQueueNotRetrieved (osMessageQueueId_t mq_id,
void *msg_ptr);
1886 #define EvrRtxMessageQueueNotRetrieved(mq_id, msg_ptr) 1894 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_GET_CAPACITY_DISABLE)) 1895 extern void EvrRtxMessageQueueGetCapacity (osMessageQueueId_t mq_id, uint32_t capacity);
1897 #define EvrRtxMessageQueueGetCapacity(mq_id, capacity) 1905 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_GET_MSG_SIZE_DISABLE)) 1906 extern void EvrRtxMessageQueueGetMsgSize (osMessageQueueId_t mq_id, uint32_t msg_size);
1908 #define EvrRtxMessageQueueGetMsgSize(mq_id, msg_size) 1916 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_GET_COUNT_DISABLE)) 1917 extern void EvrRtxMessageQueueGetCount (osMessageQueueId_t mq_id, uint32_t count);
1919 #define EvrRtxMessageQueueGetCount(mq_id, count) 1927 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_GET_SPACE_DISABLE)) 1928 extern void EvrRtxMessageQueueGetSpace (osMessageQueueId_t mq_id, uint32_t space);
1930 #define EvrRtxMessageQueueGetSpace(mq_id, space) 1937 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_RESET_DISABLE)) 1938 extern void EvrRtxMessageQueueReset (osMessageQueueId_t mq_id);
1940 #define EvrRtxMessageQueueReset(mq_id) 1947 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_RESET_DONE_DISABLE)) 1948 extern void EvrRtxMessageQueueResetDone (osMessageQueueId_t mq_id);
1950 #define EvrRtxMessageQueueResetDone(mq_id) 1957 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_DELETE_DISABLE)) 1958 extern void EvrRtxMessageQueueDelete (osMessageQueueId_t mq_id);
1960 #define EvrRtxMessageQueueDelete(mq_id) 1967 #if (!defined(EVR_RTX_DISABLE) && (OS_EVR_MSGQUEUE != 0) && !defined(EVR_RTX_MESSAGE_QUEUE_DESTROYED_DISABLE)) 1968 extern void EvrRtxMessageQueueDestroyed (osMessageQueueId_t mq_id);
1970 #define EvrRtxMessageQueueDestroyed(mq_id) 1974 #endif // RTX_EVR_H_ Attributes structure for thread.
Attributes structure for memory pool.
Attributes structure for event flags.
Attributes structure for message queue.
Attributes structure for timer.
Attributes structure for semaphore.
Attributes structure for mutex.