Austin Blackstone / Mbed 2 deprecated client-lwip-lightswitch-demo-expanded

mbed client lightswitch demo

Dependencies:   mbed Socket lwip-eth lwip-sys lwip

Fork of mbed-client-classic-example-lwip by Austin Blackstone

mbed-rtos/rtx/TARGET_ARM7/rt_CMSIS.c@11:cada08fc8a70, 2016-06-09 (annotated)

Committer:
mbedAustin
Date:
Thu Jun 09 17:08:36 2016 +0000
Revision:
11:cada08fc8a70
Commit for public Consumption

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbedAustin 11:cada08fc8a70 1 /*----------------------------------------------------------------------------
mbedAustin 11:cada08fc8a70 2 * RL-ARM - RTX
mbedAustin 11:cada08fc8a70 3 *----------------------------------------------------------------------------
mbedAustin 11:cada08fc8a70 4 * Name: rt_CMSIS.c
mbedAustin 11:cada08fc8a70 5 * Purpose: CMSIS RTOS API
mbedAustin 11:cada08fc8a70 6 * Rev.: V4.60
mbedAustin 11:cada08fc8a70 7 *----------------------------------------------------------------------------
mbedAustin 11:cada08fc8a70 8 *
mbedAustin 11:cada08fc8a70 9 * Copyright (c) 1999-2009 KEIL, 2009-2015 ARM Germany GmbH
mbedAustin 11:cada08fc8a70 10 * All rights reserved.
mbedAustin 11:cada08fc8a70 11 * Redistribution and use in source and binary forms, with or without
mbedAustin 11:cada08fc8a70 12 * modification, are permitted provided that the following conditions are met:
mbedAustin 11:cada08fc8a70 13 * - Redistributions of source code must retain the above copyright
mbedAustin 11:cada08fc8a70 14 * notice, this list of conditions and the following disclaimer.
mbedAustin 11:cada08fc8a70 15 * - Redistributions in binary form must reproduce the above copyright
mbedAustin 11:cada08fc8a70 16 * notice, this list of conditions and the following disclaimer in the
mbedAustin 11:cada08fc8a70 17 * documentation and/or other materials provided with the distribution.
mbedAustin 11:cada08fc8a70 18 * - Neither the name of ARM nor the names of its contributors may be used
mbedAustin 11:cada08fc8a70 19 * to endorse or promote products derived from this software without
mbedAustin 11:cada08fc8a70 20 * specific prior written permission.
mbedAustin 11:cada08fc8a70 21 *
mbedAustin 11:cada08fc8a70 22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
mbedAustin 11:cada08fc8a70 23 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
mbedAustin 11:cada08fc8a70 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
mbedAustin 11:cada08fc8a70 25 * ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDERS AND CONTRIBUTORS BE
mbedAustin 11:cada08fc8a70 26 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
mbedAustin 11:cada08fc8a70 27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
mbedAustin 11:cada08fc8a70 28 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
mbedAustin 11:cada08fc8a70 29 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
mbedAustin 11:cada08fc8a70 30 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
mbedAustin 11:cada08fc8a70 31 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
mbedAustin 11:cada08fc8a70 32 * POSSIBILITY OF SUCH DAMAGE.
mbedAustin 11:cada08fc8a70 33 *---------------------------------------------------------------------------*/
mbedAustin 11:cada08fc8a70 34
mbedAustin 11:cada08fc8a70 35 #define __CMSIS_GENERIC
mbedAustin 11:cada08fc8a70 36
mbedAustin 11:cada08fc8a70 37 #include "core_arm7.h"
mbedAustin 11:cada08fc8a70 38
mbedAustin 11:cada08fc8a70 39 #include "rt_TypeDef.h"
mbedAustin 11:cada08fc8a70 40 #include "RTX_Conf.h"
mbedAustin 11:cada08fc8a70 41 #include "rt_System.h"
mbedAustin 11:cada08fc8a70 42 #include "rt_Task.h"
mbedAustin 11:cada08fc8a70 43 #include "rt_Event.h"
mbedAustin 11:cada08fc8a70 44 #include "rt_List.h"
mbedAustin 11:cada08fc8a70 45 #include "rt_Time.h"
mbedAustin 11:cada08fc8a70 46 #include "rt_Mutex.h"
mbedAustin 11:cada08fc8a70 47 #include "rt_Semaphore.h"
mbedAustin 11:cada08fc8a70 48 #include "rt_Mailbox.h"
mbedAustin 11:cada08fc8a70 49 #include "rt_MemBox.h"
mbedAustin 11:cada08fc8a70 50 #include "rt_HAL_CM.h"
mbedAustin 11:cada08fc8a70 51
mbedAustin 11:cada08fc8a70 52 #define os_thread_cb OS_TCB
mbedAustin 11:cada08fc8a70 53
mbedAustin 11:cada08fc8a70 54 #include "cmsis_os.h"
mbedAustin 11:cada08fc8a70 55
mbedAustin 11:cada08fc8a70 56 #if (osFeature_Signals != 16)
mbedAustin 11:cada08fc8a70 57 #error Invalid "osFeature_Signals" value!
mbedAustin 11:cada08fc8a70 58 #endif
mbedAustin 11:cada08fc8a70 59 #if (osFeature_Semaphore > 65535)
mbedAustin 11:cada08fc8a70 60 #error Invalid "osFeature_Semaphore" value!
mbedAustin 11:cada08fc8a70 61 #endif
mbedAustin 11:cada08fc8a70 62 #if (osFeature_Wait != 0)
mbedAustin 11:cada08fc8a70 63 #error osWait not supported!
mbedAustin 11:cada08fc8a70 64 #endif
mbedAustin 11:cada08fc8a70 65
mbedAustin 11:cada08fc8a70 66
mbedAustin 11:cada08fc8a70 67 // ==== Enumeration, structures, defines ====
mbedAustin 11:cada08fc8a70 68
mbedAustin 11:cada08fc8a70 69 // Service Calls defines
mbedAustin 11:cada08fc8a70 70
mbedAustin 11:cada08fc8a70 71 #if defined (__CC_ARM) /* ARM Compiler */
mbedAustin 11:cada08fc8a70 72
mbedAustin 11:cada08fc8a70 73 #define __NO_RETURN __declspec(noreturn)
mbedAustin 11:cada08fc8a70 74
mbedAustin 11:cada08fc8a70 75 #define osEvent_type osEvent
mbedAustin 11:cada08fc8a70 76 #define osEvent_ret_status ret
mbedAustin 11:cada08fc8a70 77 #define osEvent_ret_value ret
mbedAustin 11:cada08fc8a70 78 #define osEvent_ret_msg ret
mbedAustin 11:cada08fc8a70 79 #define osEvent_ret_mail ret
mbedAustin 11:cada08fc8a70 80
mbedAustin 11:cada08fc8a70 81 #define osCallback_type osCallback
mbedAustin 11:cada08fc8a70 82 #define osCallback_ret ret
mbedAustin 11:cada08fc8a70 83
mbedAustin 11:cada08fc8a70 84 #define SVC_0_1(f,t,...) \
mbedAustin 11:cada08fc8a70 85 __svc_indirect(0) t _##f (t(*)()); \
mbedAustin 11:cada08fc8a70 86 t f (void); \
mbedAustin 11:cada08fc8a70 87 __attribute__((always_inline)) \
mbedAustin 11:cada08fc8a70 88 static __inline t __##f (void) { \
mbedAustin 11:cada08fc8a70 89 return _##f(f); \
mbedAustin 11:cada08fc8a70 90 }
mbedAustin 11:cada08fc8a70 91
mbedAustin 11:cada08fc8a70 92 #define SVC_1_1(f,t,t1,...) \
mbedAustin 11:cada08fc8a70 93 __svc_indirect(0) t _##f (t(*)(t1),t1); \
mbedAustin 11:cada08fc8a70 94 t f (t1 a1); \
mbedAustin 11:cada08fc8a70 95 __attribute__((always_inline)) \
mbedAustin 11:cada08fc8a70 96 static __inline t __##f (t1 a1) { \
mbedAustin 11:cada08fc8a70 97 return _##f(f,a1); \
mbedAustin 11:cada08fc8a70 98 }
mbedAustin 11:cada08fc8a70 99
mbedAustin 11:cada08fc8a70 100 #define SVC_2_1(f,t,t1,t2,...) \
mbedAustin 11:cada08fc8a70 101 __svc_indirect(0) t _##f (t(*)(t1,t2),t1,t2); \
mbedAustin 11:cada08fc8a70 102 t f (t1 a1, t2 a2); \
mbedAustin 11:cada08fc8a70 103 __attribute__((always_inline)) \
mbedAustin 11:cada08fc8a70 104 static __inline t __##f (t1 a1, t2 a2) { \
mbedAustin 11:cada08fc8a70 105 return _##f(f,a1,a2); \
mbedAustin 11:cada08fc8a70 106 }
mbedAustin 11:cada08fc8a70 107
mbedAustin 11:cada08fc8a70 108 #define SVC_3_1(f,t,t1,t2,t3,...) \
mbedAustin 11:cada08fc8a70 109 __svc_indirect(0) t _##f (t(*)(t1,t2,t3),t1,t2,t3); \
mbedAustin 11:cada08fc8a70 110 t f (t1 a1, t2 a2, t3 a3); \
mbedAustin 11:cada08fc8a70 111 __attribute__((always_inline)) \
mbedAustin 11:cada08fc8a70 112 static __inline t __##f (t1 a1, t2 a2, t3 a3) { \
mbedAustin 11:cada08fc8a70 113 return _##f(f,a1,a2,a3); \
mbedAustin 11:cada08fc8a70 114 }
mbedAustin 11:cada08fc8a70 115
mbedAustin 11:cada08fc8a70 116 #define SVC_4_1(f,t,t1,t2,t3,t4,...) \
mbedAustin 11:cada08fc8a70 117 __svc_indirect(0) t _##f (t(*)(t1,t2,t3,t4),t1,t2,t3,t4); \
mbedAustin 11:cada08fc8a70 118 t f (t1 a1, t2 a2, t3 a3, t4 a4); \
mbedAustin 11:cada08fc8a70 119 __attribute__((always_inline)) \
mbedAustin 11:cada08fc8a70 120 static __inline t __##f (t1 a1, t2 a2, t3 a3, t4 a4) { \
mbedAustin 11:cada08fc8a70 121 return _##f(f,a1,a2,a3,a4); \
mbedAustin 11:cada08fc8a70 122 }
mbedAustin 11:cada08fc8a70 123
mbedAustin 11:cada08fc8a70 124 #define SVC_1_2 SVC_1_1
mbedAustin 11:cada08fc8a70 125 #define SVC_1_3 SVC_1_1
mbedAustin 11:cada08fc8a70 126 #define SVC_2_3 SVC_2_1
mbedAustin 11:cada08fc8a70 127
mbedAustin 11:cada08fc8a70 128 #elif defined (__GNUC__) /* GNU Compiler */
mbedAustin 11:cada08fc8a70 129
mbedAustin 11:cada08fc8a70 130 #define __NO_RETURN __attribute__((noreturn))
mbedAustin 11:cada08fc8a70 131
mbedAustin 11:cada08fc8a70 132 typedef uint32_t __attribute__((vector_size(8))) ret64;
mbedAustin 11:cada08fc8a70 133 typedef uint32_t __attribute__((vector_size(16))) ret128;
mbedAustin 11:cada08fc8a70 134
mbedAustin 11:cada08fc8a70 135 #define RET_pointer __r0
mbedAustin 11:cada08fc8a70 136 #define RET_int32_t __r0
mbedAustin 11:cada08fc8a70 137 #define RET_osStatus __r0
mbedAustin 11:cada08fc8a70 138 #define RET_osPriority __r0
mbedAustin 11:cada08fc8a70 139 #define RET_osEvent {(osStatus)__r0, {(uint32_t)__r1}, {(void *)__r2}}
mbedAustin 11:cada08fc8a70 140 #define RET_osCallback {(void *)__r0, (void *)__r1}
mbedAustin 11:cada08fc8a70 141
mbedAustin 11:cada08fc8a70 142 #define osEvent_type ret128
mbedAustin 11:cada08fc8a70 143 #define osEvent_ret_status (ret128){ret.status}
mbedAustin 11:cada08fc8a70 144 #define osEvent_ret_value (ret128){ret.status, ret.value.v}
mbedAustin 11:cada08fc8a70 145 #define osEvent_ret_msg (ret128){ret.status, ret.value.v, (uint32_t)ret.def.message_id}
mbedAustin 11:cada08fc8a70 146 #define osEvent_ret_mail (ret128){ret.status, ret.value.v, (uint32_t)ret.def.mail_id}
mbedAustin 11:cada08fc8a70 147
mbedAustin 11:cada08fc8a70 148 #define osCallback_type ret64
mbedAustin 11:cada08fc8a70 149 #define osCallback_ret (ret64) {(uint32_t)ret.fp, (uint32_t)ret.arg}
mbedAustin 11:cada08fc8a70 150
mbedAustin 11:cada08fc8a70 151 #define SVC_ArgN(n) \
mbedAustin 11:cada08fc8a70 152 register int __r##n __asm("r"#n);
mbedAustin 11:cada08fc8a70 153
mbedAustin 11:cada08fc8a70 154 #define SVC_ArgR(n,t,a) \
mbedAustin 11:cada08fc8a70 155 register t __r##n __asm("r"#n) = a;
mbedAustin 11:cada08fc8a70 156
mbedAustin 11:cada08fc8a70 157 #define SVC_Arg0() \
mbedAustin 11:cada08fc8a70 158 SVC_ArgN(0) \
mbedAustin 11:cada08fc8a70 159 SVC_ArgN(1) \
mbedAustin 11:cada08fc8a70 160 SVC_ArgN(2) \
mbedAustin 11:cada08fc8a70 161 SVC_ArgN(3)
mbedAustin 11:cada08fc8a70 162
mbedAustin 11:cada08fc8a70 163 #define SVC_Arg1(t1) \
mbedAustin 11:cada08fc8a70 164 SVC_ArgR(0,t1,a1) \
mbedAustin 11:cada08fc8a70 165 SVC_ArgN(1) \
mbedAustin 11:cada08fc8a70 166 SVC_ArgN(2) \
mbedAustin 11:cada08fc8a70 167 SVC_ArgN(3)
mbedAustin 11:cada08fc8a70 168
mbedAustin 11:cada08fc8a70 169 #define SVC_Arg2(t1,t2) \
mbedAustin 11:cada08fc8a70 170 SVC_ArgR(0,t1,a1) \
mbedAustin 11:cada08fc8a70 171 SVC_ArgR(1,t2,a2) \
mbedAustin 11:cada08fc8a70 172 SVC_ArgN(2) \
mbedAustin 11:cada08fc8a70 173 SVC_ArgN(3)
mbedAustin 11:cada08fc8a70 174
mbedAustin 11:cada08fc8a70 175 #define SVC_Arg3(t1,t2,t3) \
mbedAustin 11:cada08fc8a70 176 SVC_ArgR(0,t1,a1) \
mbedAustin 11:cada08fc8a70 177 SVC_ArgR(1,t2,a2) \
mbedAustin 11:cada08fc8a70 178 SVC_ArgR(2,t3,a3) \
mbedAustin 11:cada08fc8a70 179 SVC_ArgN(3)
mbedAustin 11:cada08fc8a70 180
mbedAustin 11:cada08fc8a70 181 #define SVC_Arg4(t1,t2,t3,t4) \
mbedAustin 11:cada08fc8a70 182 SVC_ArgR(0,t1,a1) \
mbedAustin 11:cada08fc8a70 183 SVC_ArgR(1,t2,a2) \
mbedAustin 11:cada08fc8a70 184 SVC_ArgR(2,t3,a3) \
mbedAustin 11:cada08fc8a70 185 SVC_ArgR(3,t4,a4)
mbedAustin 11:cada08fc8a70 186
mbedAustin 11:cada08fc8a70 187 #if (defined (__CORTEX_M0)) || defined (__CORTEX_M0PLUS)
mbedAustin 11:cada08fc8a70 188 #define SVC_Call(f) \
mbedAustin 11:cada08fc8a70 189 __asm volatile \
mbedAustin 11:cada08fc8a70 190 ( \
mbedAustin 11:cada08fc8a70 191 "ldr r7,="#f"\n\t" \
mbedAustin 11:cada08fc8a70 192 "mov r12,r7\n\t" \
mbedAustin 11:cada08fc8a70 193 "svc 0" \
mbedAustin 11:cada08fc8a70 194 : "=r" (__r0), "=r" (__r1), "=r" (__r2), "=r" (__r3) \
mbedAustin 11:cada08fc8a70 195 : "r" (__r0), "r" (__r1), "r" (__r2), "r" (__r3) \
mbedAustin 11:cada08fc8a70 196 : "r7", "r12", "lr", "cc" \
mbedAustin 11:cada08fc8a70 197 );
mbedAustin 11:cada08fc8a70 198 #else
mbedAustin 11:cada08fc8a70 199 #define SVC_Call(f) \
mbedAustin 11:cada08fc8a70 200 __asm volatile \
mbedAustin 11:cada08fc8a70 201 ( \
mbedAustin 11:cada08fc8a70 202 "ldr r12,="#f"\n\t" \
mbedAustin 11:cada08fc8a70 203 "svc 0" \
mbedAustin 11:cada08fc8a70 204 : "=r" (__r0), "=r" (__r1), "=r" (__r2), "=r" (__r3) \
mbedAustin 11:cada08fc8a70 205 : "r" (__r0), "r" (__r1), "r" (__r2), "r" (__r3) \
mbedAustin 11:cada08fc8a70 206 : "r12", "lr", "cc" \
mbedAustin 11:cada08fc8a70 207 );
mbedAustin 11:cada08fc8a70 208 #endif
mbedAustin 11:cada08fc8a70 209
mbedAustin 11:cada08fc8a70 210 #define SVC_0_1(f,t,rv) \
mbedAustin 11:cada08fc8a70 211 __attribute__((always_inline)) \
mbedAustin 11:cada08fc8a70 212 static inline t __##f (void) { \
mbedAustin 11:cada08fc8a70 213 SVC_Arg0(); \
mbedAustin 11:cada08fc8a70 214 SVC_Call(f); \
mbedAustin 11:cada08fc8a70 215 return (t) rv; \
mbedAustin 11:cada08fc8a70 216 }
mbedAustin 11:cada08fc8a70 217
mbedAustin 11:cada08fc8a70 218 #define SVC_1_1(f,t,t1,rv) \
mbedAustin 11:cada08fc8a70 219 __attribute__((always_inline)) \
mbedAustin 11:cada08fc8a70 220 static inline t __##f (t1 a1) { \
mbedAustin 11:cada08fc8a70 221 SVC_Arg1(t1); \
mbedAustin 11:cada08fc8a70 222 SVC_Call(f); \
mbedAustin 11:cada08fc8a70 223 return (t) rv; \
mbedAustin 11:cada08fc8a70 224 }
mbedAustin 11:cada08fc8a70 225
mbedAustin 11:cada08fc8a70 226 #define SVC_2_1(f,t,t1,t2,rv) \
mbedAustin 11:cada08fc8a70 227 __attribute__((always_inline)) \
mbedAustin 11:cada08fc8a70 228 static inline t __##f (t1 a1, t2 a2) { \
mbedAustin 11:cada08fc8a70 229 SVC_Arg2(t1,t2); \
mbedAustin 11:cada08fc8a70 230 SVC_Call(f); \
mbedAustin 11:cada08fc8a70 231 return (t) rv; \
mbedAustin 11:cada08fc8a70 232 }
mbedAustin 11:cada08fc8a70 233
mbedAustin 11:cada08fc8a70 234 #define SVC_3_1(f,t,t1,t2,t3,rv) \
mbedAustin 11:cada08fc8a70 235 __attribute__((always_inline)) \
mbedAustin 11:cada08fc8a70 236 static inline t __##f (t1 a1, t2 a2, t3 a3) { \
mbedAustin 11:cada08fc8a70 237 SVC_Arg3(t1,t2,t3); \
mbedAustin 11:cada08fc8a70 238 SVC_Call(f); \
mbedAustin 11:cada08fc8a70 239 return (t) rv; \
mbedAustin 11:cada08fc8a70 240 }
mbedAustin 11:cada08fc8a70 241
mbedAustin 11:cada08fc8a70 242 #define SVC_4_1(f,t,t1,t2,t3,t4,rv) \
mbedAustin 11:cada08fc8a70 243 __attribute__((always_inline)) \
mbedAustin 11:cada08fc8a70 244 static inline t __##f (t1 a1, t2 a2, t3 a3, t4 a4) { \
mbedAustin 11:cada08fc8a70 245 SVC_Arg4(t1,t2,t3,t4); \
mbedAustin 11:cada08fc8a70 246 SVC_Call(f); \
mbedAustin 11:cada08fc8a70 247 return (t) rv; \
mbedAustin 11:cada08fc8a70 248 }
mbedAustin 11:cada08fc8a70 249
mbedAustin 11:cada08fc8a70 250 #define SVC_1_2 SVC_1_1
mbedAustin 11:cada08fc8a70 251 #define SVC_1_3 SVC_1_1
mbedAustin 11:cada08fc8a70 252 #define SVC_2_3 SVC_2_1
mbedAustin 11:cada08fc8a70 253
mbedAustin 11:cada08fc8a70 254 #elif defined (__ICCARM__) /* IAR Compiler */
mbedAustin 11:cada08fc8a70 255
mbedAustin 11:cada08fc8a70 256 #define __NO_RETURN __noreturn
mbedAustin 11:cada08fc8a70 257
mbedAustin 11:cada08fc8a70 258 #define osEvent_type osEvent
mbedAustin 11:cada08fc8a70 259 #define osEvent_ret_status ret
mbedAustin 11:cada08fc8a70 260 #define osEvent_ret_value ret
mbedAustin 11:cada08fc8a70 261 #define osEvent_ret_msg ret
mbedAustin 11:cada08fc8a70 262 #define osEvent_ret_mail ret
mbedAustin 11:cada08fc8a70 263
mbedAustin 11:cada08fc8a70 264 #define osCallback_type osCallback
mbedAustin 11:cada08fc8a70 265 #define osCallback_ret ret
mbedAustin 11:cada08fc8a70 266
mbedAustin 11:cada08fc8a70 267 #define RET_osEvent osEvent
mbedAustin 11:cada08fc8a70 268 #define RET_osCallback osCallback
mbedAustin 11:cada08fc8a70 269
mbedAustin 11:cada08fc8a70 270 #define SVC_Setup(f) \
mbedAustin 11:cada08fc8a70 271 __asm( \
mbedAustin 11:cada08fc8a70 272 "mov r12,%0\n" \
mbedAustin 11:cada08fc8a70 273 :: "r"(&f): "r12" \
mbedAustin 11:cada08fc8a70 274 );
mbedAustin 11:cada08fc8a70 275
mbedAustin 11:cada08fc8a70 276
mbedAustin 11:cada08fc8a70 277 #define SVC_0_1(f,t,...) \
mbedAustin 11:cada08fc8a70 278 t f (void); \
mbedAustin 11:cada08fc8a70 279 _Pragma("swi_number=0") __swi t _##f (void); \
mbedAustin 11:cada08fc8a70 280 static inline t __##f (void) { \
mbedAustin 11:cada08fc8a70 281 SVC_Setup(f); \
mbedAustin 11:cada08fc8a70 282 return _##f(); \
mbedAustin 11:cada08fc8a70 283 }
mbedAustin 11:cada08fc8a70 284
mbedAustin 11:cada08fc8a70 285 #define SVC_1_1(f,t,t1,...) \
mbedAustin 11:cada08fc8a70 286 t f (t1 a1); \
mbedAustin 11:cada08fc8a70 287 _Pragma("swi_number=0") __swi t _##f (t1 a1); \
mbedAustin 11:cada08fc8a70 288 static inline t __##f (t1 a1) { \
mbedAustin 11:cada08fc8a70 289 SVC_Setup(f); \
mbedAustin 11:cada08fc8a70 290 return _##f(a1); \
mbedAustin 11:cada08fc8a70 291 }
mbedAustin 11:cada08fc8a70 292
mbedAustin 11:cada08fc8a70 293 #define SVC_2_1(f,t,t1,t2,...) \
mbedAustin 11:cada08fc8a70 294 t f (t1 a1, t2 a2); \
mbedAustin 11:cada08fc8a70 295 _Pragma("swi_number=0") __swi t _##f (t1 a1, t2 a2); \
mbedAustin 11:cada08fc8a70 296 static inline t __##f (t1 a1, t2 a2) { \
mbedAustin 11:cada08fc8a70 297 SVC_Setup(f); \
mbedAustin 11:cada08fc8a70 298 return _##f(a1,a2); \
mbedAustin 11:cada08fc8a70 299 }
mbedAustin 11:cada08fc8a70 300
mbedAustin 11:cada08fc8a70 301 #define SVC_3_1(f,t,t1,t2,t3,...) \
mbedAustin 11:cada08fc8a70 302 t f (t1 a1, t2 a2, t3 a3); \
mbedAustin 11:cada08fc8a70 303 _Pragma("swi_number=0") __swi t _##f (t1 a1, t2 a2, t3 a3); \
mbedAustin 11:cada08fc8a70 304 static inline t __##f (t1 a1, t2 a2, t3 a3) { \
mbedAustin 11:cada08fc8a70 305 SVC_Setup(f); \
mbedAustin 11:cada08fc8a70 306 return _##f(a1,a2,a3); \
mbedAustin 11:cada08fc8a70 307 }
mbedAustin 11:cada08fc8a70 308
mbedAustin 11:cada08fc8a70 309 #define SVC_4_1(f,t,t1,t2,t3,t4,...) \
mbedAustin 11:cada08fc8a70 310 t f (t1 a1, t2 a2, t3 a3, t4 a4); \
mbedAustin 11:cada08fc8a70 311 _Pragma("swi_number=0") __swi t _##f (t1 a1, t2 a2, t3 a3, t4 a4); \
mbedAustin 11:cada08fc8a70 312 static inline t __##f (t1 a1, t2 a2, t3 a3, t4 a4) { \
mbedAustin 11:cada08fc8a70 313 SVC_Setup(f); \
mbedAustin 11:cada08fc8a70 314 return _##f(a1,a2,a3,a4); \
mbedAustin 11:cada08fc8a70 315 }
mbedAustin 11:cada08fc8a70 316
mbedAustin 11:cada08fc8a70 317 #define SVC_1_2 SVC_1_1
mbedAustin 11:cada08fc8a70 318 #define SVC_1_3 SVC_1_1
mbedAustin 11:cada08fc8a70 319 #define SVC_2_3 SVC_2_1
mbedAustin 11:cada08fc8a70 320
mbedAustin 11:cada08fc8a70 321 #endif
mbedAustin 11:cada08fc8a70 322
mbedAustin 11:cada08fc8a70 323
mbedAustin 11:cada08fc8a70 324 // Callback structure
mbedAustin 11:cada08fc8a70 325 typedef struct {
mbedAustin 11:cada08fc8a70 326 void *fp; // Function pointer
mbedAustin 11:cada08fc8a70 327 void *arg; // Function argument
mbedAustin 11:cada08fc8a70 328 } osCallback;
mbedAustin 11:cada08fc8a70 329
mbedAustin 11:cada08fc8a70 330
mbedAustin 11:cada08fc8a70 331 // OS Section definitions
mbedAustin 11:cada08fc8a70 332 #ifdef OS_SECTIONS_LINK_INFO
mbedAustin 11:cada08fc8a70 333 extern const uint32_t os_section_id$$Base;
mbedAustin 11:cada08fc8a70 334 extern const uint32_t os_section_id$$Limit;
mbedAustin 11:cada08fc8a70 335 #endif
mbedAustin 11:cada08fc8a70 336
mbedAustin 11:cada08fc8a70 337 // OS Timers external resources
mbedAustin 11:cada08fc8a70 338 extern osThreadDef_t os_thread_def_osTimerThread;
mbedAustin 11:cada08fc8a70 339 extern osThreadId osThreadId_osTimerThread;
mbedAustin 11:cada08fc8a70 340 extern osMessageQDef_t os_messageQ_def_osTimerMessageQ;
mbedAustin 11:cada08fc8a70 341 extern osMessageQId osMessageQId_osTimerMessageQ;
mbedAustin 11:cada08fc8a70 342
mbedAustin 11:cada08fc8a70 343
mbedAustin 11:cada08fc8a70 344 // ==== Helper Functions ====
mbedAustin 11:cada08fc8a70 345
mbedAustin 11:cada08fc8a70 346 /// Convert timeout in millisec to system ticks
mbedAustin 11:cada08fc8a70 347 static uint32_t rt_ms2tick (uint32_t millisec) {
mbedAustin 11:cada08fc8a70 348 uint32_t tick;
mbedAustin 11:cada08fc8a70 349
mbedAustin 11:cada08fc8a70 350 if (millisec == osWaitForever) return 0xFFFF; // Indefinite timeout
mbedAustin 11:cada08fc8a70 351 if (millisec > 4000000) return 0xFFFE; // Max ticks supported
mbedAustin 11:cada08fc8a70 352
mbedAustin 11:cada08fc8a70 353 tick = ((1000 * millisec) + os_clockrate - 1) / os_clockrate;
mbedAustin 11:cada08fc8a70 354 if (tick > 0xFFFE) return 0xFFFE;
mbedAustin 11:cada08fc8a70 355
mbedAustin 11:cada08fc8a70 356 return tick;
mbedAustin 11:cada08fc8a70 357 }
mbedAustin 11:cada08fc8a70 358
mbedAustin 11:cada08fc8a70 359 /// Convert Thread ID to TCB pointer
mbedAustin 11:cada08fc8a70 360 static P_TCB rt_tid2ptcb (osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 361 P_TCB ptcb;
mbedAustin 11:cada08fc8a70 362
mbedAustin 11:cada08fc8a70 363 if (thread_id == NULL) return NULL;
mbedAustin 11:cada08fc8a70 364
mbedAustin 11:cada08fc8a70 365 if ((uint32_t)thread_id & 3) return NULL;
mbedAustin 11:cada08fc8a70 366
mbedAustin 11:cada08fc8a70 367 #ifdef OS_SECTIONS_LINK_INFO
mbedAustin 11:cada08fc8a70 368 if ((os_section_id$$Base != 0) && (os_section_id$$Limit != 0)) {
mbedAustin 11:cada08fc8a70 369 if (thread_id < (osThreadId)os_section_id$$Base) return NULL;
mbedAustin 11:cada08fc8a70 370 if (thread_id >= (osThreadId)os_section_id$$Limit) return NULL;
mbedAustin 11:cada08fc8a70 371 }
mbedAustin 11:cada08fc8a70 372 #endif
mbedAustin 11:cada08fc8a70 373
mbedAustin 11:cada08fc8a70 374 ptcb = thread_id;
mbedAustin 11:cada08fc8a70 375
mbedAustin 11:cada08fc8a70 376 if (ptcb->cb_type != TCB) return NULL;
mbedAustin 11:cada08fc8a70 377
mbedAustin 11:cada08fc8a70 378 return ptcb;
mbedAustin 11:cada08fc8a70 379 }
mbedAustin 11:cada08fc8a70 380
mbedAustin 11:cada08fc8a70 381 /// Convert ID pointer to Object pointer
mbedAustin 11:cada08fc8a70 382 static void *rt_id2obj (void *id) {
mbedAustin 11:cada08fc8a70 383
mbedAustin 11:cada08fc8a70 384 if ((uint32_t)id & 3) return NULL;
mbedAustin 11:cada08fc8a70 385
mbedAustin 11:cada08fc8a70 386 #ifdef OS_SECTIONS_LINK_INFO
mbedAustin 11:cada08fc8a70 387 if ((os_section_id$$Base != 0) && (os_section_id$$Limit != 0)) {
mbedAustin 11:cada08fc8a70 388 if (id < (void *)os_section_id$$Base) return NULL;
mbedAustin 11:cada08fc8a70 389 if (id >= (void *)os_section_id$$Limit) return NULL;
mbedAustin 11:cada08fc8a70 390 }
mbedAustin 11:cada08fc8a70 391 #endif
mbedAustin 11:cada08fc8a70 392
mbedAustin 11:cada08fc8a70 393 return id;
mbedAustin 11:cada08fc8a70 394 }
mbedAustin 11:cada08fc8a70 395
mbedAustin 11:cada08fc8a70 396
mbedAustin 11:cada08fc8a70 397 // ==== Kernel Control ====
mbedAustin 11:cada08fc8a70 398
mbedAustin 11:cada08fc8a70 399 uint8_t os_initialized; // Kernel Initialized flag
mbedAustin 11:cada08fc8a70 400 uint8_t os_running; // Kernel Running flag
mbedAustin 11:cada08fc8a70 401
mbedAustin 11:cada08fc8a70 402 // Kernel Control Service Calls declarations
mbedAustin 11:cada08fc8a70 403 SVC_0_1(svcKernelInitialize, osStatus, RET_osStatus)
mbedAustin 11:cada08fc8a70 404 SVC_0_1(svcKernelStart, osStatus, RET_osStatus)
mbedAustin 11:cada08fc8a70 405 SVC_0_1(svcKernelRunning, int32_t, RET_int32_t)
mbedAustin 11:cada08fc8a70 406
mbedAustin 11:cada08fc8a70 407 extern void sysThreadError (osStatus status);
mbedAustin 11:cada08fc8a70 408 osThreadId svcThreadCreate (osThreadDef_t *thread_def, void *argument);
mbedAustin 11:cada08fc8a70 409 osMessageQId svcMessageCreate (osMessageQDef_t *queue_def, osThreadId thread_id);
mbedAustin 11:cada08fc8a70 410
mbedAustin 11:cada08fc8a70 411 // Kernel Control Service Calls
mbedAustin 11:cada08fc8a70 412
mbedAustin 11:cada08fc8a70 413 /// Initialize the RTOS Kernel for creating objects
mbedAustin 11:cada08fc8a70 414 osStatus svcKernelInitialize (void) {
mbedAustin 11:cada08fc8a70 415 if (os_initialized) return osOK;
mbedAustin 11:cada08fc8a70 416
mbedAustin 11:cada08fc8a70 417 rt_sys_init(); // RTX System Initialization
mbedAustin 11:cada08fc8a70 418 os_tsk.run->prio = 255; // Highest priority
mbedAustin 11:cada08fc8a70 419
mbedAustin 11:cada08fc8a70 420 sysThreadError(osOK);
mbedAustin 11:cada08fc8a70 421
mbedAustin 11:cada08fc8a70 422 os_initialized = 1;
mbedAustin 11:cada08fc8a70 423
mbedAustin 11:cada08fc8a70 424 return osOK;
mbedAustin 11:cada08fc8a70 425 }
mbedAustin 11:cada08fc8a70 426
mbedAustin 11:cada08fc8a70 427 /// Start the RTOS Kernel
mbedAustin 11:cada08fc8a70 428 osStatus svcKernelStart (void) {
mbedAustin 11:cada08fc8a70 429
mbedAustin 11:cada08fc8a70 430 if (os_running) return osOK;
mbedAustin 11:cada08fc8a70 431
mbedAustin 11:cada08fc8a70 432 // Create OS Timers resources (Message Queue & Thread)
mbedAustin 11:cada08fc8a70 433 osMessageQId_osTimerMessageQ = svcMessageCreate (&os_messageQ_def_osTimerMessageQ, NULL);
mbedAustin 11:cada08fc8a70 434 osThreadId_osTimerThread = svcThreadCreate(&os_thread_def_osTimerThread, NULL);
mbedAustin 11:cada08fc8a70 435
mbedAustin 11:cada08fc8a70 436 rt_tsk_prio(0, 0); // Lowest priority
mbedAustin 11:cada08fc8a70 437 // __set_SP(os_tsk.run->tsk_stack + 8*4); // New context
mbedAustin 11:cada08fc8a70 438 os_tsk.run = NULL; // Force context switch
mbedAustin 11:cada08fc8a70 439
mbedAustin 11:cada08fc8a70 440 rt_sys_start();
mbedAustin 11:cada08fc8a70 441
mbedAustin 11:cada08fc8a70 442 os_running = 1;
mbedAustin 11:cada08fc8a70 443
mbedAustin 11:cada08fc8a70 444 return osOK;
mbedAustin 11:cada08fc8a70 445 }
mbedAustin 11:cada08fc8a70 446
mbedAustin 11:cada08fc8a70 447 /// Check if the RTOS kernel is already started
mbedAustin 11:cada08fc8a70 448 int32_t svcKernelRunning(void) {
mbedAustin 11:cada08fc8a70 449 return os_running;
mbedAustin 11:cada08fc8a70 450 }
mbedAustin 11:cada08fc8a70 451
mbedAustin 11:cada08fc8a70 452 // Kernel Control Public API
mbedAustin 11:cada08fc8a70 453
mbedAustin 11:cada08fc8a70 454 /// Initialize the RTOS Kernel for creating objects
mbedAustin 11:cada08fc8a70 455 osStatus osKernelInitialize (void) {
mbedAustin 11:cada08fc8a70 456 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 457 if (__get_CONTROL() == MODE_SUPERVISOR) { // Privileged mode
mbedAustin 11:cada08fc8a70 458 return svcKernelInitialize();
mbedAustin 11:cada08fc8a70 459 } else {
mbedAustin 11:cada08fc8a70 460 return __svcKernelInitialize();
mbedAustin 11:cada08fc8a70 461 }
mbedAustin 11:cada08fc8a70 462 }
mbedAustin 11:cada08fc8a70 463
mbedAustin 11:cada08fc8a70 464 /// Start the RTOS Kernel
mbedAustin 11:cada08fc8a70 465 osStatus osKernelStart (void) {
mbedAustin 11:cada08fc8a70 466
mbedAustin 11:cada08fc8a70 467 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 468 switch (__get_CONTROL()) {
mbedAustin 11:cada08fc8a70 469 case MODE_SUPERVISOR: // Privileged mode
mbedAustin 11:cada08fc8a70 470 break;
mbedAustin 11:cada08fc8a70 471 case MODE_USER:
mbedAustin 11:cada08fc8a70 472 case MODE_SYSTEM: // Unprivileged mode
mbedAustin 11:cada08fc8a70 473 return osErrorOS;
mbedAustin 11:cada08fc8a70 474 default: // Other invalid modes
mbedAustin 11:cada08fc8a70 475 return osErrorOS;
mbedAustin 11:cada08fc8a70 476 break;
mbedAustin 11:cada08fc8a70 477 }
mbedAustin 11:cada08fc8a70 478 return svcKernelStart();
mbedAustin 11:cada08fc8a70 479 }
mbedAustin 11:cada08fc8a70 480
mbedAustin 11:cada08fc8a70 481 /// Check if the RTOS kernel is already started
mbedAustin 11:cada08fc8a70 482 int32_t osKernelRunning(void) {
mbedAustin 11:cada08fc8a70 483 if ((__get_CONTROL() == MODE_IRQ) || (__get_CONTROL() == MODE_SUPERVISOR)) {
mbedAustin 11:cada08fc8a70 484 // in ISR or Privileged
mbedAustin 11:cada08fc8a70 485 return os_running;
mbedAustin 11:cada08fc8a70 486 } else {
mbedAustin 11:cada08fc8a70 487 return __svcKernelRunning();
mbedAustin 11:cada08fc8a70 488 }
mbedAustin 11:cada08fc8a70 489 }
mbedAustin 11:cada08fc8a70 490
mbedAustin 11:cada08fc8a70 491
mbedAustin 11:cada08fc8a70 492 // ==== Thread Management ====
mbedAustin 11:cada08fc8a70 493
mbedAustin 11:cada08fc8a70 494 __NO_RETURN void osThreadExit (void);
mbedAustin 11:cada08fc8a70 495
mbedAustin 11:cada08fc8a70 496 // Thread Service Calls declarations
mbedAustin 11:cada08fc8a70 497 SVC_2_1(svcThreadCreate, osThreadId, osThreadDef_t *, void *, RET_pointer)
mbedAustin 11:cada08fc8a70 498 SVC_0_1(svcThreadGetId, osThreadId, RET_pointer)
mbedAustin 11:cada08fc8a70 499 SVC_1_1(svcThreadTerminate, osStatus, osThreadId, RET_osStatus)
mbedAustin 11:cada08fc8a70 500 SVC_0_1(svcThreadYield, osStatus, RET_osStatus)
mbedAustin 11:cada08fc8a70 501 SVC_2_1(svcThreadSetPriority, osStatus, osThreadId, osPriority, RET_osStatus)
mbedAustin 11:cada08fc8a70 502 SVC_1_1(svcThreadGetPriority, osPriority, osThreadId, RET_osPriority)
mbedAustin 11:cada08fc8a70 503
mbedAustin 11:cada08fc8a70 504 // Thread Service Calls
mbedAustin 11:cada08fc8a70 505 extern OS_TID rt_get_TID (void);
mbedAustin 11:cada08fc8a70 506 extern void rt_init_context (P_TCB p_TCB, U8 priority, FUNCP task_body);
mbedAustin 11:cada08fc8a70 507
mbedAustin 11:cada08fc8a70 508 /// Create a thread and add it to Active Threads and set it to state READY
mbedAustin 11:cada08fc8a70 509 osThreadId svcThreadCreate (osThreadDef_t *thread_def, void *argument) {
mbedAustin 11:cada08fc8a70 510 P_TCB ptcb;
mbedAustin 11:cada08fc8a70 511
mbedAustin 11:cada08fc8a70 512 if ((thread_def == NULL) ||
mbedAustin 11:cada08fc8a70 513 (thread_def->pthread == NULL) ||
mbedAustin 11:cada08fc8a70 514 (thread_def->tpriority < osPriorityIdle) ||
mbedAustin 11:cada08fc8a70 515 (thread_def->tpriority > osPriorityRealtime) ||
mbedAustin 11:cada08fc8a70 516 (thread_def->stacksize == 0) ||
mbedAustin 11:cada08fc8a70 517 (thread_def->stack_pointer == NULL) ) {
mbedAustin 11:cada08fc8a70 518 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 519 return NULL;
mbedAustin 11:cada08fc8a70 520 }
mbedAustin 11:cada08fc8a70 521
mbedAustin 11:cada08fc8a70 522 U8 priority = thread_def->tpriority - osPriorityIdle + 1;
mbedAustin 11:cada08fc8a70 523 P_TCB task_context = &thread_def->tcb;
mbedAustin 11:cada08fc8a70 524
mbedAustin 11:cada08fc8a70 525 /* Utilize the user provided stack. */
mbedAustin 11:cada08fc8a70 526 task_context->stack = (U32*)thread_def->stack_pointer;
mbedAustin 11:cada08fc8a70 527 task_context->priv_stack = thread_def->stacksize;
mbedAustin 11:cada08fc8a70 528 /* Find a free entry in 'os_active_TCB' table. */
mbedAustin 11:cada08fc8a70 529 OS_TID tsk = rt_get_TID ();
mbedAustin 11:cada08fc8a70 530 os_active_TCB[tsk-1] = task_context;
mbedAustin 11:cada08fc8a70 531 task_context->task_id = tsk;
mbedAustin 11:cada08fc8a70 532 /* Pass parameter 'argv' to 'rt_init_context' */
mbedAustin 11:cada08fc8a70 533 task_context->msg = argument;
mbedAustin 11:cada08fc8a70 534 /* For 'size == 0' system allocates the user stack from the memory pool. */
mbedAustin 11:cada08fc8a70 535 rt_init_context (task_context, priority, (FUNCP)thread_def->pthread);
mbedAustin 11:cada08fc8a70 536
mbedAustin 11:cada08fc8a70 537 /* Dispatch this task to the scheduler for execution. */
mbedAustin 11:cada08fc8a70 538 DBG_TASK_NOTIFY(task_context, __TRUE);
mbedAustin 11:cada08fc8a70 539 rt_dispatch (task_context);
mbedAustin 11:cada08fc8a70 540
mbedAustin 11:cada08fc8a70 541 ptcb = (P_TCB)os_active_TCB[tsk - 1]; // TCB pointer
mbedAustin 11:cada08fc8a70 542
mbedAustin 11:cada08fc8a70 543 *((uint32_t *)ptcb->tsk_stack + TCB_STACK_LR_OFFSET_DWORDS) = (uint32_t)osThreadExit; /* LR = osThreadExit */
mbedAustin 11:cada08fc8a70 544
mbedAustin 11:cada08fc8a70 545 return ptcb;
mbedAustin 11:cada08fc8a70 546 }
mbedAustin 11:cada08fc8a70 547
mbedAustin 11:cada08fc8a70 548 /// Return the thread ID of the current running thread
mbedAustin 11:cada08fc8a70 549 osThreadId svcThreadGetId (void) {
mbedAustin 11:cada08fc8a70 550 OS_TID tsk;
mbedAustin 11:cada08fc8a70 551
mbedAustin 11:cada08fc8a70 552 tsk = rt_tsk_self();
mbedAustin 11:cada08fc8a70 553 if (tsk == 0) return NULL;
mbedAustin 11:cada08fc8a70 554 return (P_TCB)os_active_TCB[tsk - 1];
mbedAustin 11:cada08fc8a70 555 }
mbedAustin 11:cada08fc8a70 556
mbedAustin 11:cada08fc8a70 557 /// Terminate execution of a thread and remove it from ActiveThreads
mbedAustin 11:cada08fc8a70 558 osStatus svcThreadTerminate (osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 559 OS_RESULT res;
mbedAustin 11:cada08fc8a70 560 P_TCB ptcb;
mbedAustin 11:cada08fc8a70 561
mbedAustin 11:cada08fc8a70 562 ptcb = rt_tid2ptcb(thread_id); // Get TCB pointer
mbedAustin 11:cada08fc8a70 563 if (ptcb == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 564
mbedAustin 11:cada08fc8a70 565 res = rt_tsk_delete(ptcb->task_id); // Delete task
mbedAustin 11:cada08fc8a70 566
mbedAustin 11:cada08fc8a70 567 if (res == OS_R_NOK) return osErrorResource; // Delete task failed
mbedAustin 11:cada08fc8a70 568
mbedAustin 11:cada08fc8a70 569 return osOK;
mbedAustin 11:cada08fc8a70 570 }
mbedAustin 11:cada08fc8a70 571
mbedAustin 11:cada08fc8a70 572 /// Pass control to next thread that is in state READY
mbedAustin 11:cada08fc8a70 573 osStatus svcThreadYield (void) {
mbedAustin 11:cada08fc8a70 574 rt_tsk_pass(); // Pass control to next task
mbedAustin 11:cada08fc8a70 575 return osOK;
mbedAustin 11:cada08fc8a70 576 }
mbedAustin 11:cada08fc8a70 577
mbedAustin 11:cada08fc8a70 578 /// Change priority of an active thread
mbedAustin 11:cada08fc8a70 579 osStatus svcThreadSetPriority (osThreadId thread_id, osPriority priority) {
mbedAustin 11:cada08fc8a70 580 OS_RESULT res;
mbedAustin 11:cada08fc8a70 581 P_TCB ptcb;
mbedAustin 11:cada08fc8a70 582
mbedAustin 11:cada08fc8a70 583 ptcb = rt_tid2ptcb(thread_id); // Get TCB pointer
mbedAustin 11:cada08fc8a70 584 if (ptcb == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 585
mbedAustin 11:cada08fc8a70 586 if ((priority < osPriorityIdle) || (priority > osPriorityRealtime)) {
mbedAustin 11:cada08fc8a70 587 return osErrorValue;
mbedAustin 11:cada08fc8a70 588 }
mbedAustin 11:cada08fc8a70 589
mbedAustin 11:cada08fc8a70 590 res = rt_tsk_prio( // Change task priority
mbedAustin 11:cada08fc8a70 591 ptcb->task_id, // Task ID
mbedAustin 11:cada08fc8a70 592 priority - osPriorityIdle + 1 // New task priority
mbedAustin 11:cada08fc8a70 593 );
mbedAustin 11:cada08fc8a70 594
mbedAustin 11:cada08fc8a70 595 if (res == OS_R_NOK) return osErrorResource; // Change task priority failed
mbedAustin 11:cada08fc8a70 596
mbedAustin 11:cada08fc8a70 597 return osOK;
mbedAustin 11:cada08fc8a70 598 }
mbedAustin 11:cada08fc8a70 599
mbedAustin 11:cada08fc8a70 600 /// Get current priority of an active thread
mbedAustin 11:cada08fc8a70 601 osPriority svcThreadGetPriority (osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 602 P_TCB ptcb;
mbedAustin 11:cada08fc8a70 603
mbedAustin 11:cada08fc8a70 604 ptcb = rt_tid2ptcb(thread_id); // Get TCB pointer
mbedAustin 11:cada08fc8a70 605 if (ptcb == NULL) return osPriorityError;
mbedAustin 11:cada08fc8a70 606
mbedAustin 11:cada08fc8a70 607 return (osPriority)(ptcb->prio - 1 + osPriorityIdle);
mbedAustin 11:cada08fc8a70 608 }
mbedAustin 11:cada08fc8a70 609
mbedAustin 11:cada08fc8a70 610
mbedAustin 11:cada08fc8a70 611 // Thread Public API
mbedAustin 11:cada08fc8a70 612
mbedAustin 11:cada08fc8a70 613 /// Create a thread and add it to Active Threads and set it to state READY
mbedAustin 11:cada08fc8a70 614 osThreadId osThreadCreate (osThreadDef_t *thread_def, void *argument) {
mbedAustin 11:cada08fc8a70 615 if (__get_CONTROL() == MODE_IRQ) return NULL; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 616 if ((__get_CONTROL() == MODE_SUPERVISOR) && (os_running == 0)) {
mbedAustin 11:cada08fc8a70 617 // Privileged and not running
mbedAustin 11:cada08fc8a70 618 return svcThreadCreate(thread_def, argument);
mbedAustin 11:cada08fc8a70 619 } else {
mbedAustin 11:cada08fc8a70 620 return __svcThreadCreate(thread_def, argument);
mbedAustin 11:cada08fc8a70 621 }
mbedAustin 11:cada08fc8a70 622 }
mbedAustin 11:cada08fc8a70 623
mbedAustin 11:cada08fc8a70 624 /// Return the thread ID of the current running thread
mbedAustin 11:cada08fc8a70 625 osThreadId osThreadGetId (void) {
mbedAustin 11:cada08fc8a70 626 if (__get_CONTROL() == MODE_IRQ) return NULL; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 627 return __svcThreadGetId();
mbedAustin 11:cada08fc8a70 628 }
mbedAustin 11:cada08fc8a70 629
mbedAustin 11:cada08fc8a70 630 /// Terminate execution of a thread and remove it from ActiveThreads
mbedAustin 11:cada08fc8a70 631 osStatus osThreadTerminate (osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 632 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 633 return __svcThreadTerminate(thread_id);
mbedAustin 11:cada08fc8a70 634 }
mbedAustin 11:cada08fc8a70 635
mbedAustin 11:cada08fc8a70 636 /// Pass control to next thread that is in state READY
mbedAustin 11:cada08fc8a70 637 osStatus osThreadYield (void) {
mbedAustin 11:cada08fc8a70 638 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 639 return __svcThreadYield();
mbedAustin 11:cada08fc8a70 640 }
mbedAustin 11:cada08fc8a70 641
mbedAustin 11:cada08fc8a70 642 /// Change priority of an active thread
mbedAustin 11:cada08fc8a70 643 osStatus osThreadSetPriority (osThreadId thread_id, osPriority priority) {
mbedAustin 11:cada08fc8a70 644 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 645 return __svcThreadSetPriority(thread_id, priority);
mbedAustin 11:cada08fc8a70 646 }
mbedAustin 11:cada08fc8a70 647
mbedAustin 11:cada08fc8a70 648 /// Get current priority of an active thread
mbedAustin 11:cada08fc8a70 649 osPriority osThreadGetPriority (osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 650 if (__get_CONTROL() == MODE_IRQ) return osPriorityError;// Not allowed in ISR
mbedAustin 11:cada08fc8a70 651 return __svcThreadGetPriority(thread_id);
mbedAustin 11:cada08fc8a70 652 }
mbedAustin 11:cada08fc8a70 653
mbedAustin 11:cada08fc8a70 654 /// INTERNAL - Not Public
mbedAustin 11:cada08fc8a70 655 /// Auto Terminate Thread on exit (used implicitly when thread exists)
mbedAustin 11:cada08fc8a70 656 __NO_RETURN void osThreadExit (void) {
mbedAustin 11:cada08fc8a70 657 __svcThreadTerminate(__svcThreadGetId());
mbedAustin 11:cada08fc8a70 658 for (;;); // Should never come here
mbedAustin 11:cada08fc8a70 659 }
mbedAustin 11:cada08fc8a70 660
mbedAustin 11:cada08fc8a70 661
mbedAustin 11:cada08fc8a70 662 // ==== Generic Wait Functions ====
mbedAustin 11:cada08fc8a70 663
mbedAustin 11:cada08fc8a70 664 // Generic Wait Service Calls declarations
mbedAustin 11:cada08fc8a70 665 SVC_1_1(svcDelay, osStatus, uint32_t, RET_osStatus)
mbedAustin 11:cada08fc8a70 666 #if osFeature_Wait != 0
mbedAustin 11:cada08fc8a70 667 SVC_1_3(svcWait, os_InRegs osEvent, uint32_t, RET_osEvent)
mbedAustin 11:cada08fc8a70 668 #endif
mbedAustin 11:cada08fc8a70 669
mbedAustin 11:cada08fc8a70 670 // Generic Wait Service Calls
mbedAustin 11:cada08fc8a70 671
mbedAustin 11:cada08fc8a70 672 /// Wait for Timeout (Time Delay)
mbedAustin 11:cada08fc8a70 673 osStatus svcDelay (uint32_t millisec) {
mbedAustin 11:cada08fc8a70 674 if (millisec == 0) return osOK;
mbedAustin 11:cada08fc8a70 675 rt_dly_wait(rt_ms2tick(millisec));
mbedAustin 11:cada08fc8a70 676 return osEventTimeout;
mbedAustin 11:cada08fc8a70 677 }
mbedAustin 11:cada08fc8a70 678
mbedAustin 11:cada08fc8a70 679 /// Wait for Signal, Message, Mail, or Timeout
mbedAustin 11:cada08fc8a70 680 #if osFeature_Wait != 0
mbedAustin 11:cada08fc8a70 681 os_InRegs osEvent_type svcWait (uint32_t millisec) {
mbedAustin 11:cada08fc8a70 682 osEvent ret;
mbedAustin 11:cada08fc8a70 683
mbedAustin 11:cada08fc8a70 684 if (millisec == 0) {
mbedAustin 11:cada08fc8a70 685 ret.status = osOK;
mbedAustin 11:cada08fc8a70 686 return osEvent_ret_status;
mbedAustin 11:cada08fc8a70 687 }
mbedAustin 11:cada08fc8a70 688
mbedAustin 11:cada08fc8a70 689 /* To Do: osEventSignal, osEventMessage, osEventMail */
mbedAustin 11:cada08fc8a70 690 rt_dly_wait(rt_ms2tick(millisec));
mbedAustin 11:cada08fc8a70 691 ret.status = osEventTimeout;
mbedAustin 11:cada08fc8a70 692
mbedAustin 11:cada08fc8a70 693 return osEvent_ret_status;
mbedAustin 11:cada08fc8a70 694 }
mbedAustin 11:cada08fc8a70 695 #endif
mbedAustin 11:cada08fc8a70 696
mbedAustin 11:cada08fc8a70 697
mbedAustin 11:cada08fc8a70 698 // Generic Wait API
mbedAustin 11:cada08fc8a70 699
mbedAustin 11:cada08fc8a70 700 /// Wait for Timeout (Time Delay)
mbedAustin 11:cada08fc8a70 701 osStatus osDelay (uint32_t millisec) {
mbedAustin 11:cada08fc8a70 702 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 703 return __svcDelay(millisec);
mbedAustin 11:cada08fc8a70 704 }
mbedAustin 11:cada08fc8a70 705
mbedAustin 11:cada08fc8a70 706 /// Wait for Signal, Message, Mail, or Timeout
mbedAustin 11:cada08fc8a70 707 os_InRegs osEvent osWait (uint32_t millisec) {
mbedAustin 11:cada08fc8a70 708 osEvent ret;
mbedAustin 11:cada08fc8a70 709
mbedAustin 11:cada08fc8a70 710 #if osFeature_Wait == 0
mbedAustin 11:cada08fc8a70 711 ret.status = osErrorOS;
mbedAustin 11:cada08fc8a70 712 return ret;
mbedAustin 11:cada08fc8a70 713 #else
mbedAustin 11:cada08fc8a70 714 if (__get_CONTROL() == MODE_IRQ) { // Not allowed in ISR
mbedAustin 11:cada08fc8a70 715 ret.status = osErrorISR;
mbedAustin 11:cada08fc8a70 716 return ret;
mbedAustin 11:cada08fc8a70 717 }
mbedAustin 11:cada08fc8a70 718 return __svcWait(millisec);
mbedAustin 11:cada08fc8a70 719 #endif
mbedAustin 11:cada08fc8a70 720 }
mbedAustin 11:cada08fc8a70 721
mbedAustin 11:cada08fc8a70 722
mbedAustin 11:cada08fc8a70 723 // ==== Timer Management ====
mbedAustin 11:cada08fc8a70 724
mbedAustin 11:cada08fc8a70 725 // Timer definitions
mbedAustin 11:cada08fc8a70 726 #define osTimerInvalid 0
mbedAustin 11:cada08fc8a70 727 #define osTimerStopped 1
mbedAustin 11:cada08fc8a70 728 #define osTimerRunning 2
mbedAustin 11:cada08fc8a70 729
mbedAustin 11:cada08fc8a70 730 // Timer structures
mbedAustin 11:cada08fc8a70 731
mbedAustin 11:cada08fc8a70 732 typedef struct os_timer_cb_ { // Timer Control Block
mbedAustin 11:cada08fc8a70 733 struct os_timer_cb_ *next; // Pointer to next active Timer
mbedAustin 11:cada08fc8a70 734 uint8_t state; // Timer State
mbedAustin 11:cada08fc8a70 735 uint8_t type; // Timer Type (Periodic/One-shot)
mbedAustin 11:cada08fc8a70 736 uint16_t reserved; // Reserved
mbedAustin 11:cada08fc8a70 737 uint16_t tcnt; // Timer Delay Count
mbedAustin 11:cada08fc8a70 738 uint16_t icnt; // Timer Initial Count
mbedAustin 11:cada08fc8a70 739 void *arg; // Timer Function Argument
mbedAustin 11:cada08fc8a70 740 osTimerDef_t *timer; // Pointer to Timer definition
mbedAustin 11:cada08fc8a70 741 } os_timer_cb;
mbedAustin 11:cada08fc8a70 742
mbedAustin 11:cada08fc8a70 743 // Timer variables
mbedAustin 11:cada08fc8a70 744 os_timer_cb *os_timer_head; // Pointer to first active Timer
mbedAustin 11:cada08fc8a70 745
mbedAustin 11:cada08fc8a70 746
mbedAustin 11:cada08fc8a70 747 // Timer Helper Functions
mbedAustin 11:cada08fc8a70 748
mbedAustin 11:cada08fc8a70 749 // Insert Timer into the list sorted by time
mbedAustin 11:cada08fc8a70 750 static void rt_timer_insert (os_timer_cb *pt, uint32_t tcnt) {
mbedAustin 11:cada08fc8a70 751 os_timer_cb *p, *prev;
mbedAustin 11:cada08fc8a70 752
mbedAustin 11:cada08fc8a70 753 prev = NULL;
mbedAustin 11:cada08fc8a70 754 p = os_timer_head;
mbedAustin 11:cada08fc8a70 755 while (p != NULL) {
mbedAustin 11:cada08fc8a70 756 if (tcnt < p->tcnt) break;
mbedAustin 11:cada08fc8a70 757 tcnt -= p->tcnt;
mbedAustin 11:cada08fc8a70 758 prev = p;
mbedAustin 11:cada08fc8a70 759 p = p->next;
mbedAustin 11:cada08fc8a70 760 }
mbedAustin 11:cada08fc8a70 761 pt->next = p;
mbedAustin 11:cada08fc8a70 762 pt->tcnt = (uint16_t)tcnt;
mbedAustin 11:cada08fc8a70 763 if (p != NULL) {
mbedAustin 11:cada08fc8a70 764 p->tcnt -= pt->tcnt;
mbedAustin 11:cada08fc8a70 765 }
mbedAustin 11:cada08fc8a70 766 if (prev != NULL) {
mbedAustin 11:cada08fc8a70 767 prev->next = pt;
mbedAustin 11:cada08fc8a70 768 } else {
mbedAustin 11:cada08fc8a70 769 os_timer_head = pt;
mbedAustin 11:cada08fc8a70 770 }
mbedAustin 11:cada08fc8a70 771 }
mbedAustin 11:cada08fc8a70 772
mbedAustin 11:cada08fc8a70 773 // Remove Timer from the list
mbedAustin 11:cada08fc8a70 774 static int rt_timer_remove (os_timer_cb *pt) {
mbedAustin 11:cada08fc8a70 775 os_timer_cb *p, *prev;
mbedAustin 11:cada08fc8a70 776
mbedAustin 11:cada08fc8a70 777 prev = NULL;
mbedAustin 11:cada08fc8a70 778 p = os_timer_head;
mbedAustin 11:cada08fc8a70 779 while (p != NULL) {
mbedAustin 11:cada08fc8a70 780 if (p == pt) break;
mbedAustin 11:cada08fc8a70 781 prev = p;
mbedAustin 11:cada08fc8a70 782 p = p->next;
mbedAustin 11:cada08fc8a70 783 }
mbedAustin 11:cada08fc8a70 784 if (p == NULL) return -1;
mbedAustin 11:cada08fc8a70 785 if (prev != NULL) {
mbedAustin 11:cada08fc8a70 786 prev->next = pt->next;
mbedAustin 11:cada08fc8a70 787 } else {
mbedAustin 11:cada08fc8a70 788 os_timer_head = pt->next;
mbedAustin 11:cada08fc8a70 789 }
mbedAustin 11:cada08fc8a70 790 if (pt->next != NULL) {
mbedAustin 11:cada08fc8a70 791 pt->next->tcnt += pt->tcnt;
mbedAustin 11:cada08fc8a70 792 }
mbedAustin 11:cada08fc8a70 793
mbedAustin 11:cada08fc8a70 794 return 0;
mbedAustin 11:cada08fc8a70 795 }
mbedAustin 11:cada08fc8a70 796
mbedAustin 11:cada08fc8a70 797
mbedAustin 11:cada08fc8a70 798 // Timer Service Calls declarations
mbedAustin 11:cada08fc8a70 799 SVC_3_1(svcTimerCreate, osTimerId, osTimerDef_t *, os_timer_type, void *, RET_pointer)
mbedAustin 11:cada08fc8a70 800 SVC_2_1(svcTimerStart, osStatus, osTimerId, uint32_t, RET_osStatus)
mbedAustin 11:cada08fc8a70 801 SVC_1_1(svcTimerStop, osStatus, osTimerId, RET_osStatus)
mbedAustin 11:cada08fc8a70 802 SVC_1_1(svcTimerDelete, osStatus, osTimerId, RET_osStatus)
mbedAustin 11:cada08fc8a70 803 SVC_1_2(svcTimerCall, os_InRegs osCallback, osTimerId, RET_osCallback)
mbedAustin 11:cada08fc8a70 804
mbedAustin 11:cada08fc8a70 805 // Timer Management Service Calls
mbedAustin 11:cada08fc8a70 806
mbedAustin 11:cada08fc8a70 807 /// Create timer
mbedAustin 11:cada08fc8a70 808 osTimerId svcTimerCreate (osTimerDef_t *timer_def, os_timer_type type, void *argument) {
mbedAustin 11:cada08fc8a70 809 os_timer_cb *pt;
mbedAustin 11:cada08fc8a70 810
mbedAustin 11:cada08fc8a70 811 if ((timer_def == NULL) || (timer_def->ptimer == NULL)) {
mbedAustin 11:cada08fc8a70 812 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 813 return NULL;
mbedAustin 11:cada08fc8a70 814 }
mbedAustin 11:cada08fc8a70 815
mbedAustin 11:cada08fc8a70 816 pt = timer_def->timer;
mbedAustin 11:cada08fc8a70 817 if (pt == NULL) {
mbedAustin 11:cada08fc8a70 818 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 819 return NULL;
mbedAustin 11:cada08fc8a70 820 }
mbedAustin 11:cada08fc8a70 821
mbedAustin 11:cada08fc8a70 822 if ((type != osTimerOnce) && (type != osTimerPeriodic)) {
mbedAustin 11:cada08fc8a70 823 sysThreadError(osErrorValue);
mbedAustin 11:cada08fc8a70 824 return NULL;
mbedAustin 11:cada08fc8a70 825 }
mbedAustin 11:cada08fc8a70 826
mbedAustin 11:cada08fc8a70 827 if (osThreadId_osTimerThread == NULL) {
mbedAustin 11:cada08fc8a70 828 sysThreadError(osErrorResource);
mbedAustin 11:cada08fc8a70 829 return NULL;
mbedAustin 11:cada08fc8a70 830 }
mbedAustin 11:cada08fc8a70 831
mbedAustin 11:cada08fc8a70 832 if (pt->state != osTimerInvalid){
mbedAustin 11:cada08fc8a70 833 sysThreadError(osErrorResource);
mbedAustin 11:cada08fc8a70 834 return NULL;
mbedAustin 11:cada08fc8a70 835 }
mbedAustin 11:cada08fc8a70 836
mbedAustin 11:cada08fc8a70 837 pt->state = osTimerStopped;
mbedAustin 11:cada08fc8a70 838 pt->type = (uint8_t)type;
mbedAustin 11:cada08fc8a70 839 pt->arg = argument;
mbedAustin 11:cada08fc8a70 840 pt->timer = timer_def;
mbedAustin 11:cada08fc8a70 841
mbedAustin 11:cada08fc8a70 842 return (osTimerId)pt;
mbedAustin 11:cada08fc8a70 843 }
mbedAustin 11:cada08fc8a70 844
mbedAustin 11:cada08fc8a70 845 /// Start or restart timer
mbedAustin 11:cada08fc8a70 846 osStatus svcTimerStart (osTimerId timer_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 847 os_timer_cb *pt;
mbedAustin 11:cada08fc8a70 848 uint32_t tcnt;
mbedAustin 11:cada08fc8a70 849
mbedAustin 11:cada08fc8a70 850 pt = rt_id2obj(timer_id);
mbedAustin 11:cada08fc8a70 851 if (pt == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 852
mbedAustin 11:cada08fc8a70 853 tcnt = rt_ms2tick(millisec);
mbedAustin 11:cada08fc8a70 854 if (tcnt == 0) return osErrorValue;
mbedAustin 11:cada08fc8a70 855
mbedAustin 11:cada08fc8a70 856 switch (pt->state) {
mbedAustin 11:cada08fc8a70 857 case osTimerRunning:
mbedAustin 11:cada08fc8a70 858 if (rt_timer_remove(pt) != 0) {
mbedAustin 11:cada08fc8a70 859 return osErrorResource;
mbedAustin 11:cada08fc8a70 860 }
mbedAustin 11:cada08fc8a70 861 break;
mbedAustin 11:cada08fc8a70 862 case osTimerStopped:
mbedAustin 11:cada08fc8a70 863 pt->state = osTimerRunning;
mbedAustin 11:cada08fc8a70 864 pt->icnt = (uint16_t)tcnt;
mbedAustin 11:cada08fc8a70 865 break;
mbedAustin 11:cada08fc8a70 866 default:
mbedAustin 11:cada08fc8a70 867 return osErrorResource;
mbedAustin 11:cada08fc8a70 868 }
mbedAustin 11:cada08fc8a70 869
mbedAustin 11:cada08fc8a70 870 rt_timer_insert(pt, tcnt);
mbedAustin 11:cada08fc8a70 871
mbedAustin 11:cada08fc8a70 872 return osOK;
mbedAustin 11:cada08fc8a70 873 }
mbedAustin 11:cada08fc8a70 874
mbedAustin 11:cada08fc8a70 875 /// Stop timer
mbedAustin 11:cada08fc8a70 876 osStatus svcTimerStop (osTimerId timer_id) {
mbedAustin 11:cada08fc8a70 877 os_timer_cb *pt;
mbedAustin 11:cada08fc8a70 878
mbedAustin 11:cada08fc8a70 879 pt = rt_id2obj(timer_id);
mbedAustin 11:cada08fc8a70 880 if (pt == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 881
mbedAustin 11:cada08fc8a70 882 if (pt->state != osTimerRunning) return osErrorResource;
mbedAustin 11:cada08fc8a70 883
mbedAustin 11:cada08fc8a70 884 pt->state = osTimerStopped;
mbedAustin 11:cada08fc8a70 885
mbedAustin 11:cada08fc8a70 886 if (rt_timer_remove(pt) != 0) {
mbedAustin 11:cada08fc8a70 887 return osErrorResource;
mbedAustin 11:cada08fc8a70 888 }
mbedAustin 11:cada08fc8a70 889
mbedAustin 11:cada08fc8a70 890 return osOK;
mbedAustin 11:cada08fc8a70 891 }
mbedAustin 11:cada08fc8a70 892
mbedAustin 11:cada08fc8a70 893 /// Delete timer
mbedAustin 11:cada08fc8a70 894 osStatus svcTimerDelete (osTimerId timer_id) {
mbedAustin 11:cada08fc8a70 895 os_timer_cb *pt;
mbedAustin 11:cada08fc8a70 896
mbedAustin 11:cada08fc8a70 897 pt = rt_id2obj(timer_id);
mbedAustin 11:cada08fc8a70 898 if (pt == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 899
mbedAustin 11:cada08fc8a70 900 switch (pt->state) {
mbedAustin 11:cada08fc8a70 901 case osTimerRunning:
mbedAustin 11:cada08fc8a70 902 rt_timer_remove(pt);
mbedAustin 11:cada08fc8a70 903 break;
mbedAustin 11:cada08fc8a70 904 case osTimerStopped:
mbedAustin 11:cada08fc8a70 905 break;
mbedAustin 11:cada08fc8a70 906 default:
mbedAustin 11:cada08fc8a70 907 return osErrorResource;
mbedAustin 11:cada08fc8a70 908 }
mbedAustin 11:cada08fc8a70 909
mbedAustin 11:cada08fc8a70 910 pt->state = osTimerInvalid;
mbedAustin 11:cada08fc8a70 911
mbedAustin 11:cada08fc8a70 912 return osOK;
mbedAustin 11:cada08fc8a70 913 }
mbedAustin 11:cada08fc8a70 914
mbedAustin 11:cada08fc8a70 915 /// Get timer callback parameters
mbedAustin 11:cada08fc8a70 916 os_InRegs osCallback_type svcTimerCall (osTimerId timer_id) {
mbedAustin 11:cada08fc8a70 917 os_timer_cb *pt;
mbedAustin 11:cada08fc8a70 918 osCallback ret;
mbedAustin 11:cada08fc8a70 919
mbedAustin 11:cada08fc8a70 920 pt = rt_id2obj(timer_id);
mbedAustin 11:cada08fc8a70 921 if (pt == NULL) {
mbedAustin 11:cada08fc8a70 922 ret.fp = NULL;
mbedAustin 11:cada08fc8a70 923 ret.arg = NULL;
mbedAustin 11:cada08fc8a70 924 return osCallback_ret;
mbedAustin 11:cada08fc8a70 925 }
mbedAustin 11:cada08fc8a70 926
mbedAustin 11:cada08fc8a70 927 ret.fp = (void *)pt->timer->ptimer;
mbedAustin 11:cada08fc8a70 928 ret.arg = pt->arg;
mbedAustin 11:cada08fc8a70 929
mbedAustin 11:cada08fc8a70 930 return osCallback_ret;
mbedAustin 11:cada08fc8a70 931 }
mbedAustin 11:cada08fc8a70 932
mbedAustin 11:cada08fc8a70 933 static __INLINE osStatus isrMessagePut (osMessageQId queue_id, uint32_t info, uint32_t millisec);
mbedAustin 11:cada08fc8a70 934
mbedAustin 11:cada08fc8a70 935 /// Timer Tick (called each SysTick)
mbedAustin 11:cada08fc8a70 936 void sysTimerTick (void) {
mbedAustin 11:cada08fc8a70 937 os_timer_cb *pt, *p;
mbedAustin 11:cada08fc8a70 938
mbedAustin 11:cada08fc8a70 939 p = os_timer_head;
mbedAustin 11:cada08fc8a70 940 if (p == NULL) return;
mbedAustin 11:cada08fc8a70 941
mbedAustin 11:cada08fc8a70 942 p->tcnt--;
mbedAustin 11:cada08fc8a70 943 while ((p != NULL) && (p->tcnt == 0)) {
mbedAustin 11:cada08fc8a70 944 pt = p;
mbedAustin 11:cada08fc8a70 945 p = p->next;
mbedAustin 11:cada08fc8a70 946 os_timer_head = p;
mbedAustin 11:cada08fc8a70 947 isrMessagePut(osMessageQId_osTimerMessageQ, (uint32_t)pt, 0);
mbedAustin 11:cada08fc8a70 948 if (pt->type == osTimerPeriodic) {
mbedAustin 11:cada08fc8a70 949 rt_timer_insert(pt, pt->icnt);
mbedAustin 11:cada08fc8a70 950 } else {
mbedAustin 11:cada08fc8a70 951 pt->state = osTimerStopped;
mbedAustin 11:cada08fc8a70 952 }
mbedAustin 11:cada08fc8a70 953 }
mbedAustin 11:cada08fc8a70 954 }
mbedAustin 11:cada08fc8a70 955
mbedAustin 11:cada08fc8a70 956
mbedAustin 11:cada08fc8a70 957 // Timer Management Public API
mbedAustin 11:cada08fc8a70 958
mbedAustin 11:cada08fc8a70 959 /// Create timer
mbedAustin 11:cada08fc8a70 960 osTimerId osTimerCreate (osTimerDef_t *timer_def, os_timer_type type, void *argument) {
mbedAustin 11:cada08fc8a70 961 if (__get_CONTROL() == MODE_IRQ) return NULL; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 962 if ((__get_CONTROL() == MODE_SUPERVISOR) && (os_running == 0)) {
mbedAustin 11:cada08fc8a70 963 // Privileged and not running
mbedAustin 11:cada08fc8a70 964 return svcTimerCreate(timer_def, type, argument);
mbedAustin 11:cada08fc8a70 965 } else {
mbedAustin 11:cada08fc8a70 966 return __svcTimerCreate(timer_def, type, argument);
mbedAustin 11:cada08fc8a70 967 }
mbedAustin 11:cada08fc8a70 968 }
mbedAustin 11:cada08fc8a70 969
mbedAustin 11:cada08fc8a70 970 /// Start or restart timer
mbedAustin 11:cada08fc8a70 971 osStatus osTimerStart (osTimerId timer_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 972 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 973 return __svcTimerStart(timer_id, millisec);
mbedAustin 11:cada08fc8a70 974 }
mbedAustin 11:cada08fc8a70 975
mbedAustin 11:cada08fc8a70 976 /// Stop timer
mbedAustin 11:cada08fc8a70 977 osStatus osTimerStop (osTimerId timer_id) {
mbedAustin 11:cada08fc8a70 978 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 979 return __svcTimerStop(timer_id);
mbedAustin 11:cada08fc8a70 980 }
mbedAustin 11:cada08fc8a70 981
mbedAustin 11:cada08fc8a70 982 /// Delete timer
mbedAustin 11:cada08fc8a70 983 osStatus osTimerDelete (osTimerId timer_id) {
mbedAustin 11:cada08fc8a70 984 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 985 return __svcTimerDelete(timer_id);
mbedAustin 11:cada08fc8a70 986 }
mbedAustin 11:cada08fc8a70 987
mbedAustin 11:cada08fc8a70 988 /// INTERNAL - Not Public
mbedAustin 11:cada08fc8a70 989 /// Get timer callback parameters (used by OS Timer Thread)
mbedAustin 11:cada08fc8a70 990 os_InRegs osCallback osTimerCall (osTimerId timer_id) {
mbedAustin 11:cada08fc8a70 991 return __svcTimerCall(timer_id);
mbedAustin 11:cada08fc8a70 992 }
mbedAustin 11:cada08fc8a70 993
mbedAustin 11:cada08fc8a70 994
mbedAustin 11:cada08fc8a70 995 // Timer Thread
mbedAustin 11:cada08fc8a70 996 __NO_RETURN void osTimerThread (void const *argument) {
mbedAustin 11:cada08fc8a70 997 osCallback cb;
mbedAustin 11:cada08fc8a70 998 osEvent evt;
mbedAustin 11:cada08fc8a70 999
mbedAustin 11:cada08fc8a70 1000 for (;;) {
mbedAustin 11:cada08fc8a70 1001 evt = osMessageGet(osMessageQId_osTimerMessageQ, osWaitForever);
mbedAustin 11:cada08fc8a70 1002 if (evt.status == osEventMessage) {
mbedAustin 11:cada08fc8a70 1003 cb = osTimerCall(evt.value.p);
mbedAustin 11:cada08fc8a70 1004 if (cb.fp != NULL) {
mbedAustin 11:cada08fc8a70 1005 (*(os_ptimer)cb.fp)(cb.arg);
mbedAustin 11:cada08fc8a70 1006 }
mbedAustin 11:cada08fc8a70 1007 }
mbedAustin 11:cada08fc8a70 1008 }
mbedAustin 11:cada08fc8a70 1009 }
mbedAustin 11:cada08fc8a70 1010
mbedAustin 11:cada08fc8a70 1011
mbedAustin 11:cada08fc8a70 1012 // ==== Signal Management ====
mbedAustin 11:cada08fc8a70 1013
mbedAustin 11:cada08fc8a70 1014 // Signal Service Calls declarations
mbedAustin 11:cada08fc8a70 1015 SVC_2_1(svcSignalSet, int32_t, osThreadId, int32_t, RET_int32_t)
mbedAustin 11:cada08fc8a70 1016 SVC_2_1(svcSignalClear, int32_t, osThreadId, int32_t, RET_int32_t)
mbedAustin 11:cada08fc8a70 1017 SVC_1_1(svcSignalGet, int32_t, osThreadId, RET_int32_t)
mbedAustin 11:cada08fc8a70 1018 SVC_2_3(svcSignalWait, os_InRegs osEvent, int32_t, uint32_t, RET_osEvent)
mbedAustin 11:cada08fc8a70 1019
mbedAustin 11:cada08fc8a70 1020 // Signal Service Calls
mbedAustin 11:cada08fc8a70 1021
mbedAustin 11:cada08fc8a70 1022 /// Set the specified Signal Flags of an active thread
mbedAustin 11:cada08fc8a70 1023 int32_t svcSignalSet (osThreadId thread_id, int32_t signals) {
mbedAustin 11:cada08fc8a70 1024 P_TCB ptcb;
mbedAustin 11:cada08fc8a70 1025 int32_t sig;
mbedAustin 11:cada08fc8a70 1026
mbedAustin 11:cada08fc8a70 1027 ptcb = rt_tid2ptcb(thread_id); // Get TCB pointer
mbedAustin 11:cada08fc8a70 1028 if (ptcb == NULL) return 0x80000000;
mbedAustin 11:cada08fc8a70 1029
mbedAustin 11:cada08fc8a70 1030 if (signals & (0xFFFFFFFF << osFeature_Signals)) return 0x80000000;
mbedAustin 11:cada08fc8a70 1031
mbedAustin 11:cada08fc8a70 1032 sig = ptcb->events; // Previous signal flags
mbedAustin 11:cada08fc8a70 1033
mbedAustin 11:cada08fc8a70 1034 rt_evt_set(signals, ptcb->task_id); // Set event flags
mbedAustin 11:cada08fc8a70 1035
mbedAustin 11:cada08fc8a70 1036 return sig;
mbedAustin 11:cada08fc8a70 1037 }
mbedAustin 11:cada08fc8a70 1038
mbedAustin 11:cada08fc8a70 1039 /// Clear the specified Signal Flags of an active thread
mbedAustin 11:cada08fc8a70 1040 int32_t svcSignalClear (osThreadId thread_id, int32_t signals) {
mbedAustin 11:cada08fc8a70 1041 P_TCB ptcb;
mbedAustin 11:cada08fc8a70 1042 int32_t sig;
mbedAustin 11:cada08fc8a70 1043
mbedAustin 11:cada08fc8a70 1044 ptcb = rt_tid2ptcb(thread_id); // Get TCB pointer
mbedAustin 11:cada08fc8a70 1045 if (ptcb == NULL) return 0x80000000;
mbedAustin 11:cada08fc8a70 1046
mbedAustin 11:cada08fc8a70 1047 if (signals & (0xFFFFFFFF << osFeature_Signals)) return 0x80000000;
mbedAustin 11:cada08fc8a70 1048
mbedAustin 11:cada08fc8a70 1049 sig = ptcb->events; // Previous signal flags
mbedAustin 11:cada08fc8a70 1050
mbedAustin 11:cada08fc8a70 1051 rt_evt_clr(signals, ptcb->task_id); // Clear event flags
mbedAustin 11:cada08fc8a70 1052
mbedAustin 11:cada08fc8a70 1053 return sig;
mbedAustin 11:cada08fc8a70 1054 }
mbedAustin 11:cada08fc8a70 1055
mbedAustin 11:cada08fc8a70 1056 /// Get Signal Flags status of an active thread
mbedAustin 11:cada08fc8a70 1057 int32_t svcSignalGet (osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 1058 P_TCB ptcb;
mbedAustin 11:cada08fc8a70 1059
mbedAustin 11:cada08fc8a70 1060 ptcb = rt_tid2ptcb(thread_id); // Get TCB pointer
mbedAustin 11:cada08fc8a70 1061 if (ptcb == NULL) return 0x80000000;
mbedAustin 11:cada08fc8a70 1062
mbedAustin 11:cada08fc8a70 1063 return ptcb->events; // Return event flags
mbedAustin 11:cada08fc8a70 1064 }
mbedAustin 11:cada08fc8a70 1065
mbedAustin 11:cada08fc8a70 1066 /// Wait for one or more Signal Flags to become signaled for the current RUNNING thread
mbedAustin 11:cada08fc8a70 1067 os_InRegs osEvent_type svcSignalWait (int32_t signals, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1068 OS_RESULT res;
mbedAustin 11:cada08fc8a70 1069 osEvent ret;
mbedAustin 11:cada08fc8a70 1070
mbedAustin 11:cada08fc8a70 1071 if (signals & (0xFFFFFFFF << osFeature_Signals)) {
mbedAustin 11:cada08fc8a70 1072 ret.status = osErrorValue;
mbedAustin 11:cada08fc8a70 1073 return osEvent_ret_status;
mbedAustin 11:cada08fc8a70 1074 }
mbedAustin 11:cada08fc8a70 1075
mbedAustin 11:cada08fc8a70 1076 if (signals != 0) { // Wait for all specified signals
mbedAustin 11:cada08fc8a70 1077 res = rt_evt_wait(signals, rt_ms2tick(millisec), __TRUE);
mbedAustin 11:cada08fc8a70 1078 } else { // Wait for any signal
mbedAustin 11:cada08fc8a70 1079 res = rt_evt_wait(0xFFFF, rt_ms2tick(millisec), __FALSE);
mbedAustin 11:cada08fc8a70 1080 }
mbedAustin 11:cada08fc8a70 1081
mbedAustin 11:cada08fc8a70 1082 if (res == OS_R_EVT) {
mbedAustin 11:cada08fc8a70 1083 ret.status = osEventSignal;
mbedAustin 11:cada08fc8a70 1084 ret.value.signals = signals ? signals : os_tsk.run->waits;
mbedAustin 11:cada08fc8a70 1085 } else {
mbedAustin 11:cada08fc8a70 1086 ret.status = millisec ? osEventTimeout : osOK;
mbedAustin 11:cada08fc8a70 1087 ret.value.signals = 0;
mbedAustin 11:cada08fc8a70 1088 }
mbedAustin 11:cada08fc8a70 1089
mbedAustin 11:cada08fc8a70 1090 return osEvent_ret_value;
mbedAustin 11:cada08fc8a70 1091 }
mbedAustin 11:cada08fc8a70 1092
mbedAustin 11:cada08fc8a70 1093
mbedAustin 11:cada08fc8a70 1094 // Signal ISR Calls
mbedAustin 11:cada08fc8a70 1095
mbedAustin 11:cada08fc8a70 1096 /// Set the specified Signal Flags of an active thread
mbedAustin 11:cada08fc8a70 1097 static __INLINE int32_t isrSignalSet (osThreadId thread_id, int32_t signals) {
mbedAustin 11:cada08fc8a70 1098 P_TCB ptcb;
mbedAustin 11:cada08fc8a70 1099 int32_t sig;
mbedAustin 11:cada08fc8a70 1100
mbedAustin 11:cada08fc8a70 1101 ptcb = rt_tid2ptcb(thread_id); // Get TCB pointer
mbedAustin 11:cada08fc8a70 1102 if (ptcb == NULL) return 0x80000000;
mbedAustin 11:cada08fc8a70 1103
mbedAustin 11:cada08fc8a70 1104 if (signals & (0xFFFFFFFF << osFeature_Signals)) return 0x80000000;
mbedAustin 11:cada08fc8a70 1105
mbedAustin 11:cada08fc8a70 1106 sig = ptcb->events; // Previous signal flags
mbedAustin 11:cada08fc8a70 1107
mbedAustin 11:cada08fc8a70 1108 isr_evt_set(signals, ptcb->task_id); // Set event flags
mbedAustin 11:cada08fc8a70 1109
mbedAustin 11:cada08fc8a70 1110 return sig;
mbedAustin 11:cada08fc8a70 1111 }
mbedAustin 11:cada08fc8a70 1112
mbedAustin 11:cada08fc8a70 1113
mbedAustin 11:cada08fc8a70 1114 // Signal Public API
mbedAustin 11:cada08fc8a70 1115
mbedAustin 11:cada08fc8a70 1116 /// Set the specified Signal Flags of an active thread
mbedAustin 11:cada08fc8a70 1117 int32_t osSignalSet (osThreadId thread_id, int32_t signals) {
mbedAustin 11:cada08fc8a70 1118 if (__get_CONTROL() == MODE_IRQ) { // in ISR
mbedAustin 11:cada08fc8a70 1119 return isrSignalSet(thread_id, signals);
mbedAustin 11:cada08fc8a70 1120 } else { // in Thread
mbedAustin 11:cada08fc8a70 1121 return __svcSignalSet(thread_id, signals);
mbedAustin 11:cada08fc8a70 1122 }
mbedAustin 11:cada08fc8a70 1123 }
mbedAustin 11:cada08fc8a70 1124
mbedAustin 11:cada08fc8a70 1125 /// Clear the specified Signal Flags of an active thread
mbedAustin 11:cada08fc8a70 1126 int32_t osSignalClear (osThreadId thread_id, int32_t signals) {
mbedAustin 11:cada08fc8a70 1127 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1128 return __svcSignalClear(thread_id, signals);
mbedAustin 11:cada08fc8a70 1129 }
mbedAustin 11:cada08fc8a70 1130
mbedAustin 11:cada08fc8a70 1131 /// Get Signal Flags status of an active thread
mbedAustin 11:cada08fc8a70 1132 int32_t osSignalGet (osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 1133 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1134 return __svcSignalGet(thread_id);
mbedAustin 11:cada08fc8a70 1135 }
mbedAustin 11:cada08fc8a70 1136
mbedAustin 11:cada08fc8a70 1137 /// Wait for one or more Signal Flags to become signaled for the current RUNNING thread
mbedAustin 11:cada08fc8a70 1138 os_InRegs osEvent osSignalWait (int32_t signals, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1139 osEvent ret;
mbedAustin 11:cada08fc8a70 1140
mbedAustin 11:cada08fc8a70 1141 if (__get_CONTROL() == MODE_IRQ) { // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1142 ret.status = osErrorISR;
mbedAustin 11:cada08fc8a70 1143 return ret;
mbedAustin 11:cada08fc8a70 1144 }
mbedAustin 11:cada08fc8a70 1145 return __svcSignalWait(signals, millisec);
mbedAustin 11:cada08fc8a70 1146 }
mbedAustin 11:cada08fc8a70 1147
mbedAustin 11:cada08fc8a70 1148
mbedAustin 11:cada08fc8a70 1149 // ==== Mutex Management ====
mbedAustin 11:cada08fc8a70 1150
mbedAustin 11:cada08fc8a70 1151 // Mutex Service Calls declarations
mbedAustin 11:cada08fc8a70 1152 SVC_1_1(svcMutexCreate, osMutexId, osMutexDef_t *, RET_pointer)
mbedAustin 11:cada08fc8a70 1153 SVC_2_1(svcMutexWait, osStatus, osMutexId, uint32_t, RET_osStatus)
mbedAustin 11:cada08fc8a70 1154 SVC_1_1(svcMutexRelease, osStatus, osMutexId, RET_osStatus)
mbedAustin 11:cada08fc8a70 1155 SVC_1_1(svcMutexDelete, osStatus, osMutexId, RET_osStatus)
mbedAustin 11:cada08fc8a70 1156
mbedAustin 11:cada08fc8a70 1157 // Mutex Service Calls
mbedAustin 11:cada08fc8a70 1158
mbedAustin 11:cada08fc8a70 1159 /// Create and Initialize a Mutex object
mbedAustin 11:cada08fc8a70 1160 osMutexId svcMutexCreate (osMutexDef_t *mutex_def) {
mbedAustin 11:cada08fc8a70 1161 OS_ID mut;
mbedAustin 11:cada08fc8a70 1162
mbedAustin 11:cada08fc8a70 1163 if (mutex_def == NULL) {
mbedAustin 11:cada08fc8a70 1164 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1165 return NULL;
mbedAustin 11:cada08fc8a70 1166 }
mbedAustin 11:cada08fc8a70 1167
mbedAustin 11:cada08fc8a70 1168 mut = mutex_def->mutex;
mbedAustin 11:cada08fc8a70 1169 if (mut == NULL) {
mbedAustin 11:cada08fc8a70 1170 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1171 return NULL;
mbedAustin 11:cada08fc8a70 1172 }
mbedAustin 11:cada08fc8a70 1173
mbedAustin 11:cada08fc8a70 1174 if (((P_MUCB)mut)->cb_type != 0) {
mbedAustin 11:cada08fc8a70 1175 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1176 return NULL;
mbedAustin 11:cada08fc8a70 1177 }
mbedAustin 11:cada08fc8a70 1178
mbedAustin 11:cada08fc8a70 1179 rt_mut_init(mut); // Initialize Mutex
mbedAustin 11:cada08fc8a70 1180
mbedAustin 11:cada08fc8a70 1181 return mut;
mbedAustin 11:cada08fc8a70 1182 }
mbedAustin 11:cada08fc8a70 1183
mbedAustin 11:cada08fc8a70 1184 /// Wait until a Mutex becomes available
mbedAustin 11:cada08fc8a70 1185 osStatus svcMutexWait (osMutexId mutex_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1186 OS_ID mut;
mbedAustin 11:cada08fc8a70 1187 OS_RESULT res;
mbedAustin 11:cada08fc8a70 1188
mbedAustin 11:cada08fc8a70 1189 mut = rt_id2obj(mutex_id);
mbedAustin 11:cada08fc8a70 1190 if (mut == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1191
mbedAustin 11:cada08fc8a70 1192 if (((P_MUCB)mut)->cb_type != MUCB) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1193
mbedAustin 11:cada08fc8a70 1194 res = rt_mut_wait(mut, rt_ms2tick(millisec)); // Wait for Mutex
mbedAustin 11:cada08fc8a70 1195
mbedAustin 11:cada08fc8a70 1196 if (res == OS_R_TMO) {
mbedAustin 11:cada08fc8a70 1197 return (millisec ? osErrorTimeoutResource : osErrorResource);
mbedAustin 11:cada08fc8a70 1198 }
mbedAustin 11:cada08fc8a70 1199
mbedAustin 11:cada08fc8a70 1200 return osOK;
mbedAustin 11:cada08fc8a70 1201 }
mbedAustin 11:cada08fc8a70 1202
mbedAustin 11:cada08fc8a70 1203 /// Release a Mutex that was obtained with osMutexWait
mbedAustin 11:cada08fc8a70 1204 osStatus svcMutexRelease (osMutexId mutex_id) {
mbedAustin 11:cada08fc8a70 1205 OS_ID mut;
mbedAustin 11:cada08fc8a70 1206 OS_RESULT res;
mbedAustin 11:cada08fc8a70 1207
mbedAustin 11:cada08fc8a70 1208 mut = rt_id2obj(mutex_id);
mbedAustin 11:cada08fc8a70 1209 if (mut == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1210
mbedAustin 11:cada08fc8a70 1211 if (((P_MUCB)mut)->cb_type != MUCB) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1212
mbedAustin 11:cada08fc8a70 1213 res = rt_mut_release(mut); // Release Mutex
mbedAustin 11:cada08fc8a70 1214
mbedAustin 11:cada08fc8a70 1215 if (res == OS_R_NOK) return osErrorResource; // Thread not owner or Zero Counter
mbedAustin 11:cada08fc8a70 1216
mbedAustin 11:cada08fc8a70 1217 return osOK;
mbedAustin 11:cada08fc8a70 1218 }
mbedAustin 11:cada08fc8a70 1219
mbedAustin 11:cada08fc8a70 1220 /// Delete a Mutex that was created by osMutexCreate
mbedAustin 11:cada08fc8a70 1221 osStatus svcMutexDelete (osMutexId mutex_id) {
mbedAustin 11:cada08fc8a70 1222 OS_ID mut;
mbedAustin 11:cada08fc8a70 1223
mbedAustin 11:cada08fc8a70 1224 mut = rt_id2obj(mutex_id);
mbedAustin 11:cada08fc8a70 1225 if (mut == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1226
mbedAustin 11:cada08fc8a70 1227 if (((P_MUCB)mut)->cb_type != MUCB) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1228
mbedAustin 11:cada08fc8a70 1229 rt_mut_delete(mut); // Release Mutex
mbedAustin 11:cada08fc8a70 1230
mbedAustin 11:cada08fc8a70 1231 return osOK;
mbedAustin 11:cada08fc8a70 1232 }
mbedAustin 11:cada08fc8a70 1233
mbedAustin 11:cada08fc8a70 1234
mbedAustin 11:cada08fc8a70 1235 // Mutex Public API
mbedAustin 11:cada08fc8a70 1236
mbedAustin 11:cada08fc8a70 1237 /// Create and Initialize a Mutex object
mbedAustin 11:cada08fc8a70 1238 osMutexId osMutexCreate (osMutexDef_t *mutex_def) {
mbedAustin 11:cada08fc8a70 1239 if (__get_CONTROL() == MODE_IRQ) return NULL; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1240 if ((__get_CONTROL() == MODE_SUPERVISOR) && (os_running == 0)) {
mbedAustin 11:cada08fc8a70 1241 // Privileged and not running
mbedAustin 11:cada08fc8a70 1242 return svcMutexCreate(mutex_def);
mbedAustin 11:cada08fc8a70 1243 } else {
mbedAustin 11:cada08fc8a70 1244 return __svcMutexCreate(mutex_def);
mbedAustin 11:cada08fc8a70 1245 }
mbedAustin 11:cada08fc8a70 1246 }
mbedAustin 11:cada08fc8a70 1247
mbedAustin 11:cada08fc8a70 1248 /// Wait until a Mutex becomes available
mbedAustin 11:cada08fc8a70 1249 osStatus osMutexWait (osMutexId mutex_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1250 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1251 return __svcMutexWait(mutex_id, millisec);
mbedAustin 11:cada08fc8a70 1252 }
mbedAustin 11:cada08fc8a70 1253
mbedAustin 11:cada08fc8a70 1254 /// Release a Mutex that was obtained with osMutexWait
mbedAustin 11:cada08fc8a70 1255 osStatus osMutexRelease (osMutexId mutex_id) {
mbedAustin 11:cada08fc8a70 1256 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1257 return __svcMutexRelease(mutex_id);
mbedAustin 11:cada08fc8a70 1258 }
mbedAustin 11:cada08fc8a70 1259
mbedAustin 11:cada08fc8a70 1260 /// Delete a Mutex that was created by osMutexCreate
mbedAustin 11:cada08fc8a70 1261 osStatus osMutexDelete (osMutexId mutex_id) {
mbedAustin 11:cada08fc8a70 1262 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1263 return __svcMutexDelete(mutex_id);
mbedAustin 11:cada08fc8a70 1264 }
mbedAustin 11:cada08fc8a70 1265
mbedAustin 11:cada08fc8a70 1266
mbedAustin 11:cada08fc8a70 1267 // ==== Semaphore Management ====
mbedAustin 11:cada08fc8a70 1268
mbedAustin 11:cada08fc8a70 1269 // Semaphore Service Calls declarations
mbedAustin 11:cada08fc8a70 1270 SVC_2_1(svcSemaphoreCreate, osSemaphoreId, const osSemaphoreDef_t *, int32_t, RET_pointer)
mbedAustin 11:cada08fc8a70 1271 SVC_2_1(svcSemaphoreWait, int32_t, osSemaphoreId, uint32_t, RET_int32_t)
mbedAustin 11:cada08fc8a70 1272 SVC_1_1(svcSemaphoreRelease, osStatus, osSemaphoreId, RET_osStatus)
mbedAustin 11:cada08fc8a70 1273 SVC_1_1(svcSemaphoreDelete, osStatus, osSemaphoreId, RET_osStatus)
mbedAustin 11:cada08fc8a70 1274
mbedAustin 11:cada08fc8a70 1275 // Semaphore Service Calls
mbedAustin 11:cada08fc8a70 1276
mbedAustin 11:cada08fc8a70 1277 /// Create and Initialize a Semaphore object
mbedAustin 11:cada08fc8a70 1278 osSemaphoreId svcSemaphoreCreate (const osSemaphoreDef_t *semaphore_def, int32_t count) {
mbedAustin 11:cada08fc8a70 1279 OS_ID sem;
mbedAustin 11:cada08fc8a70 1280
mbedAustin 11:cada08fc8a70 1281 if (semaphore_def == NULL) {
mbedAustin 11:cada08fc8a70 1282 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1283 return NULL;
mbedAustin 11:cada08fc8a70 1284 }
mbedAustin 11:cada08fc8a70 1285
mbedAustin 11:cada08fc8a70 1286 sem = semaphore_def->semaphore;
mbedAustin 11:cada08fc8a70 1287 if (sem == NULL) {
mbedAustin 11:cada08fc8a70 1288 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1289 return NULL;
mbedAustin 11:cada08fc8a70 1290 }
mbedAustin 11:cada08fc8a70 1291
mbedAustin 11:cada08fc8a70 1292 if (((P_SCB)sem)->cb_type != 0) {
mbedAustin 11:cada08fc8a70 1293 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1294 return NULL;
mbedAustin 11:cada08fc8a70 1295 }
mbedAustin 11:cada08fc8a70 1296
mbedAustin 11:cada08fc8a70 1297 if (count > osFeature_Semaphore) {
mbedAustin 11:cada08fc8a70 1298 sysThreadError(osErrorValue);
mbedAustin 11:cada08fc8a70 1299 return NULL;
mbedAustin 11:cada08fc8a70 1300 }
mbedAustin 11:cada08fc8a70 1301
mbedAustin 11:cada08fc8a70 1302 rt_sem_init(sem, count); // Initialize Semaphore
mbedAustin 11:cada08fc8a70 1303
mbedAustin 11:cada08fc8a70 1304 return sem;
mbedAustin 11:cada08fc8a70 1305 }
mbedAustin 11:cada08fc8a70 1306
mbedAustin 11:cada08fc8a70 1307 /// Wait until a Semaphore becomes available
mbedAustin 11:cada08fc8a70 1308 int32_t svcSemaphoreWait (osSemaphoreId semaphore_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1309 OS_ID sem;
mbedAustin 11:cada08fc8a70 1310 OS_RESULT res;
mbedAustin 11:cada08fc8a70 1311
mbedAustin 11:cada08fc8a70 1312 sem = rt_id2obj(semaphore_id);
mbedAustin 11:cada08fc8a70 1313 if (sem == NULL) return -1;
mbedAustin 11:cada08fc8a70 1314
mbedAustin 11:cada08fc8a70 1315 if (((P_SCB)sem)->cb_type != SCB) return -1;
mbedAustin 11:cada08fc8a70 1316
mbedAustin 11:cada08fc8a70 1317 res = rt_sem_wait(sem, rt_ms2tick(millisec)); // Wait for Semaphore
mbedAustin 11:cada08fc8a70 1318
mbedAustin 11:cada08fc8a70 1319 if (res == OS_R_TMO) return 0; // Timeout
mbedAustin 11:cada08fc8a70 1320
mbedAustin 11:cada08fc8a70 1321 return (((P_SCB)sem)->tokens + 1);
mbedAustin 11:cada08fc8a70 1322 }
mbedAustin 11:cada08fc8a70 1323
mbedAustin 11:cada08fc8a70 1324 /// Release a Semaphore
mbedAustin 11:cada08fc8a70 1325 osStatus svcSemaphoreRelease (osSemaphoreId semaphore_id) {
mbedAustin 11:cada08fc8a70 1326 OS_ID sem;
mbedAustin 11:cada08fc8a70 1327
mbedAustin 11:cada08fc8a70 1328 sem = rt_id2obj(semaphore_id);
mbedAustin 11:cada08fc8a70 1329 if (sem == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1330
mbedAustin 11:cada08fc8a70 1331 if (((P_SCB)sem)->cb_type != SCB) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1332
mbedAustin 11:cada08fc8a70 1333 if (((P_SCB)sem)->tokens == osFeature_Semaphore) return osErrorResource;
mbedAustin 11:cada08fc8a70 1334
mbedAustin 11:cada08fc8a70 1335 rt_sem_send(sem); // Release Semaphore
mbedAustin 11:cada08fc8a70 1336
mbedAustin 11:cada08fc8a70 1337 return osOK;
mbedAustin 11:cada08fc8a70 1338 }
mbedAustin 11:cada08fc8a70 1339
mbedAustin 11:cada08fc8a70 1340 /// Delete a Semaphore that was created by osSemaphoreCreate
mbedAustin 11:cada08fc8a70 1341 osStatus svcSemaphoreDelete (osSemaphoreId semaphore_id) {
mbedAustin 11:cada08fc8a70 1342 OS_ID sem;
mbedAustin 11:cada08fc8a70 1343
mbedAustin 11:cada08fc8a70 1344 sem = rt_id2obj(semaphore_id);
mbedAustin 11:cada08fc8a70 1345 if (sem == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1346
mbedAustin 11:cada08fc8a70 1347 if (((P_SCB)sem)->cb_type != SCB) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1348
mbedAustin 11:cada08fc8a70 1349 rt_sem_delete(sem); // Delete Semaphore
mbedAustin 11:cada08fc8a70 1350
mbedAustin 11:cada08fc8a70 1351 return osOK;
mbedAustin 11:cada08fc8a70 1352 }
mbedAustin 11:cada08fc8a70 1353
mbedAustin 11:cada08fc8a70 1354
mbedAustin 11:cada08fc8a70 1355 // Semaphore ISR Calls
mbedAustin 11:cada08fc8a70 1356
mbedAustin 11:cada08fc8a70 1357 /// Release a Semaphore
mbedAustin 11:cada08fc8a70 1358 static __INLINE osStatus isrSemaphoreRelease (osSemaphoreId semaphore_id) {
mbedAustin 11:cada08fc8a70 1359 OS_ID sem;
mbedAustin 11:cada08fc8a70 1360
mbedAustin 11:cada08fc8a70 1361 sem = rt_id2obj(semaphore_id);
mbedAustin 11:cada08fc8a70 1362 if (sem == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1363
mbedAustin 11:cada08fc8a70 1364 if (((P_SCB)sem)->cb_type != SCB) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1365
mbedAustin 11:cada08fc8a70 1366 if (((P_SCB)sem)->tokens == osFeature_Semaphore) return osErrorResource;
mbedAustin 11:cada08fc8a70 1367
mbedAustin 11:cada08fc8a70 1368 isr_sem_send(sem); // Release Semaphore
mbedAustin 11:cada08fc8a70 1369
mbedAustin 11:cada08fc8a70 1370 return osOK;
mbedAustin 11:cada08fc8a70 1371 }
mbedAustin 11:cada08fc8a70 1372
mbedAustin 11:cada08fc8a70 1373
mbedAustin 11:cada08fc8a70 1374 // Semaphore Public API
mbedAustin 11:cada08fc8a70 1375
mbedAustin 11:cada08fc8a70 1376 /// Create and Initialize a Semaphore object
mbedAustin 11:cada08fc8a70 1377 osSemaphoreId osSemaphoreCreate (osSemaphoreDef_t *semaphore_def, int32_t count) {
mbedAustin 11:cada08fc8a70 1378 if (__get_CONTROL() == MODE_IRQ) return NULL; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1379 if ((__get_CONTROL() == MODE_SUPERVISOR) && (os_running == 0)) {
mbedAustin 11:cada08fc8a70 1380 // Privileged and not running
mbedAustin 11:cada08fc8a70 1381 return svcSemaphoreCreate(semaphore_def, count);
mbedAustin 11:cada08fc8a70 1382 } else {
mbedAustin 11:cada08fc8a70 1383 return __svcSemaphoreCreate(semaphore_def, count);
mbedAustin 11:cada08fc8a70 1384 }
mbedAustin 11:cada08fc8a70 1385 }
mbedAustin 11:cada08fc8a70 1386
mbedAustin 11:cada08fc8a70 1387 /// Wait until a Semaphore becomes available
mbedAustin 11:cada08fc8a70 1388 int32_t osSemaphoreWait (osSemaphoreId semaphore_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1389 if (__get_CONTROL() == MODE_IRQ) return -1; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1390 return __svcSemaphoreWait(semaphore_id, millisec);
mbedAustin 11:cada08fc8a70 1391 }
mbedAustin 11:cada08fc8a70 1392
mbedAustin 11:cada08fc8a70 1393 /// Release a Semaphore
mbedAustin 11:cada08fc8a70 1394 osStatus osSemaphoreRelease (osSemaphoreId semaphore_id) {
mbedAustin 11:cada08fc8a70 1395 if (__get_CONTROL() == MODE_IRQ) { // in ISR
mbedAustin 11:cada08fc8a70 1396 return isrSemaphoreRelease(semaphore_id);
mbedAustin 11:cada08fc8a70 1397 } else { // in Thread
mbedAustin 11:cada08fc8a70 1398 return __svcSemaphoreRelease(semaphore_id);
mbedAustin 11:cada08fc8a70 1399 }
mbedAustin 11:cada08fc8a70 1400 }
mbedAustin 11:cada08fc8a70 1401
mbedAustin 11:cada08fc8a70 1402 /// Delete a Semaphore that was created by osSemaphoreCreate
mbedAustin 11:cada08fc8a70 1403 osStatus osSemaphoreDelete (osSemaphoreId semaphore_id) {
mbedAustin 11:cada08fc8a70 1404 if (__get_CONTROL() == MODE_IRQ) return osErrorISR; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1405 return __svcSemaphoreDelete(semaphore_id);
mbedAustin 11:cada08fc8a70 1406 }
mbedAustin 11:cada08fc8a70 1407
mbedAustin 11:cada08fc8a70 1408
mbedAustin 11:cada08fc8a70 1409 // ==== Memory Management Functions ====
mbedAustin 11:cada08fc8a70 1410
mbedAustin 11:cada08fc8a70 1411 // Memory Management Helper Functions
mbedAustin 11:cada08fc8a70 1412
mbedAustin 11:cada08fc8a70 1413 // Clear Memory Box (Zero init)
mbedAustin 11:cada08fc8a70 1414 static void rt_clr_box (void *box_mem, void *box) {
mbedAustin 11:cada08fc8a70 1415 uint32_t *p, n;
mbedAustin 11:cada08fc8a70 1416
mbedAustin 11:cada08fc8a70 1417 if (box) {
mbedAustin 11:cada08fc8a70 1418 p = box;
mbedAustin 11:cada08fc8a70 1419 for (n = ((P_BM)box_mem)->blk_size; n; n -= 4) {
mbedAustin 11:cada08fc8a70 1420 *p++ = 0;
mbedAustin 11:cada08fc8a70 1421 }
mbedAustin 11:cada08fc8a70 1422 }
mbedAustin 11:cada08fc8a70 1423 }
mbedAustin 11:cada08fc8a70 1424
mbedAustin 11:cada08fc8a70 1425 // Memory Management Service Calls declarations
mbedAustin 11:cada08fc8a70 1426 SVC_1_1(svcPoolCreate, osPoolId, const osPoolDef_t *, RET_pointer)
mbedAustin 11:cada08fc8a70 1427 SVC_2_1(sysPoolAlloc, void *, osPoolId, uint32_t, RET_pointer)
mbedAustin 11:cada08fc8a70 1428 SVC_2_1(sysPoolFree, osStatus, osPoolId, void *, RET_osStatus)
mbedAustin 11:cada08fc8a70 1429
mbedAustin 11:cada08fc8a70 1430 // Memory Management Service & ISR Calls
mbedAustin 11:cada08fc8a70 1431
mbedAustin 11:cada08fc8a70 1432 /// Create and Initialize memory pool
mbedAustin 11:cada08fc8a70 1433 osPoolId svcPoolCreate (const osPoolDef_t *pool_def) {
mbedAustin 11:cada08fc8a70 1434 uint32_t blk_sz;
mbedAustin 11:cada08fc8a70 1435
mbedAustin 11:cada08fc8a70 1436 if ((pool_def == NULL) ||
mbedAustin 11:cada08fc8a70 1437 (pool_def->pool_sz == 0) ||
mbedAustin 11:cada08fc8a70 1438 (pool_def->item_sz == 0) ||
mbedAustin 11:cada08fc8a70 1439 (pool_def->pool == NULL)) {
mbedAustin 11:cada08fc8a70 1440 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1441 return NULL;
mbedAustin 11:cada08fc8a70 1442 }
mbedAustin 11:cada08fc8a70 1443
mbedAustin 11:cada08fc8a70 1444 blk_sz = (pool_def->item_sz + 3) & ~3;
mbedAustin 11:cada08fc8a70 1445
mbedAustin 11:cada08fc8a70 1446 _init_box(pool_def->pool, sizeof(struct OS_BM) + pool_def->pool_sz * blk_sz, blk_sz);
mbedAustin 11:cada08fc8a70 1447
mbedAustin 11:cada08fc8a70 1448 return pool_def->pool;
mbedAustin 11:cada08fc8a70 1449 }
mbedAustin 11:cada08fc8a70 1450
mbedAustin 11:cada08fc8a70 1451 /// Allocate a memory block from a memory pool
mbedAustin 11:cada08fc8a70 1452 void *sysPoolAlloc (osPoolId pool_id, uint32_t clr) {
mbedAustin 11:cada08fc8a70 1453 void *ptr;
mbedAustin 11:cada08fc8a70 1454
mbedAustin 11:cada08fc8a70 1455 if (pool_id == NULL) return NULL;
mbedAustin 11:cada08fc8a70 1456
mbedAustin 11:cada08fc8a70 1457 ptr = rt_alloc_box(pool_id);
mbedAustin 11:cada08fc8a70 1458 if (clr) {
mbedAustin 11:cada08fc8a70 1459 rt_clr_box(pool_id, ptr);
mbedAustin 11:cada08fc8a70 1460 }
mbedAustin 11:cada08fc8a70 1461
mbedAustin 11:cada08fc8a70 1462 return ptr;
mbedAustin 11:cada08fc8a70 1463 }
mbedAustin 11:cada08fc8a70 1464
mbedAustin 11:cada08fc8a70 1465 /// Return an allocated memory block back to a specific memory pool
mbedAustin 11:cada08fc8a70 1466 osStatus sysPoolFree (osPoolId pool_id, void *block) {
mbedAustin 11:cada08fc8a70 1467 int32_t res;
mbedAustin 11:cada08fc8a70 1468
mbedAustin 11:cada08fc8a70 1469 if (pool_id == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1470
mbedAustin 11:cada08fc8a70 1471 res = rt_free_box(pool_id, block);
mbedAustin 11:cada08fc8a70 1472 if (res != 0) return osErrorValue;
mbedAustin 11:cada08fc8a70 1473
mbedAustin 11:cada08fc8a70 1474 return osOK;
mbedAustin 11:cada08fc8a70 1475 }
mbedAustin 11:cada08fc8a70 1476
mbedAustin 11:cada08fc8a70 1477
mbedAustin 11:cada08fc8a70 1478 // Memory Management Public API
mbedAustin 11:cada08fc8a70 1479
mbedAustin 11:cada08fc8a70 1480 /// Create and Initialize memory pool
mbedAustin 11:cada08fc8a70 1481 osPoolId osPoolCreate (osPoolDef_t *pool_def) {
mbedAustin 11:cada08fc8a70 1482 if (__get_CONTROL() == MODE_IRQ) return NULL; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1483 if ((__get_CONTROL() == MODE_SUPERVISOR) && (os_running == 0)) {
mbedAustin 11:cada08fc8a70 1484 // Privileged and not running
mbedAustin 11:cada08fc8a70 1485 return svcPoolCreate(pool_def);
mbedAustin 11:cada08fc8a70 1486 } else {
mbedAustin 11:cada08fc8a70 1487 return __svcPoolCreate(pool_def);
mbedAustin 11:cada08fc8a70 1488 }
mbedAustin 11:cada08fc8a70 1489 }
mbedAustin 11:cada08fc8a70 1490
mbedAustin 11:cada08fc8a70 1491 /// Allocate a memory block from a memory pool
mbedAustin 11:cada08fc8a70 1492 void *osPoolAlloc (osPoolId pool_id) {
mbedAustin 11:cada08fc8a70 1493 if ((__get_CONTROL() == MODE_IRQ) || (__get_CONTROL() == MODE_SUPERVISOR)) { // in ISR or Privileged
mbedAustin 11:cada08fc8a70 1494 return sysPoolAlloc(pool_id, 0);
mbedAustin 11:cada08fc8a70 1495 } else { // in Thread
mbedAustin 11:cada08fc8a70 1496 return __sysPoolAlloc(pool_id, 0);
mbedAustin 11:cada08fc8a70 1497 }
mbedAustin 11:cada08fc8a70 1498 }
mbedAustin 11:cada08fc8a70 1499
mbedAustin 11:cada08fc8a70 1500 /// Allocate a memory block from a memory pool and set memory block to zero
mbedAustin 11:cada08fc8a70 1501 void *osPoolCAlloc (osPoolId pool_id) {
mbedAustin 11:cada08fc8a70 1502 if ((__get_CONTROL() == MODE_IRQ) || (__get_CONTROL() == MODE_SUPERVISOR)) { // in ISR or Privileged
mbedAustin 11:cada08fc8a70 1503 return sysPoolAlloc(pool_id, 1);
mbedAustin 11:cada08fc8a70 1504 } else { // in Thread
mbedAustin 11:cada08fc8a70 1505 return __sysPoolAlloc(pool_id, 1);
mbedAustin 11:cada08fc8a70 1506 }
mbedAustin 11:cada08fc8a70 1507 }
mbedAustin 11:cada08fc8a70 1508
mbedAustin 11:cada08fc8a70 1509 /// Return an allocated memory block back to a specific memory pool
mbedAustin 11:cada08fc8a70 1510 osStatus osPoolFree (osPoolId pool_id, void *block) {
mbedAustin 11:cada08fc8a70 1511 if ((__get_CONTROL() == MODE_IRQ) || (__get_CONTROL() == MODE_SUPERVISOR)) { // in ISR or Privileged
mbedAustin 11:cada08fc8a70 1512 return sysPoolFree(pool_id, block);
mbedAustin 11:cada08fc8a70 1513 } else { // in Thread
mbedAustin 11:cada08fc8a70 1514 return __sysPoolFree(pool_id, block);
mbedAustin 11:cada08fc8a70 1515 }
mbedAustin 11:cada08fc8a70 1516 }
mbedAustin 11:cada08fc8a70 1517
mbedAustin 11:cada08fc8a70 1518
mbedAustin 11:cada08fc8a70 1519 // ==== Message Queue Management Functions ====
mbedAustin 11:cada08fc8a70 1520
mbedAustin 11:cada08fc8a70 1521 // Message Queue Management Service Calls declarations
mbedAustin 11:cada08fc8a70 1522 SVC_2_1(svcMessageCreate, osMessageQId, osMessageQDef_t *, osThreadId, RET_pointer)
mbedAustin 11:cada08fc8a70 1523 SVC_3_1(svcMessagePut, osStatus, osMessageQId, uint32_t, uint32_t, RET_osStatus)
mbedAustin 11:cada08fc8a70 1524 SVC_2_3(svcMessageGet, os_InRegs osEvent, osMessageQId, uint32_t, RET_osEvent)
mbedAustin 11:cada08fc8a70 1525
mbedAustin 11:cada08fc8a70 1526 // Message Queue Service Calls
mbedAustin 11:cada08fc8a70 1527
mbedAustin 11:cada08fc8a70 1528 /// Create and Initialize Message Queue
mbedAustin 11:cada08fc8a70 1529 osMessageQId svcMessageCreate (osMessageQDef_t *queue_def, osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 1530
mbedAustin 11:cada08fc8a70 1531 if ((queue_def == NULL) ||
mbedAustin 11:cada08fc8a70 1532 (queue_def->queue_sz == 0) ||
mbedAustin 11:cada08fc8a70 1533 (queue_def->pool == NULL)) {
mbedAustin 11:cada08fc8a70 1534 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1535 return NULL;
mbedAustin 11:cada08fc8a70 1536 }
mbedAustin 11:cada08fc8a70 1537
mbedAustin 11:cada08fc8a70 1538 if (((P_MCB)queue_def->pool)->cb_type != 0) {
mbedAustin 11:cada08fc8a70 1539 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1540 return NULL;
mbedAustin 11:cada08fc8a70 1541 }
mbedAustin 11:cada08fc8a70 1542
mbedAustin 11:cada08fc8a70 1543 rt_mbx_init(queue_def->pool, 4*(queue_def->queue_sz + 4));
mbedAustin 11:cada08fc8a70 1544
mbedAustin 11:cada08fc8a70 1545 return queue_def->pool;
mbedAustin 11:cada08fc8a70 1546 }
mbedAustin 11:cada08fc8a70 1547
mbedAustin 11:cada08fc8a70 1548 /// Put a Message to a Queue
mbedAustin 11:cada08fc8a70 1549 osStatus svcMessagePut (osMessageQId queue_id, uint32_t info, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1550 OS_RESULT res;
mbedAustin 11:cada08fc8a70 1551
mbedAustin 11:cada08fc8a70 1552 if (queue_id == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1553
mbedAustin 11:cada08fc8a70 1554 if (((P_MCB)queue_id)->cb_type != MCB) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1555
mbedAustin 11:cada08fc8a70 1556 res = rt_mbx_send(queue_id, (void *)info, rt_ms2tick(millisec));
mbedAustin 11:cada08fc8a70 1557
mbedAustin 11:cada08fc8a70 1558 if (res == OS_R_TMO) {
mbedAustin 11:cada08fc8a70 1559 return (millisec ? osErrorTimeoutResource : osErrorResource);
mbedAustin 11:cada08fc8a70 1560 }
mbedAustin 11:cada08fc8a70 1561
mbedAustin 11:cada08fc8a70 1562 return osOK;
mbedAustin 11:cada08fc8a70 1563 }
mbedAustin 11:cada08fc8a70 1564
mbedAustin 11:cada08fc8a70 1565 /// Get a Message or Wait for a Message from a Queue
mbedAustin 11:cada08fc8a70 1566 os_InRegs osEvent_type svcMessageGet (osMessageQId queue_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1567 OS_RESULT res;
mbedAustin 11:cada08fc8a70 1568 osEvent ret;
mbedAustin 11:cada08fc8a70 1569
mbedAustin 11:cada08fc8a70 1570 if (queue_id == NULL) {
mbedAustin 11:cada08fc8a70 1571 ret.status = osErrorParameter;
mbedAustin 11:cada08fc8a70 1572 return osEvent_ret_status;
mbedAustin 11:cada08fc8a70 1573 }
mbedAustin 11:cada08fc8a70 1574
mbedAustin 11:cada08fc8a70 1575 if (((P_MCB)queue_id)->cb_type != MCB) {
mbedAustin 11:cada08fc8a70 1576 ret.status = osErrorParameter;
mbedAustin 11:cada08fc8a70 1577 return osEvent_ret_status;
mbedAustin 11:cada08fc8a70 1578 }
mbedAustin 11:cada08fc8a70 1579
mbedAustin 11:cada08fc8a70 1580 res = rt_mbx_wait(queue_id, &ret.value.p, rt_ms2tick(millisec));
mbedAustin 11:cada08fc8a70 1581
mbedAustin 11:cada08fc8a70 1582 if (res == OS_R_TMO) {
mbedAustin 11:cada08fc8a70 1583 ret.status = millisec ? osEventTimeout : osOK;
mbedAustin 11:cada08fc8a70 1584 return osEvent_ret_value;
mbedAustin 11:cada08fc8a70 1585 }
mbedAustin 11:cada08fc8a70 1586
mbedAustin 11:cada08fc8a70 1587 ret.status = osEventMessage;
mbedAustin 11:cada08fc8a70 1588
mbedAustin 11:cada08fc8a70 1589 return osEvent_ret_value;
mbedAustin 11:cada08fc8a70 1590 }
mbedAustin 11:cada08fc8a70 1591
mbedAustin 11:cada08fc8a70 1592
mbedAustin 11:cada08fc8a70 1593 // Message Queue ISR Calls
mbedAustin 11:cada08fc8a70 1594
mbedAustin 11:cada08fc8a70 1595 /// Put a Message to a Queue
mbedAustin 11:cada08fc8a70 1596 static __INLINE osStatus isrMessagePut (osMessageQId queue_id, uint32_t info, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1597
mbedAustin 11:cada08fc8a70 1598 if ((queue_id == NULL) || (millisec != 0)) {
mbedAustin 11:cada08fc8a70 1599 return osErrorParameter;
mbedAustin 11:cada08fc8a70 1600 }
mbedAustin 11:cada08fc8a70 1601
mbedAustin 11:cada08fc8a70 1602 if (((P_MCB)queue_id)->cb_type != MCB) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1603
mbedAustin 11:cada08fc8a70 1604 if (rt_mbx_check(queue_id) == 0) { // Check if Queue is full
mbedAustin 11:cada08fc8a70 1605 return osErrorResource;
mbedAustin 11:cada08fc8a70 1606 }
mbedAustin 11:cada08fc8a70 1607
mbedAustin 11:cada08fc8a70 1608 isr_mbx_send(queue_id, (void *)info);
mbedAustin 11:cada08fc8a70 1609
mbedAustin 11:cada08fc8a70 1610 return osOK;
mbedAustin 11:cada08fc8a70 1611 }
mbedAustin 11:cada08fc8a70 1612
mbedAustin 11:cada08fc8a70 1613 /// Get a Message or Wait for a Message from a Queue
mbedAustin 11:cada08fc8a70 1614 static __INLINE os_InRegs osEvent isrMessageGet (osMessageQId queue_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1615 OS_RESULT res;
mbedAustin 11:cada08fc8a70 1616 osEvent ret;
mbedAustin 11:cada08fc8a70 1617
mbedAustin 11:cada08fc8a70 1618 if ((queue_id == NULL) || (millisec != 0)) {
mbedAustin 11:cada08fc8a70 1619 ret.status = osErrorParameter;
mbedAustin 11:cada08fc8a70 1620 return ret;
mbedAustin 11:cada08fc8a70 1621 }
mbedAustin 11:cada08fc8a70 1622
mbedAustin 11:cada08fc8a70 1623 if (((P_MCB)queue_id)->cb_type != MCB) {
mbedAustin 11:cada08fc8a70 1624 ret.status = osErrorParameter;
mbedAustin 11:cada08fc8a70 1625 return ret;
mbedAustin 11:cada08fc8a70 1626 }
mbedAustin 11:cada08fc8a70 1627
mbedAustin 11:cada08fc8a70 1628 res = isr_mbx_receive(queue_id, &ret.value.p);
mbedAustin 11:cada08fc8a70 1629
mbedAustin 11:cada08fc8a70 1630 if (res != OS_R_MBX) {
mbedAustin 11:cada08fc8a70 1631 ret.status = osOK;
mbedAustin 11:cada08fc8a70 1632 return ret;
mbedAustin 11:cada08fc8a70 1633 }
mbedAustin 11:cada08fc8a70 1634
mbedAustin 11:cada08fc8a70 1635 ret.status = osEventMessage;
mbedAustin 11:cada08fc8a70 1636
mbedAustin 11:cada08fc8a70 1637 return ret;
mbedAustin 11:cada08fc8a70 1638 }
mbedAustin 11:cada08fc8a70 1639
mbedAustin 11:cada08fc8a70 1640
mbedAustin 11:cada08fc8a70 1641 // Message Queue Management Public API
mbedAustin 11:cada08fc8a70 1642
mbedAustin 11:cada08fc8a70 1643 /// Create and Initialize Message Queue
mbedAustin 11:cada08fc8a70 1644 osMessageQId osMessageCreate (osMessageQDef_t *queue_def, osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 1645 if (__get_CONTROL() == MODE_IRQ) return NULL; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1646 if ((__get_CONTROL() == MODE_SUPERVISOR) && (os_running == 0)) {
mbedAustin 11:cada08fc8a70 1647 // Privileged and not running
mbedAustin 11:cada08fc8a70 1648 return svcMessageCreate(queue_def, thread_id);
mbedAustin 11:cada08fc8a70 1649 } else {
mbedAustin 11:cada08fc8a70 1650 return __svcMessageCreate(queue_def, thread_id);
mbedAustin 11:cada08fc8a70 1651 }
mbedAustin 11:cada08fc8a70 1652 }
mbedAustin 11:cada08fc8a70 1653
mbedAustin 11:cada08fc8a70 1654 /// Put a Message to a Queue
mbedAustin 11:cada08fc8a70 1655 osStatus osMessagePut (osMessageQId queue_id, uint32_t info, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1656 if (__get_CONTROL() == MODE_IRQ) { // in ISR
mbedAustin 11:cada08fc8a70 1657 return isrMessagePut(queue_id, info, millisec);
mbedAustin 11:cada08fc8a70 1658 } else { // in Thread
mbedAustin 11:cada08fc8a70 1659 return __svcMessagePut(queue_id, info, millisec);
mbedAustin 11:cada08fc8a70 1660 }
mbedAustin 11:cada08fc8a70 1661 }
mbedAustin 11:cada08fc8a70 1662
mbedAustin 11:cada08fc8a70 1663 /// Get a Message or Wait for a Message from a Queue
mbedAustin 11:cada08fc8a70 1664 os_InRegs osEvent osMessageGet (osMessageQId queue_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1665 if (__get_CONTROL() == MODE_IRQ) { // in ISR
mbedAustin 11:cada08fc8a70 1666 return isrMessageGet(queue_id, millisec);
mbedAustin 11:cada08fc8a70 1667 } else { // in Thread
mbedAustin 11:cada08fc8a70 1668 return __svcMessageGet(queue_id, millisec);
mbedAustin 11:cada08fc8a70 1669 }
mbedAustin 11:cada08fc8a70 1670 }
mbedAustin 11:cada08fc8a70 1671
mbedAustin 11:cada08fc8a70 1672
mbedAustin 11:cada08fc8a70 1673 // ==== Mail Queue Management Functions ====
mbedAustin 11:cada08fc8a70 1674
mbedAustin 11:cada08fc8a70 1675 // Mail Queue Management Service Calls declarations
mbedAustin 11:cada08fc8a70 1676 SVC_2_1(svcMailCreate, osMailQId, osMailQDef_t *, osThreadId, RET_pointer)
mbedAustin 11:cada08fc8a70 1677 SVC_4_1(sysMailAlloc, void *, osMailQId, uint32_t, uint32_t, uint32_t, RET_pointer)
mbedAustin 11:cada08fc8a70 1678 SVC_3_1(sysMailFree, osStatus, osMailQId, void *, uint32_t, RET_osStatus)
mbedAustin 11:cada08fc8a70 1679
mbedAustin 11:cada08fc8a70 1680 // Mail Queue Management Service & ISR Calls
mbedAustin 11:cada08fc8a70 1681
mbedAustin 11:cada08fc8a70 1682 /// Create and Initialize mail queue
mbedAustin 11:cada08fc8a70 1683 osMailQId svcMailCreate (osMailQDef_t *queue_def, osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 1684 uint32_t blk_sz;
mbedAustin 11:cada08fc8a70 1685 P_MCB pmcb;
mbedAustin 11:cada08fc8a70 1686 void *pool;
mbedAustin 11:cada08fc8a70 1687
mbedAustin 11:cada08fc8a70 1688 if ((queue_def == NULL) ||
mbedAustin 11:cada08fc8a70 1689 (queue_def->queue_sz == 0) ||
mbedAustin 11:cada08fc8a70 1690 (queue_def->item_sz == 0) ||
mbedAustin 11:cada08fc8a70 1691 (queue_def->pool == NULL)) {
mbedAustin 11:cada08fc8a70 1692 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1693 return NULL;
mbedAustin 11:cada08fc8a70 1694 }
mbedAustin 11:cada08fc8a70 1695
mbedAustin 11:cada08fc8a70 1696 pmcb = *(((void **)queue_def->pool) + 0);
mbedAustin 11:cada08fc8a70 1697 pool = *(((void **)queue_def->pool) + 1);
mbedAustin 11:cada08fc8a70 1698
mbedAustin 11:cada08fc8a70 1699 if ((pool == NULL) || (pmcb == NULL) || (pmcb->cb_type != 0)) {
mbedAustin 11:cada08fc8a70 1700 sysThreadError(osErrorParameter);
mbedAustin 11:cada08fc8a70 1701 return NULL;
mbedAustin 11:cada08fc8a70 1702 }
mbedAustin 11:cada08fc8a70 1703
mbedAustin 11:cada08fc8a70 1704 blk_sz = (queue_def->item_sz + 3) & ~3;
mbedAustin 11:cada08fc8a70 1705
mbedAustin 11:cada08fc8a70 1706 _init_box(pool, sizeof(struct OS_BM) + queue_def->queue_sz * blk_sz, blk_sz);
mbedAustin 11:cada08fc8a70 1707
mbedAustin 11:cada08fc8a70 1708 rt_mbx_init(pmcb, 4*(queue_def->queue_sz + 4));
mbedAustin 11:cada08fc8a70 1709
mbedAustin 11:cada08fc8a70 1710
mbedAustin 11:cada08fc8a70 1711 return queue_def->pool;
mbedAustin 11:cada08fc8a70 1712 }
mbedAustin 11:cada08fc8a70 1713
mbedAustin 11:cada08fc8a70 1714 /// Allocate a memory block from a mail
mbedAustin 11:cada08fc8a70 1715 void *sysMailAlloc (osMailQId queue_id, uint32_t millisec, uint32_t isr, uint32_t clr) {
mbedAustin 11:cada08fc8a70 1716 P_MCB pmcb;
mbedAustin 11:cada08fc8a70 1717 void *pool;
mbedAustin 11:cada08fc8a70 1718 void *mem;
mbedAustin 11:cada08fc8a70 1719
mbedAustin 11:cada08fc8a70 1720 if (queue_id == NULL) return NULL;
mbedAustin 11:cada08fc8a70 1721
mbedAustin 11:cada08fc8a70 1722 pmcb = *(((void **)queue_id) + 0);
mbedAustin 11:cada08fc8a70 1723 pool = *(((void **)queue_id) + 1);
mbedAustin 11:cada08fc8a70 1724
mbedAustin 11:cada08fc8a70 1725 if ((pool == NULL) || (pmcb == NULL)) return NULL;
mbedAustin 11:cada08fc8a70 1726
mbedAustin 11:cada08fc8a70 1727 if (isr && (millisec != 0)) return NULL;
mbedAustin 11:cada08fc8a70 1728
mbedAustin 11:cada08fc8a70 1729 mem = rt_alloc_box(pool);
mbedAustin 11:cada08fc8a70 1730 if (clr) {
mbedAustin 11:cada08fc8a70 1731 rt_clr_box(pool, mem);
mbedAustin 11:cada08fc8a70 1732 }
mbedAustin 11:cada08fc8a70 1733
mbedAustin 11:cada08fc8a70 1734 if ((mem == NULL) && (millisec != 0)) {
mbedAustin 11:cada08fc8a70 1735 // Put Task to sleep when Memory not available
mbedAustin 11:cada08fc8a70 1736 if (pmcb->p_lnk != NULL) {
mbedAustin 11:cada08fc8a70 1737 rt_put_prio((P_XCB)pmcb, os_tsk.run);
mbedAustin 11:cada08fc8a70 1738 } else {
mbedAustin 11:cada08fc8a70 1739 pmcb->p_lnk = os_tsk.run;
mbedAustin 11:cada08fc8a70 1740 os_tsk.run->p_lnk = NULL;
mbedAustin 11:cada08fc8a70 1741 os_tsk.run->p_rlnk = (P_TCB)pmcb;
mbedAustin 11:cada08fc8a70 1742 // Task is waiting to allocate a message
mbedAustin 11:cada08fc8a70 1743 pmcb->state = 3;
mbedAustin 11:cada08fc8a70 1744 }
mbedAustin 11:cada08fc8a70 1745 rt_block(rt_ms2tick(millisec), WAIT_MBX);
mbedAustin 11:cada08fc8a70 1746 }
mbedAustin 11:cada08fc8a70 1747
mbedAustin 11:cada08fc8a70 1748 return mem;
mbedAustin 11:cada08fc8a70 1749 }
mbedAustin 11:cada08fc8a70 1750
mbedAustin 11:cada08fc8a70 1751 /// Free a memory block from a mail
mbedAustin 11:cada08fc8a70 1752 osStatus sysMailFree (osMailQId queue_id, void *mail, uint32_t isr) {
mbedAustin 11:cada08fc8a70 1753 P_MCB pmcb;
mbedAustin 11:cada08fc8a70 1754 P_TCB ptcb;
mbedAustin 11:cada08fc8a70 1755 void *pool;
mbedAustin 11:cada08fc8a70 1756 void *mem;
mbedAustin 11:cada08fc8a70 1757 int32_t res;
mbedAustin 11:cada08fc8a70 1758
mbedAustin 11:cada08fc8a70 1759 if (queue_id == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1760
mbedAustin 11:cada08fc8a70 1761 pmcb = *(((void **)queue_id) + 0);
mbedAustin 11:cada08fc8a70 1762 pool = *(((void **)queue_id) + 1);
mbedAustin 11:cada08fc8a70 1763
mbedAustin 11:cada08fc8a70 1764 if ((pmcb == NULL) || (pool == NULL)) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1765
mbedAustin 11:cada08fc8a70 1766 res = rt_free_box(pool, mail);
mbedAustin 11:cada08fc8a70 1767
mbedAustin 11:cada08fc8a70 1768 if (res != 0) return osErrorValue;
mbedAustin 11:cada08fc8a70 1769
mbedAustin 11:cada08fc8a70 1770 if (pmcb->state == 3) {
mbedAustin 11:cada08fc8a70 1771 // Task is waiting to allocate a message
mbedAustin 11:cada08fc8a70 1772 if (isr) {
mbedAustin 11:cada08fc8a70 1773 rt_psq_enq (pmcb, (U32)pool);
mbedAustin 11:cada08fc8a70 1774 rt_psh_req ();
mbedAustin 11:cada08fc8a70 1775 } else {
mbedAustin 11:cada08fc8a70 1776 mem = rt_alloc_box(pool);
mbedAustin 11:cada08fc8a70 1777 if (mem != NULL) {
mbedAustin 11:cada08fc8a70 1778 ptcb = rt_get_first((P_XCB)pmcb);
mbedAustin 11:cada08fc8a70 1779 if (pmcb->p_lnk == NULL) {
mbedAustin 11:cada08fc8a70 1780 pmcb->state = 0;
mbedAustin 11:cada08fc8a70 1781 }
mbedAustin 11:cada08fc8a70 1782 rt_ret_val(ptcb, (U32)mem);
mbedAustin 11:cada08fc8a70 1783 rt_rmv_dly(ptcb);
mbedAustin 11:cada08fc8a70 1784 rt_dispatch(ptcb);
mbedAustin 11:cada08fc8a70 1785 }
mbedAustin 11:cada08fc8a70 1786 }
mbedAustin 11:cada08fc8a70 1787 }
mbedAustin 11:cada08fc8a70 1788
mbedAustin 11:cada08fc8a70 1789 return osOK;
mbedAustin 11:cada08fc8a70 1790 }
mbedAustin 11:cada08fc8a70 1791
mbedAustin 11:cada08fc8a70 1792
mbedAustin 11:cada08fc8a70 1793 // Mail Queue Management Public API
mbedAustin 11:cada08fc8a70 1794
mbedAustin 11:cada08fc8a70 1795 /// Create and Initialize mail queue
mbedAustin 11:cada08fc8a70 1796 osMailQId osMailCreate (osMailQDef_t *queue_def, osThreadId thread_id) {
mbedAustin 11:cada08fc8a70 1797 if (__get_CONTROL() == MODE_IRQ) return NULL; // Not allowed in ISR
mbedAustin 11:cada08fc8a70 1798 if ((__get_CONTROL() == MODE_SUPERVISOR) && (os_running == 0)) {
mbedAustin 11:cada08fc8a70 1799 // Privileged and not running
mbedAustin 11:cada08fc8a70 1800 return svcMailCreate(queue_def, thread_id);
mbedAustin 11:cada08fc8a70 1801 } else {
mbedAustin 11:cada08fc8a70 1802 return __svcMailCreate(queue_def, thread_id);
mbedAustin 11:cada08fc8a70 1803 }
mbedAustin 11:cada08fc8a70 1804 }
mbedAustin 11:cada08fc8a70 1805
mbedAustin 11:cada08fc8a70 1806 /// Allocate a memory block from a mail
mbedAustin 11:cada08fc8a70 1807 void *osMailAlloc (osMailQId queue_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1808 if (__get_CONTROL() == MODE_IRQ) { // in ISR
mbedAustin 11:cada08fc8a70 1809 return sysMailAlloc(queue_id, millisec, 1, 0);
mbedAustin 11:cada08fc8a70 1810 } else { // in Thread
mbedAustin 11:cada08fc8a70 1811 return __sysMailAlloc(queue_id, millisec, 0, 0);
mbedAustin 11:cada08fc8a70 1812 }
mbedAustin 11:cada08fc8a70 1813 }
mbedAustin 11:cada08fc8a70 1814
mbedAustin 11:cada08fc8a70 1815 /// Allocate a memory block from a mail and set memory block to zero
mbedAustin 11:cada08fc8a70 1816 void *osMailCAlloc (osMailQId queue_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1817 if (__get_CONTROL() == MODE_IRQ) { // in ISR
mbedAustin 11:cada08fc8a70 1818 return sysMailAlloc(queue_id, millisec, 1, 1);
mbedAustin 11:cada08fc8a70 1819 } else { // in Thread
mbedAustin 11:cada08fc8a70 1820 return __sysMailAlloc(queue_id, millisec, 0, 1);
mbedAustin 11:cada08fc8a70 1821 }
mbedAustin 11:cada08fc8a70 1822 }
mbedAustin 11:cada08fc8a70 1823
mbedAustin 11:cada08fc8a70 1824 /// Free a memory block from a mail
mbedAustin 11:cada08fc8a70 1825 osStatus osMailFree (osMailQId queue_id, void *mail) {
mbedAustin 11:cada08fc8a70 1826 if (__get_CONTROL() == MODE_IRQ) { // in ISR
mbedAustin 11:cada08fc8a70 1827 return sysMailFree(queue_id, mail, 1);
mbedAustin 11:cada08fc8a70 1828 } else { // in Thread
mbedAustin 11:cada08fc8a70 1829 return __sysMailFree(queue_id, mail, 0);
mbedAustin 11:cada08fc8a70 1830 }
mbedAustin 11:cada08fc8a70 1831 }
mbedAustin 11:cada08fc8a70 1832
mbedAustin 11:cada08fc8a70 1833 /// Put a mail to a queue
mbedAustin 11:cada08fc8a70 1834 osStatus osMailPut (osMailQId queue_id, void *mail) {
mbedAustin 11:cada08fc8a70 1835 if (queue_id == NULL) return osErrorParameter;
mbedAustin 11:cada08fc8a70 1836 if (mail == NULL) return osErrorValue;
mbedAustin 11:cada08fc8a70 1837 return osMessagePut(*((void **)queue_id), (uint32_t)mail, 0);
mbedAustin 11:cada08fc8a70 1838 }
mbedAustin 11:cada08fc8a70 1839
mbedAustin 11:cada08fc8a70 1840 /// Get a mail from a queue
mbedAustin 11:cada08fc8a70 1841 os_InRegs osEvent osMailGet (osMailQId queue_id, uint32_t millisec) {
mbedAustin 11:cada08fc8a70 1842 osEvent ret;
mbedAustin 11:cada08fc8a70 1843
mbedAustin 11:cada08fc8a70 1844 if (queue_id == NULL) {
mbedAustin 11:cada08fc8a70 1845 ret.status = osErrorParameter;
mbedAustin 11:cada08fc8a70 1846 return ret;
mbedAustin 11:cada08fc8a70 1847 }
mbedAustin 11:cada08fc8a70 1848
mbedAustin 11:cada08fc8a70 1849 ret = osMessageGet(*((void **)queue_id), millisec);
mbedAustin 11:cada08fc8a70 1850 if (ret.status == osEventMessage) ret.status = osEventMail;
mbedAustin 11:cada08fc8a70 1851
mbedAustin 11:cada08fc8a70 1852 return ret;
mbedAustin 11:cada08fc8a70 1853 }