Skip to content

Commit 41bd4c4

Browse files
author
Cruz Monrreal
authored
Merge pull request #7628 from SenRamakri/sen_RtxEvrOptimization
Optimize the configuration for RTX evr events
2 parents 642fb9c + 6221e6f commit 41bd4c4

File tree

1 file changed

+172
-0
lines changed

1 file changed

+172
-0
lines changed

rtos/TARGET_CORTEX/mbed_rtx_conf.h

Lines changed: 172 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -80,4 +80,176 @@
8080
#define OS_IDLE_THREAD_NAME "idle_thread"
8181
#define OS_TIMER_THREAD_NAME "timer_thread"
8282

83+
/* Enable only the evr events we use in Mbed-OS to save flash space. */
84+
//Following events are used by Mbed-OS, DO NOT disable them
85+
//#define EVR_RTX_KERNEL_ERROR_DISABLE
86+
//#define EVR_RTX_THREAD_ERROR_DISABLE
87+
//#define EVR_RTX_THREAD_EXIT_DISABLE
88+
//#define EVR_RTX_THREAD_TERMINATE_DISABLE
89+
//#define EVR_RTX_TIMER_ERROR_DISABLE
90+
//#define EVR_RTX_EVENT_FLAGS_ERROR_DISABLE
91+
//#define EVR_RTX_MUTEX_ERROR_DISABLE
92+
//#define EVR_RTX_SEMAPHORE_ERROR_DISABLE
93+
//#define EVR_RTX_MEMORY_POOL_ERROR_DISABLE
94+
//#define EVR_RTX_MESSAGE_QUEUE_ERROR_DISABLE
95+
96+
//Following events are NOT used by Mbed-OS, you may enable them if needed for debug purposes
97+
#define EVR_RTX_MEMORY_INIT_DISABLE
98+
#define EVR_RTX_MEMORY_ALLOC_DISABLE
99+
#define EVR_RTX_MEMORY_FREE_DISABLE
100+
#define EVR_RTX_MEMORY_BLOCK_INIT_DISABLE
101+
#define EVR_RTX_MEMORY_BLOCK_ALLOC_DISABLE
102+
#define EVR_RTX_MEMORY_BLOCK_FREE_DISABLE
103+
#define EVR_RTX_KERNEL_INITIALIZE_DISABLE
104+
#define EVR_RTX_KERNEL_INITIALIZE_COMPLETED_DISABLE
105+
#define EVR_RTX_KERNEL_GET_INFO_DISABLE
106+
#define EVR_RTX_KERNEL_INFO_RETRIEVED_DISABLE
107+
#define EVR_RTX_KERNEL_GET_STATE_DISABLE
108+
#define EVR_RTX_KERNEL_START_DISABLE
109+
#define EVR_RTX_KERNEL_STARTED_DISABLE
110+
#define EVR_RTX_KERNEL_LOCK_DISABLE
111+
#define EVR_RTX_KERNEL_LOCKED_DISABLE
112+
#define EVR_RTX_KERNEL_UNLOCK_DISABLE
113+
#define EVR_RTX_KERNEL_UNLOCKED_DISABLE
114+
#define EVR_RTX_KERNEL_RESTORE_LOCK_DISABLE
115+
#define EVR_RTX_KERNEL_LOCK_RESTORED_DISABLE
116+
#define EVR_RTX_KERNEL_SUSPEND_DISABLE
117+
#define EVR_RTX_KERNEL_SUSPENDED_DISABLE
118+
#define EVR_RTX_KERNEL_RESUME_DISABLE
119+
#define EVR_RTX_KERNEL_RESUMED_DISABLE
120+
#define EVR_RTX_KERNEL_GET_TICK_COUNT_DISABLE
121+
#define EVR_RTX_KERNEL_GET_TICK_FREQ_DISABLE
122+
#define EVR_RTX_KERNEL_GET_SYS_TIMER_COUNT_DISABLE
123+
#define EVR_RTX_KERNEL_GET_SYS_TIMER_FREQ_DISABLE
124+
#define EVR_RTX_THREAD_NEW_DISABLE
125+
#define EVR_RTX_THREAD_CREATED_DISABLE
126+
#define EVR_RTX_THREAD_GET_NAME_DISABLE
127+
#define EVR_RTX_THREAD_GET_ID_DISABLE
128+
#define EVR_RTX_THREAD_GET_STATE_DISABLE
129+
#define EVR_RTX_THREAD_GET_STACK_SIZE_DISABLE
130+
#define EVR_RTX_THREAD_GET_STACK_SPACE_DISABLE
131+
#define EVR_RTX_THREAD_SET_PRIORITY_DISABLE
132+
#define EVR_RTX_THREAD_GET_PRIORITY_DISABLE
133+
#define EVR_RTX_THREAD_YIELD_DISABLE
134+
#define EVR_RTX_THREAD_SUSPEND_DISABLE
135+
#define EVR_RTX_THREAD_SUSPENDED_DISABLE
136+
#define EVR_RTX_THREAD_RESUME_DISABLE
137+
#define EVR_RTX_THREAD_RESUMED_DISABLE
138+
#define EVR_RTX_THREAD_DETACH_DISABLE
139+
#define EVR_RTX_THREAD_DETACHED_DISABLE
140+
#define EVR_RTX_THREAD_JOIN_DISABLE
141+
#define EVR_RTX_THREAD_JOIN_PENDING_DISABLE
142+
#define EVR_RTX_THREAD_JOINED_DISABLE
143+
#define EVR_RTX_THREAD_BLOCKED_DISABLE
144+
#define EVR_RTX_THREAD_UNBLOCKED_DISABLE
145+
#define EVR_RTX_THREAD_PREEMPTED_DISABLE
146+
#define EVR_RTX_THREAD_SWITCHED_DISABLE
147+
#define EVR_RTX_THREAD_DESTROYED_DISABLE
148+
#define EVR_RTX_THREAD_GET_COUNT_DISABLE
149+
#define EVR_RTX_THREAD_ENUMERATE_DISABLE
150+
#define EVR_RTX_THREAD_FLAGS_SET_DISABLE
151+
#define EVR_RTX_THREAD_FLAGS_SET_DONE_DISABLE
152+
#define EVR_RTX_THREAD_FLAGS_CLEAR_DISABLE
153+
#define EVR_RTX_THREAD_FLAGS_CLEAR_DONE_DISABLE
154+
#define EVR_RTX_THREAD_FLAGS_GET_DISABLE
155+
#define EVR_RTX_THREAD_FLAGS_WAIT_DISABLE
156+
#define EVR_RTX_THREAD_FLAGS_WAIT_PENDING_DISABLE
157+
#define EVR_RTX_THREAD_FLAGS_WAIT_TIMEOUT_DISABLE
158+
#define EVR_RTX_THREAD_FLAGS_WAIT_COMPLETED_DISABLE
159+
#define EVR_RTX_THREAD_FLAGS_WAIT_NOT_COMPLETED_DISABLE
160+
#define EVR_RTX_THREAD_DELAY_DISABLE
161+
#define EVR_RTX_THREAD_DELAY_UNTIL_DISABLE
162+
#define EVR_RTX_THREAD_DELAY_COMPLETED_DISABLE
163+
#define EVR_RTX_TIMER_CALLBACK_DISABLE
164+
#define EVR_RTX_TIMER_NEW_DISABLE
165+
#define EVR_RTX_TIMER_CREATED_DISABLE
166+
#define EVR_RTX_TIMER_GET_NAME_DISABLE
167+
#define EVR_RTX_TIMER_START_DISABLE
168+
#define EVR_RTX_TIMER_STARTED_DISABLE
169+
#define EVR_RTX_TIMER_STOP_DISABLE
170+
#define EVR_RTX_TIMER_STOPPED_DISABLE
171+
#define EVR_RTX_TIMER_IS_RUNNING_DISABLE
172+
#define EVR_RTX_TIMER_DELETE_DISABLE
173+
#define EVR_RTX_TIMER_DESTROYED_DISABLE
174+
#define EVR_RTX_EVENT_FLAGS_NEW_DISABLE
175+
#define EVR_RTX_EVENT_FLAGS_CREATED_DISABLE
176+
#define EVR_RTX_EVENT_FLAGS_GET_NAME_DISABLE
177+
#define EVR_RTX_EVENT_FLAGS_SET_DISABLE
178+
#define EVR_RTX_EVENT_FLAGS_SET_DONE_DISABLE
179+
#define EVR_RTX_EVENT_FLAGS_CLEAR_DISABLE
180+
#define EVR_RTX_EVENT_FLAGS_CLEAR_DONE_DISABLE
181+
#define EVR_RTX_EVENT_FLAGS_GET_DISABLE
182+
#define EVR_RTX_EVENT_FLAGS_WAIT_DISABLE
183+
#define EVR_RTX_EVENT_FLAGS_WAIT_PENDING_DISABLE
184+
#define EVR_RTX_EVENT_FLAGS_WAIT_TIMEOUT_DISABLE
185+
#define EVR_RTX_EVENT_FLAGS_WAIT_COMPLETED_DISABLE
186+
#define EVR_RTX_EVENT_FLAGS_WAIT_NOT_COMPLETED_DISABLE
187+
#define EVR_RTX_EVENT_FLAGS_DELETE_DISABLE
188+
#define EVR_RTX_EVENT_FLAGS_DESTROYED_DISABLE
189+
#define EVR_RTX_MUTEX_NEW_DISABLE
190+
#define EVR_RTX_MUTEX_CREATED_DISABLE
191+
#define EVR_RTX_MUTEX_GET_NAME_DISABLE
192+
#define EVR_RTX_MUTEX_ACQUIRE_DISABLE
193+
#define EVR_RTX_MUTEX_ACQUIRE_PENDING_DISABLE
194+
#define EVR_RTX_MUTEX_ACQUIRE_TIMEOUT_DISABLE
195+
#define EVR_RTX_MUTEX_ACQUIRED_DISABLE
196+
#define EVR_RTX_MUTEX_NOT_ACQUIRED_DISABLE
197+
#define EVR_RTX_MUTEX_RELEASE_DISABLE
198+
#define EVR_RTX_MUTEX_RELEASED_DISABLE
199+
#define EVR_RTX_MUTEX_GET_OWNER_DISABLE
200+
#define EVR_RTX_MUTEX_DELETE_DISABLE
201+
#define EVR_RTX_MUTEX_DESTROYED_DISABLE
202+
#define EVR_RTX_SEMAPHORE_NEW_DISABLE
203+
#define EVR_RTX_SEMAPHORE_CREATED_DISABLE
204+
#define EVR_RTX_SEMAPHORE_GET_NAME_DISABLE
205+
#define EVR_RTX_SEMAPHORE_ACQUIRE_DISABLE
206+
#define EVR_RTX_SEMAPHORE_ACQUIRE_PENDING_DISABLE
207+
#define EVR_RTX_SEMAPHORE_ACQUIRE_TIMEOUT_DISABLE
208+
#define EVR_RTX_SEMAPHORE_ACQUIRED_DISABLE
209+
#define EVR_RTX_SEMAPHORE_NOT_ACQUIRED_DISABLE
210+
#define EVR_RTX_SEMAPHORE_RELEASE_DISABLE
211+
#define EVR_RTX_SEMAPHORE_RELEASED_DISABLE
212+
#define EVR_RTX_SEMAPHORE_GET_COUNT_DISABLE
213+
#define EVR_RTX_SEMAPHORE_DELETE_DISABLE
214+
#define EVR_RTX_SEMAPHORE_DESTROYED_DISABLE
215+
#define EVR_RTX_MEMORY_POOL_NEW_DISABLE
216+
#define EVR_RTX_MEMORY_POOL_CREATED_DISABLE
217+
#define EVR_RTX_MEMORY_POOL_GET_NAME_DISABLE
218+
#define EVR_RTX_MEMORY_POOL_ALLOC_DISABLE
219+
#define EVR_RTX_MEMORY_POOL_ALLOC_PENDING_DISABLE
220+
#define EVR_RTX_MEMORY_POOL_ALLOC_TIMEOUT_DISABLE
221+
#define EVR_RTX_MEMORY_POOL_ALLOCATED_DISABLE
222+
#define EVR_RTX_MEMORY_POOL_ALLOC_FAILED_DISABLE
223+
#define EVR_RTX_MEMORY_POOL_FREE_DISABLE
224+
#define EVR_RTX_MEMORY_POOL_DEALLOCATED_DISABLE
225+
#define EVR_RTX_MEMORY_POOL_FREE_FAILED_DISABLE
226+
#define EVR_RTX_MEMORY_POOL_GET_CAPACITY_DISABLE
227+
#define EVR_RTX_MEMORY_POOL_GET_BLOCK_SZIE_DISABLE
228+
#define EVR_RTX_MEMORY_POOL_GET_COUNT_DISABLE
229+
#define EVR_RTX_MEMORY_POOL_GET_SPACE_DISABLE
230+
#define EVR_RTX_MEMORY_POOL_DELETE_DISABLE
231+
#define EVR_RTX_MEMORY_POOL_DESTROYED_DISABLE
232+
#define EVR_RTX_MESSAGE_QUEUE_NEW_DISABLE
233+
#define EVR_RTX_MESSAGE_QUEUE_CREATED_DISABLE
234+
#define EVR_RTX_MESSAGE_QUEUE_GET_NAME_DISABLE
235+
#define EVR_RTX_MESSAGE_QUEUE_PUT_DISABLE
236+
#define EVR_RTX_MESSAGE_QUEUE_PUT_PENDING_DISABLE
237+
#define EVR_RTX_MESSAGE_QUEUE_PUT_TIMEOUT_DISABLE
238+
#define EVR_RTX_MESSAGE_QUEUE_INSERT_PENDING_DISABLE
239+
#define EVR_RTX_MESSAGE_QUEUE_INSERTED_DISABLE
240+
#define EVR_RTX_MESSAGE_QUEUE_NOT_INSERTED_DISABLE
241+
#define EVR_RTX_MESSAGE_QUEUE_GET_DISABLE
242+
#define EVR_RTX_MESSAGE_QUEUE_GET_PENDING_DISABLE
243+
#define EVR_RTX_MESSAGE_QUEUE_GET_TIMEOUT_DISABLE
244+
#define EVR_RTX_MESSAGE_QUEUE_RETRIEVED_DISABLE
245+
#define EVR_RTX_MESSAGE_QUEUE_NOT_RETRIEVED_DISABLE
246+
#define EVR_RTX_MESSAGE_QUEUE_GET_CAPACITY_DISABLE
247+
#define EVR_RTX_MESSAGE_QUEUE_GET_MSG_SIZE_DISABLE
248+
#define EVR_RTX_MESSAGE_QUEUE_GET_COUNT_DISABLE
249+
#define EVR_RTX_MESSAGE_QUEUE_GET_SPACE_DISABLE
250+
#define EVR_RTX_MESSAGE_QUEUE_RESET_DISABLE
251+
#define EVR_RTX_MESSAGE_QUEUE_RESET_DONE_DISABLE
252+
#define EVR_RTX_MESSAGE_QUEUE_DELETE_DISABLE
253+
#define EVR_RTX_MESSAGE_QUEUE_DESTROYED_DISABLE
254+
83255
#endif /* MBED_RTX_CONF_H */

0 commit comments

Comments
 (0)