|
80 | 80 | #define OS_IDLE_THREAD_NAME "idle_thread"
|
81 | 81 | #define OS_TIMER_THREAD_NAME "timer_thread"
|
82 | 82 |
|
| 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 | + |
83 | 255 | #endif /* MBED_RTX_CONF_H */
|
0 commit comments