rtx_lib.h 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197
  1. /*
  2. * Copyright (c) 2013-2016 ARM Limited. All rights reserved.
  3. *
  4. * SPDX-License-Identifier: Apache-2.0
  5. *
  6. * Licensed under the Apache License, Version 2.0 (the License); you may
  7. * not use this file except in compliance with the License.
  8. * You may obtain a copy of the License at
  9. *
  10. * http://www.apache.org/licenses/LICENSE-2.0
  11. *
  12. * Unless required by applicable law or agreed to in writing, software
  13. * distributed under the License is distributed on an AS IS BASIS, WITHOUT
  14. * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  15. * See the License for the specific language governing permissions and
  16. * limitations under the License.
  17. *
  18. * -----------------------------------------------------------------------------
  19. *
  20. * Project: CMSIS-RTOS RTX
  21. * Title: RTX Library definitions
  22. *
  23. * -----------------------------------------------------------------------------
  24. */
  25. #ifndef RTX_LIB_H_
  26. #define RTX_LIB_H_
  27. #include <string.h>
  28. #include <stdbool.h>
  29. #include "core_cm.h" // Cortex-M definitions
  30. #include "tz_context.h" // TrustZone Context API
  31. #include "cmsis_os2.h" // CMSIS RTOS API
  32. #include "rtx_os.h" // RTX OS definitions
  33. // ==== Inline functions ====
  34. // Kernel Inline functions
  35. __STATIC_INLINE uint8_t os_KernelGetState (void) { return os_Info.kernel.state; }
  36. // Thread Inline functions
  37. __STATIC_INLINE os_thread_t *os_ThreadGetRunning (void) { return os_Info.thread.run.curr; }
  38. __STATIC_INLINE void os_ThreadSetRunning (os_thread_t *thread) { os_Info.thread.run.curr = thread; }
  39. // ==== Library functions ====
  40. // Thread Library functions
  41. extern void os_ThreadListPut (volatile os_object_t *object, os_thread_t *thread);
  42. extern os_thread_t *os_ThreadListGet (volatile os_object_t *object);
  43. extern void os_ThreadListSort (os_thread_t *thread);
  44. extern void os_ThreadListRemove (os_thread_t *thread);
  45. extern void os_ThreadListUnlink (os_thread_t **thread_list, os_thread_t *thread);
  46. extern void os_ThreadReadyPut (os_thread_t *thread);
  47. extern void os_ThreadDelayInsert (os_thread_t *thread, uint32_t delay);
  48. extern void os_ThreadDelayRemove (os_thread_t *thread);
  49. extern void os_ThreadDelayTick (void);
  50. extern uint32_t *os_ThreadRegPtr (os_thread_t *thread);
  51. extern void os_ThreadBlock (os_thread_t *thread);
  52. extern void os_ThreadSwitch (os_thread_t *thread);
  53. extern void os_ThreadDispatch (os_thread_t *thread);
  54. extern void os_ThreadWaitExit (os_thread_t *thread, uint32_t ret_val, bool dispatch);
  55. extern bool os_ThreadWaitEnter (uint8_t state, uint32_t timeout);
  56. extern void os_ThreadStackCheck (void);
  57. // Timer Library functions
  58. extern void os_TimerTick (void);
  59. extern void os_TimerThread (void *argument);
  60. // Mutex Library functions
  61. extern void os_MutexOwnerRelease (os_mutex_t *mutex_list);
  62. // Memory Heap Library functions
  63. extern uint32_t os_MemoryInit (void *mem, uint32_t size);
  64. extern void *os_MemoryAlloc(void *mem, uint32_t size, uint32_t type);
  65. extern uint32_t os_MemoryFree (void *mem, void *block);
  66. // Memory Pool Library functions
  67. extern uint32_t os_MemoryPoolInit (os_mp_info_t *mp_info, uint32_t blocks, uint32_t block_size, void *block_mem);
  68. extern void *os_MemoryPoolAlloc (os_mp_info_t *mp_info);
  69. extern osStatus_t os_MemoryPoolFree (os_mp_info_t *mp_info, void *block);
  70. // System Library functions
  71. extern void os_Tick_Handler (void);
  72. extern void os_PendSV_Handler (void);
  73. extern void os_PostProcess (os_object_t *object);
  74. // Post ISR processing functions
  75. extern void os_ThreadPostProcess (os_thread_t *thread);
  76. extern void os_EventFlagsPostProcess (os_event_flags_t *ef);
  77. extern void os_SemaphorePostProcess (os_semaphore_t *semaphore);
  78. extern void os_MemoryPoolPostProcess (os_memory_pool_t *mp);
  79. extern void os_MessageQueuePostProcess (os_message_t *msg);
  80. // ==== Service Calls ====
  81. // Kernel Service Calls
  82. extern osStatus_t os_svcKernelInitialize (void);
  83. extern osStatus_t os_svcKernelGetInfo (osVersion_t *version, char *id_buf, uint32_t id_size);
  84. extern osKernelState_t os_svcKernelGetState (void);
  85. extern osStatus_t os_svcKernelStart (void);
  86. extern uint32_t os_svcKernelLock (void);
  87. extern void os_svcKernelUnlock (void);
  88. extern uint32_t os_svcKernelSuspend (void);
  89. extern void os_svcKernelResume (uint32_t sleep_ticks);
  90. extern uint64_t os_svcKernelGetTickCount (void);
  91. extern uint32_t os_svcKernelGetTickFreq (void);
  92. extern uint32_t os_svcKernelGetSysTimerCount (void);
  93. extern uint32_t os_svcKernelGetSysTimerFreq (void);
  94. // Thread Service Calls
  95. extern osThreadId_t os_svcThreadNew (os_thread_func_t func, void *argument, const osThreadAttr_t *attr);
  96. extern const char * os_svcThreadGetName (osThreadId_t thread_id);
  97. extern osThreadId_t os_svcThreadGetId (void);
  98. extern osThreadState_t os_svcThreadGetState (osThreadId_t thread_id);
  99. extern uint32_t os_svcThreadGetStackSize (osThreadId_t thread_id);
  100. extern uint32_t os_svcThreadGetStackSpace(osThreadId_t thread_id);
  101. extern osStatus_t os_svcThreadSetPriority (osThreadId_t thread_id, osPriority_t priority);
  102. extern osPriority_t os_svcThreadGetPriority (osThreadId_t thread_id);
  103. extern osStatus_t os_svcThreadYield (void);
  104. extern osStatus_t os_svcThreadSuspend (osThreadId_t thread_id);
  105. extern osStatus_t os_svcThreadResume (osThreadId_t thread_id);
  106. extern osStatus_t os_svcThreadDetach (osThreadId_t thread_id);
  107. extern osStatus_t os_svcThreadJoin (osThreadId_t thread_id);
  108. extern void os_svcThreadExit (void);
  109. extern osStatus_t os_svcThreadTerminate (osThreadId_t thread_id);
  110. extern uint32_t os_svcThreadGetCount (void);
  111. extern uint32_t os_svcThreadEnumerate (osThreadId_t *thread_array, uint32_t array_items);
  112. extern int32_t os_svcThreadFlagsSet (osThreadId_t thread_id, int32_t flags);
  113. extern int32_t os_svcThreadFlagsClear (int32_t flags);
  114. extern int32_t os_svcThreadFlagsGet (void);
  115. extern int32_t os_svcThreadFlagsWait (int32_t flags, uint32_t options, uint32_t timeout);
  116. // Delay Service Calls
  117. extern osStatus_t os_svcDelay (uint32_t ticks);
  118. extern osStatus_t os_svcDelayUntil (uint64_t ticks);
  119. // Timer Service Calls
  120. extern osTimerId_t os_svcTimerNew (os_timer_func_t func, osTimerType_t type, void *argument, const osTimerAttr_t *attr);
  121. extern const char * os_svcTimerGetName (osTimerId_t timer_id);
  122. extern osStatus_t os_svcTimerStart (osTimerId_t timer_id, uint32_t ticks);
  123. extern osStatus_t os_svcTimerStop (osTimerId_t timer_id);
  124. extern uint32_t os_svcTimerIsRunning (osTimerId_t timer_id);
  125. extern osStatus_t os_svcTimerDelete (osTimerId_t timer_id);
  126. // Event Flags Service Calls
  127. extern osEventFlagsId_t os_svcEventFlagsNew (const osEventFlagsAttr_t *attr);
  128. extern const char * os_svcEventFlagsGetName (osEventFlagsId_t ef_id);
  129. extern int32_t os_svcEventFlagsSet (osEventFlagsId_t ef_id, int32_t flags);
  130. extern int32_t os_svcEventFlagsClear (osEventFlagsId_t ef_id, int32_t flags);
  131. extern int32_t os_svcEventFlagsGet (osEventFlagsId_t ef_id);
  132. extern int32_t os_svcEventFlagsWait (osEventFlagsId_t ef_id, int32_t flags, uint32_t options, uint32_t timeout);
  133. extern osStatus_t os_svcEventFlagsDelete (osEventFlagsId_t ef_id);
  134. // Mutex Service Calls
  135. extern osMutexId_t os_svcMutexNew (const osMutexAttr_t *attr);
  136. extern const char * os_svcMutexGetName (osMutexId_t mutex_id);
  137. extern osStatus_t os_svcMutexAcquire (osMutexId_t mutex_id, uint32_t timeout);
  138. extern osStatus_t os_svcMutexRelease (osMutexId_t mutex_id);
  139. extern osThreadId_t os_svcMutexGetOwner (osMutexId_t mutex_id);
  140. extern osStatus_t os_svcMutexDelete (osMutexId_t mutex_id);
  141. // Semaphore Service Calls
  142. extern osSemaphoreId_t os_svcSemaphoreNew (uint32_t max_count, uint32_t initial_count, const osSemaphoreAttr_t *attr);
  143. extern const char * os_svcSemaphoreGetName (osSemaphoreId_t semaphore_id);
  144. extern osStatus_t os_svcSemaphoreRelease (osSemaphoreId_t semaphore_id);
  145. extern osStatus_t os_svcSemaphoreAcquire (osSemaphoreId_t semaphore_id, uint32_t timeout);
  146. extern uint32_t os_svcSemaphoreGetCount(osSemaphoreId_t semaphore_id);
  147. extern osStatus_t os_svcSemaphoreDelete (osSemaphoreId_t semaphore_id);
  148. // Memory Pool Service Calls
  149. extern osMemoryPoolId_t os_svcMemoryPoolNew (uint32_t blocks, uint32_t block_size, const osMemoryPoolAttr_t *attr);
  150. extern const char * os_svcMemoryPoolGetName (osMemoryPoolId_t mp_id);
  151. extern void * os_svcMemoryPoolAlloc (osMemoryPoolId_t mp_id, uint32_t timeout);
  152. extern osStatus_t os_svcMemoryPoolFree (osMemoryPoolId_t mp_id, void *block);
  153. extern uint32_t os_svcMemoryPoolGetCapacity (osMemoryPoolId_t mp_id);
  154. extern uint32_t os_svcMemoryPoolGetBlockSize (osMemoryPoolId_t mp_id);
  155. extern uint32_t os_svcMemoryPoolGetCount (osMemoryPoolId_t mp_id);
  156. extern uint32_t os_svcMemoryPoolGetSpace (osMemoryPoolId_t mp_id);
  157. extern osStatus_t os_svcMemoryPoolDelete (osMemoryPoolId_t mp_id);
  158. // Message Queue Service Calls
  159. extern osMessageQueueId_t os_svcMessageQueueNew (uint32_t msg_count, uint32_t msg_size, const osMessageQueueAttr_t *attr);
  160. extern const char * os_svcMessageQueueGetName (osMessageQueueId_t mq_id);
  161. extern osStatus_t os_svcMessageQueuePut (osMessageQueueId_t mq_id, const void *msg_ptr, uint8_t msg_prio, uint32_t timeout);
  162. extern osStatus_t os_svcMessageQueueGet (osMessageQueueId_t mq_id, void *msg_ptr, uint8_t *msg_prio, uint32_t timeout);
  163. extern uint32_t os_svcMessageQueueGetCapacity (osMessageQueueId_t mq_id);
  164. extern uint32_t os_svcMessageQueueGetMsgSize (osMessageQueueId_t mq_id);
  165. extern uint32_t os_svcMessageQueueGetCount (osMessageQueueId_t mq_id);
  166. extern uint32_t os_svcMessageQueueGetSpace (osMessageQueueId_t mq_id);
  167. extern osStatus_t os_svcMessageQueueReset (osMessageQueueId_t mq_id);
  168. extern osStatus_t os_svcMessageQueueDelete (osMessageQueueId_t mq_id);
  169. #endif // RTX_LIB_H_