mbed official / mbed-rtos

Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.

Dependents:   denki-yohou_b TestY201 Network-RTOS NTPClient_HelloWorld ... more

Deprecated

This is the mbed 2 rtos library. mbed OS 5 integrates the mbed library with mbed-rtos. With this, we have provided thread safety for all mbed APIs. If you'd like to learn about using mbed OS 5, please see the docs.

rtx/TARGET_CORTEX_A/RTX_CM_lib.h@121:3da5f554d8bf, 2016-09-01 (annotated)

Committer:
<>
Date:
Thu Sep 01 15:13:42 2016 +0100
Revision:
121:3da5f554d8bf
Parent:
119:19af2d39a542
Child:
123:58563e6cba1e
RTOS rev121



Compatible with the mbed library v125



Changes:

- K64F: Revert to hardcoded stack pointer in RTX.

- Adding NCS36510 support.

- Add MAX32620 target support.

- Fix implicit declaration of function 'atexit'.

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 48:e9a2c7cb57a4 1 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 2 * RL-ARM - RTX
mbed_official 48:e9a2c7cb57a4 3 *----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 4 * Name: RTX_CM_LIB.H
mbed_official 48:e9a2c7cb57a4 5 * Purpose: RTX Kernel System Configuration
mbed_official 92:bc9729798a19 6 * Rev.: V4.73
mbed_official 48:e9a2c7cb57a4 7 *----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 8 *
mbed_official 92:bc9729798a19 9 * Copyright (c) 1999-2009 KEIL, 2009-2013 ARM Germany GmbH
mbed_official 48:e9a2c7cb57a4 10 * All rights reserved.
mbed_official 48:e9a2c7cb57a4 11 * Redistribution and use in source and binary forms, with or without
mbed_official 48:e9a2c7cb57a4 12 * modification, are permitted provided that the following conditions are met:
mbed_official 48:e9a2c7cb57a4 13 * - Redistributions of source code must retain the above copyright
mbed_official 48:e9a2c7cb57a4 14 * notice, this list of conditions and the following disclaimer.
mbed_official 48:e9a2c7cb57a4 15 * - Redistributions in binary form must reproduce the above copyright
mbed_official 48:e9a2c7cb57a4 16 * notice, this list of conditions and the following disclaimer in the
mbed_official 48:e9a2c7cb57a4 17 * documentation and/or other materials provided with the distribution.
mbed_official 68:d3d0e710b443 18 * - Neither the name of ARM nor the names of its contributors may be used
mbed_official 68:d3d0e710b443 19 * to endorse or promote products derived from this software without
mbed_official 48:e9a2c7cb57a4 20 * specific prior written permission.
mbed_official 48:e9a2c7cb57a4 21 *
mbed_official 68:d3d0e710b443 22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
mbed_official 68:d3d0e710b443 23 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
mbed_official 48:e9a2c7cb57a4 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
mbed_official 48:e9a2c7cb57a4 25 * ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDERS AND CONTRIBUTORS BE
mbed_official 48:e9a2c7cb57a4 26 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
mbed_official 68:d3d0e710b443 27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
mbed_official 68:d3d0e710b443 28 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
mbed_official 68:d3d0e710b443 29 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
mbed_official 68:d3d0e710b443 30 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
mbed_official 48:e9a2c7cb57a4 31 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
mbed_official 48:e9a2c7cb57a4 32 * POSSIBILITY OF SUCH DAMAGE.
mbed_official 48:e9a2c7cb57a4 33 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 34
mbed_official 48:e9a2c7cb57a4 35 #if defined (__CC_ARM)
Kojto 119:19af2d39a542 36 #include <rt_misc.h>
mbed_official 48:e9a2c7cb57a4 37 #pragma O3
mbed_official 48:e9a2c7cb57a4 38 #define __USED __attribute__((used))
mbed_official 48:e9a2c7cb57a4 39 #elif defined (__GNUC__)
mbed_official 48:e9a2c7cb57a4 40 #pragma GCC optimize ("O3")
mbed_official 48:e9a2c7cb57a4 41 #define __USED __attribute__((used))
mbed_official 48:e9a2c7cb57a4 42 #elif defined (__ICCARM__)
mbed_official 48:e9a2c7cb57a4 43 #define __USED __root
mbed_official 48:e9a2c7cb57a4 44 #endif
mbed_official 48:e9a2c7cb57a4 45
mbed_official 48:e9a2c7cb57a4 46
mbed_official 48:e9a2c7cb57a4 47 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 48 * Definitions
mbed_official 48:e9a2c7cb57a4 49 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 50
mbed_official 48:e9a2c7cb57a4 51 #define _declare_box(pool,size,cnt) uint32_t pool[(((size)+3)/4)*(cnt) + 3]
mbed_official 48:e9a2c7cb57a4 52 #define _declare_box8(pool,size,cnt) uint64_t pool[(((size)+7)/8)*(cnt) + 2]
mbed_official 48:e9a2c7cb57a4 53
Kojto 118:6635230e06ba 54 #define OS_TCB_SIZE 60
mbed_official 48:e9a2c7cb57a4 55 #define OS_TMR_SIZE 8
mbed_official 48:e9a2c7cb57a4 56
mbed_official 48:e9a2c7cb57a4 57 #if defined (__CC_ARM) && !defined (__MICROLIB)
mbed_official 48:e9a2c7cb57a4 58
mbed_official 48:e9a2c7cb57a4 59 typedef void *OS_ID;
mbed_official 48:e9a2c7cb57a4 60 typedef uint32_t OS_TID;
mbed_official 92:bc9729798a19 61 typedef uint32_t OS_MUT[4];
mbed_official 48:e9a2c7cb57a4 62 typedef uint32_t OS_RESULT;
mbed_official 48:e9a2c7cb57a4 63
mbed_official 48:e9a2c7cb57a4 64 #define runtask_id() rt_tsk_self()
mbed_official 48:e9a2c7cb57a4 65 #define mutex_init(m) rt_mut_init(m)
mbed_official 48:e9a2c7cb57a4 66 #define mutex_wait(m) os_mut_wait(m,0xFFFF)
mbed_official 48:e9a2c7cb57a4 67 #define mutex_rel(m) os_mut_release(m)
mbed_official 48:e9a2c7cb57a4 68
mbed_official 48:e9a2c7cb57a4 69 extern OS_TID rt_tsk_self (void);
mbed_official 48:e9a2c7cb57a4 70 extern void rt_mut_init (OS_ID mutex);
mbed_official 48:e9a2c7cb57a4 71 extern OS_RESULT rt_mut_release (OS_ID mutex);
mbed_official 48:e9a2c7cb57a4 72 extern OS_RESULT rt_mut_wait (OS_ID mutex, uint16_t timeout);
mbed_official 48:e9a2c7cb57a4 73
mbed_official 48:e9a2c7cb57a4 74 #define os_mut_wait(mutex,timeout) _os_mut_wait((uint32_t)rt_mut_wait,mutex,timeout)
mbed_official 48:e9a2c7cb57a4 75 #define os_mut_release(mutex) _os_mut_release((uint32_t)rt_mut_release,mutex)
mbed_official 48:e9a2c7cb57a4 76
mbed_official 48:e9a2c7cb57a4 77 OS_RESULT _os_mut_release (uint32_t p, OS_ID mutex) __svc_indirect(0);
mbed_official 48:e9a2c7cb57a4 78 OS_RESULT _os_mut_wait (uint32_t p, OS_ID mutex, uint16_t timeout) __svc_indirect(0);
mbed_official 48:e9a2c7cb57a4 79
mbed_official 103:5a85840ab54e 80 #elif defined (__ICCARM__)
mbed_official 103:5a85840ab54e 81
mbed_official 103:5a85840ab54e 82 typedef void *OS_ID;
mbed_official 103:5a85840ab54e 83 typedef uint32_t OS_TID;
mbed_official 103:5a85840ab54e 84 typedef uint32_t OS_MUT[4];
mbed_official 103:5a85840ab54e 85 typedef uint32_t OS_RESULT;
mbed_official 103:5a85840ab54e 86
mbed_official 103:5a85840ab54e 87 #define runtask_id() rt_tsk_self()
mbed_official 103:5a85840ab54e 88 #define mutex_init(m) rt_mut_init(m)
mbed_official 103:5a85840ab54e 89 #define mutex_del(m) os_mut_delete(m)
mbed_official 103:5a85840ab54e 90 #define mutex_wait(m) os_mut_wait(m,0xFFFF)
mbed_official 103:5a85840ab54e 91 #define mutex_rel(m) os_mut_release(m)
mbed_official 103:5a85840ab54e 92
mbed_official 103:5a85840ab54e 93 extern OS_TID rt_tsk_self (void);
mbed_official 103:5a85840ab54e 94 extern void rt_mut_init (OS_ID mutex);
mbed_official 103:5a85840ab54e 95 extern OS_RESULT rt_mut_delete (OS_ID mutex);
mbed_official 103:5a85840ab54e 96 extern OS_RESULT rt_mut_release (OS_ID mutex);
mbed_official 103:5a85840ab54e 97 extern OS_RESULT rt_mut_wait (OS_ID mutex, uint16_t timeout);
mbed_official 103:5a85840ab54e 98
mbed_official 103:5a85840ab54e 99 #pragma swi_number=0
mbed_official 103:5a85840ab54e 100 __swi OS_RESULT _os_mut_delete (OS_ID mutex);
mbed_official 103:5a85840ab54e 101
mbed_official 103:5a85840ab54e 102 static inline OS_RESULT os_mut_delete(OS_ID mutex)
mbed_official 103:5a85840ab54e 103 {
mbed_official 103:5a85840ab54e 104 __asm("mov r12,%0\n" :: "r"(&rt_mut_delete) : "r12" );
mbed_official 103:5a85840ab54e 105 return _os_mut_delete(mutex);
mbed_official 103:5a85840ab54e 106 }
mbed_official 103:5a85840ab54e 107
mbed_official 103:5a85840ab54e 108 #pragma swi_number=0
mbed_official 103:5a85840ab54e 109 __swi OS_RESULT _os_mut_release (OS_ID mutex);
mbed_official 103:5a85840ab54e 110
mbed_official 103:5a85840ab54e 111 static inline OS_RESULT os_mut_release(OS_ID mutex)
mbed_official 103:5a85840ab54e 112 {
mbed_official 103:5a85840ab54e 113 __asm("mov r12,%0\n" :: "r"(&rt_mut_release) : "r12" );
mbed_official 103:5a85840ab54e 114 return _os_mut_release(mutex);
mbed_official 103:5a85840ab54e 115 }
mbed_official 103:5a85840ab54e 116
mbed_official 103:5a85840ab54e 117 #pragma swi_number=0
mbed_official 103:5a85840ab54e 118 __swi OS_RESULT _os_mut_wait (OS_ID mutex, uint16_t timeout);
mbed_official 103:5a85840ab54e 119
mbed_official 103:5a85840ab54e 120 static inline OS_RESULT os_mut_wait(OS_ID mutex, uint16_t timeout)
mbed_official 103:5a85840ab54e 121 {
mbed_official 103:5a85840ab54e 122 __asm("mov r12,%0\n" :: "r"(&rt_mut_wait) : "r12" );
mbed_official 103:5a85840ab54e 123 return _os_mut_wait(mutex, timeout);
mbed_official 103:5a85840ab54e 124 }
mbed_official 103:5a85840ab54e 125
mbed_official 103:5a85840ab54e 126 #include <yvals.h> /* for include DLib_Thread.h */
mbed_official 103:5a85840ab54e 127
mbed_official 103:5a85840ab54e 128 void __iar_system_Mtxinit(__iar_Rmtx *);
mbed_official 103:5a85840ab54e 129 void __iar_system_Mtxdst(__iar_Rmtx *);
mbed_official 103:5a85840ab54e 130 void __iar_system_Mtxlock(__iar_Rmtx *);
mbed_official 103:5a85840ab54e 131 void __iar_system_Mtxunlock(__iar_Rmtx *);
mbed_official 103:5a85840ab54e 132
mbed_official 103:5a85840ab54e 133
mbed_official 103:5a85840ab54e 134
mbed_official 103:5a85840ab54e 135
mbed_official 48:e9a2c7cb57a4 136 #endif
mbed_official 48:e9a2c7cb57a4 137
mbed_official 48:e9a2c7cb57a4 138
mbed_official 48:e9a2c7cb57a4 139 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 140 * Global Variables
mbed_official 48:e9a2c7cb57a4 141 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 142
mbed_official 48:e9a2c7cb57a4 143 #if (OS_TIMERS != 0)
mbed_official 48:e9a2c7cb57a4 144 #define OS_TASK_CNT (OS_TASKCNT + 1)
mbed_official 85:ef0a22cdf839 145 #ifndef __MBED_CMSIS_RTOS_CA9
mbed_official 48:e9a2c7cb57a4 146 #define OS_PRIV_CNT (OS_PRIVCNT + 2)
mbed_official 48:e9a2c7cb57a4 147 #define OS_STACK_SZ (4*(OS_PRIVSTKSIZE+OS_MAINSTKSIZE+OS_TIMERSTKSZ))
mbed_official 85:ef0a22cdf839 148 #endif
mbed_official 48:e9a2c7cb57a4 149 #else
mbed_official 48:e9a2c7cb57a4 150 #define OS_TASK_CNT OS_TASKCNT
mbed_official 85:ef0a22cdf839 151 #ifndef __MBED_CMSIS_RTOS_CA9
mbed_official 48:e9a2c7cb57a4 152 #define OS_PRIV_CNT (OS_PRIVCNT + 1)
mbed_official 48:e9a2c7cb57a4 153 #define OS_STACK_SZ (4*(OS_PRIVSTKSIZE+OS_MAINSTKSIZE))
mbed_official 48:e9a2c7cb57a4 154 #endif
mbed_official 85:ef0a22cdf839 155 #endif
mbed_official 48:e9a2c7cb57a4 156
mbed_official 48:e9a2c7cb57a4 157 uint16_t const os_maxtaskrun = OS_TASK_CNT;
mbed_official 85:ef0a22cdf839 158 #ifdef __MBED_CMSIS_RTOS_CA9
mbed_official 85:ef0a22cdf839 159 uint32_t const os_stackinfo = (OS_STKCHECK<<24)| (OS_IDLESTKSIZE*4);
mbed_official 85:ef0a22cdf839 160 #else
mbed_official 48:e9a2c7cb57a4 161 uint32_t const os_stackinfo = (OS_STKCHECK<<24)| (OS_PRIV_CNT<<16) | (OS_STKSIZE*4);
mbed_official 85:ef0a22cdf839 162 #endif
mbed_official 48:e9a2c7cb57a4 163 uint32_t const os_rrobin = (OS_ROBIN << 16) | OS_ROBINTOUT;
mbed_official 92:bc9729798a19 164 uint32_t const os_tickfreq = OS_CLOCK;
mbed_official 92:bc9729798a19 165 uint16_t const os_tickus_i = OS_CLOCK/1000000;
mbed_official 92:bc9729798a19 166 uint16_t const os_tickus_f = (((uint64_t)(OS_CLOCK-1000000*(OS_CLOCK/1000000)))<<16)/1000000;
mbed_official 48:e9a2c7cb57a4 167 uint32_t const os_trv = OS_TRV;
mbed_official 48:e9a2c7cb57a4 168 uint8_t const os_flags = OS_RUNPRIV;
mbed_official 48:e9a2c7cb57a4 169
mbed_official 48:e9a2c7cb57a4 170 /* Export following defines to uVision debugger. */
mbed_official 92:bc9729798a19 171 __USED uint32_t const CMSIS_RTOS_API_Version = osCMSIS;
mbed_official 92:bc9729798a19 172 __USED uint32_t const CMSIS_RTOS_RTX_Version = osCMSIS_RTX;
mbed_official 48:e9a2c7cb57a4 173 __USED uint32_t const os_clockrate = OS_TICK;
mbed_official 48:e9a2c7cb57a4 174 __USED uint32_t const os_timernum = 0;
mbed_official 48:e9a2c7cb57a4 175
mbed_official 48:e9a2c7cb57a4 176 /* Memory pool for TCB allocation */
mbed_official 48:e9a2c7cb57a4 177 _declare_box (mp_tcb, OS_TCB_SIZE, OS_TASK_CNT);
mbed_official 48:e9a2c7cb57a4 178 uint16_t const mp_tcb_size = sizeof(mp_tcb);
mbed_official 48:e9a2c7cb57a4 179
mbed_official 85:ef0a22cdf839 180 #ifdef __MBED_CMSIS_RTOS_CA9
mbed_official 85:ef0a22cdf839 181 /* Memory pool for os_idle_demon stack allocation. */
mbed_official 85:ef0a22cdf839 182 _declare_box8 (mp_stk, OS_IDLESTKSIZE*4, 1);
mbed_official 85:ef0a22cdf839 183 uint32_t const mp_stk_size = sizeof(mp_stk);
mbed_official 85:ef0a22cdf839 184 #else
mbed_official 48:e9a2c7cb57a4 185 /* Memory pool for System stack allocation (+os_idle_demon). */
mbed_official 48:e9a2c7cb57a4 186 _declare_box8 (mp_stk, OS_STKSIZE*4, OS_TASK_CNT-OS_PRIV_CNT+1);
mbed_official 48:e9a2c7cb57a4 187 uint32_t const mp_stk_size = sizeof(mp_stk);
mbed_official 48:e9a2c7cb57a4 188
mbed_official 48:e9a2c7cb57a4 189 /* Memory pool for user specified stack allocation (+main, +timer) */
mbed_official 48:e9a2c7cb57a4 190 uint64_t os_stack_mem[2+OS_PRIV_CNT+(OS_STACK_SZ/8)];
mbed_official 48:e9a2c7cb57a4 191 uint32_t const os_stack_sz = sizeof(os_stack_mem);
mbed_official 85:ef0a22cdf839 192 #endif
mbed_official 48:e9a2c7cb57a4 193
mbed_official 48:e9a2c7cb57a4 194 #ifndef OS_FIFOSZ
mbed_official 48:e9a2c7cb57a4 195 #define OS_FIFOSZ 16
mbed_official 48:e9a2c7cb57a4 196 #endif
mbed_official 48:e9a2c7cb57a4 197
mbed_official 48:e9a2c7cb57a4 198 /* Fifo Queue buffer for ISR requests.*/
mbed_official 48:e9a2c7cb57a4 199 uint32_t os_fifo[OS_FIFOSZ*2+1];
mbed_official 48:e9a2c7cb57a4 200 uint8_t const os_fifo_size = OS_FIFOSZ;
mbed_official 48:e9a2c7cb57a4 201
mbed_official 48:e9a2c7cb57a4 202 /* An array of Active task pointers. */
mbed_official 48:e9a2c7cb57a4 203 void *os_active_TCB[OS_TASK_CNT];
mbed_official 48:e9a2c7cb57a4 204
mbed_official 48:e9a2c7cb57a4 205 /* User Timers Resources */
mbed_official 48:e9a2c7cb57a4 206 #if (OS_TIMERS != 0)
mbed_official 48:e9a2c7cb57a4 207 extern void osTimerThread (void const *argument);
mbed_official 85:ef0a22cdf839 208 #ifdef __MBED_CMSIS_RTOS_CA9
mbed_official 48:e9a2c7cb57a4 209 osThreadDef(osTimerThread, (osPriority)(OS_TIMERPRIO-3), 4*OS_TIMERSTKSZ);
mbed_official 48:e9a2c7cb57a4 210 #else
mbed_official 48:e9a2c7cb57a4 211 osThreadDef(osTimerThread, (osPriority)(OS_TIMERPRIO-3), 1, 4*OS_TIMERSTKSZ);
mbed_official 48:e9a2c7cb57a4 212 #endif
mbed_official 48:e9a2c7cb57a4 213 osThreadId osThreadId_osTimerThread;
mbed_official 48:e9a2c7cb57a4 214 osMessageQDef(osTimerMessageQ, OS_TIMERCBQS, void *);
mbed_official 48:e9a2c7cb57a4 215 osMessageQId osMessageQId_osTimerMessageQ;
mbed_official 48:e9a2c7cb57a4 216 #else
mbed_official 48:e9a2c7cb57a4 217 osThreadDef_t os_thread_def_osTimerThread = { NULL };
mbed_official 48:e9a2c7cb57a4 218 osThreadId osThreadId_osTimerThread;
mbed_official 48:e9a2c7cb57a4 219 osMessageQDef(osTimerMessageQ, 0, void *);
mbed_official 48:e9a2c7cb57a4 220 osMessageQId osMessageQId_osTimerMessageQ;
mbed_official 48:e9a2c7cb57a4 221 #endif
mbed_official 48:e9a2c7cb57a4 222
mbed_official 48:e9a2c7cb57a4 223 /* Legacy RTX User Timers not used */
mbed_official 68:d3d0e710b443 224 uint32_t os_tmr = 0;
mbed_official 48:e9a2c7cb57a4 225 uint32_t const *m_tmr = NULL;
mbed_official 48:e9a2c7cb57a4 226 uint16_t const mp_tmr_size = 0;
mbed_official 48:e9a2c7cb57a4 227
Kojto 119:19af2d39a542 228 /* singleton mutex */
Kojto 119:19af2d39a542 229 osMutexId singleton_mutex_id;
Kojto 119:19af2d39a542 230 osMutexDef(singleton_mutex);
Kojto 119:19af2d39a542 231
mbed_official 48:e9a2c7cb57a4 232 #if defined (__CC_ARM) && !defined (__MICROLIB)
mbed_official 48:e9a2c7cb57a4 233 /* A memory space for arm standard library. */
mbed_official 48:e9a2c7cb57a4 234 static uint32_t std_libspace[OS_TASK_CNT][96/4];
mbed_official 48:e9a2c7cb57a4 235 static OS_MUT std_libmutex[OS_MUTEXCNT];
mbed_official 48:e9a2c7cb57a4 236 static uint32_t nr_mutex;
mbed_official 48:e9a2c7cb57a4 237 extern void *__libspace_start;
mbed_official 103:5a85840ab54e 238 #elif defined (__ICCARM__)
mbed_official 103:5a85840ab54e 239 typedef struct os_mut_array {
mbed_official 103:5a85840ab54e 240 OS_MUT mutex;
mbed_official 103:5a85840ab54e 241 uint32_t used;
mbed_official 103:5a85840ab54e 242 } os_mut_array_t;
mbed_official 103:5a85840ab54e 243
mbed_official 103:5a85840ab54e 244 static os_mut_array_t std_libmutex[OS_MUTEXCNT];/* must be Zero clear */
mbed_official 103:5a85840ab54e 245 static uint32_t nr_mutex = 0;
mbed_official 48:e9a2c7cb57a4 246 #endif
mbed_official 48:e9a2c7cb57a4 247
mbed_official 48:e9a2c7cb57a4 248
mbed_official 48:e9a2c7cb57a4 249 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 250 * RTX Optimizations (empty functions)
mbed_official 48:e9a2c7cb57a4 251 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 252
mbed_official 48:e9a2c7cb57a4 253 #if OS_ROBIN == 0
mbed_official 48:e9a2c7cb57a4 254 void rt_init_robin (void) {;}
mbed_official 48:e9a2c7cb57a4 255 void rt_chk_robin (void) {;}
mbed_official 48:e9a2c7cb57a4 256 #endif
mbed_official 48:e9a2c7cb57a4 257
mbed_official 48:e9a2c7cb57a4 258 #if OS_STKCHECK == 0
mbed_official 48:e9a2c7cb57a4 259 void rt_stk_check (void) {;}
mbed_official 48:e9a2c7cb57a4 260 #endif
mbed_official 48:e9a2c7cb57a4 261
mbed_official 48:e9a2c7cb57a4 262
mbed_official 48:e9a2c7cb57a4 263 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 264 * Standard Library multithreading interface
mbed_official 48:e9a2c7cb57a4 265 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 266
mbed_official 48:e9a2c7cb57a4 267 #if defined (__CC_ARM) && !defined (__MICROLIB)
mbed_official 48:e9a2c7cb57a4 268
mbed_official 48:e9a2c7cb57a4 269 /*--------------------------- __user_perthread_libspace ---------------------*/
mbed_official 48:e9a2c7cb57a4 270
mbed_official 48:e9a2c7cb57a4 271 void *__user_perthread_libspace (void) {
mbed_official 48:e9a2c7cb57a4 272 /* Provide a separate libspace for each task. */
mbed_official 48:e9a2c7cb57a4 273 uint32_t idx;
mbed_official 48:e9a2c7cb57a4 274
mbed_official 48:e9a2c7cb57a4 275 idx = runtask_id ();
mbed_official 48:e9a2c7cb57a4 276 if (idx == 0) {
mbed_official 48:e9a2c7cb57a4 277 /* RTX not running yet. */
mbed_official 48:e9a2c7cb57a4 278 return (&__libspace_start);
mbed_official 48:e9a2c7cb57a4 279 }
mbed_official 48:e9a2c7cb57a4 280 return ((void *)&std_libspace[idx-1]);
mbed_official 48:e9a2c7cb57a4 281 }
mbed_official 48:e9a2c7cb57a4 282
mbed_official 48:e9a2c7cb57a4 283 /*--------------------------- _mutex_initialize -----------------------------*/
mbed_official 48:e9a2c7cb57a4 284
mbed_official 48:e9a2c7cb57a4 285 int _mutex_initialize (OS_ID *mutex) {
mbed_official 48:e9a2c7cb57a4 286 /* Allocate and initialize a system mutex. */
mbed_official 48:e9a2c7cb57a4 287
mbed_official 48:e9a2c7cb57a4 288 if (nr_mutex >= OS_MUTEXCNT) {
mbed_official 48:e9a2c7cb57a4 289 /* If you are here, you need to increase the number OS_MUTEXCNT. */
mbed_official 48:e9a2c7cb57a4 290 for (;;);
mbed_official 48:e9a2c7cb57a4 291 }
mbed_official 48:e9a2c7cb57a4 292 *mutex = &std_libmutex[nr_mutex++];
mbed_official 48:e9a2c7cb57a4 293 mutex_init (*mutex);
mbed_official 48:e9a2c7cb57a4 294 return (1);
mbed_official 48:e9a2c7cb57a4 295 }
mbed_official 48:e9a2c7cb57a4 296
mbed_official 48:e9a2c7cb57a4 297
mbed_official 48:e9a2c7cb57a4 298 /*--------------------------- _mutex_acquire --------------------------------*/
mbed_official 48:e9a2c7cb57a4 299
mbed_official 48:e9a2c7cb57a4 300 __attribute__((used)) void _mutex_acquire (OS_ID *mutex) {
mbed_official 48:e9a2c7cb57a4 301 /* Acquire a system mutex, lock stdlib resources. */
mbed_official 48:e9a2c7cb57a4 302 if (runtask_id ()) {
mbed_official 48:e9a2c7cb57a4 303 /* RTX running, acquire a mutex. */
mbed_official 48:e9a2c7cb57a4 304 mutex_wait (*mutex);
mbed_official 48:e9a2c7cb57a4 305 }
mbed_official 48:e9a2c7cb57a4 306 }
mbed_official 48:e9a2c7cb57a4 307
mbed_official 48:e9a2c7cb57a4 308
mbed_official 48:e9a2c7cb57a4 309 /*--------------------------- _mutex_release --------------------------------*/
mbed_official 48:e9a2c7cb57a4 310
mbed_official 48:e9a2c7cb57a4 311 __attribute__((used)) void _mutex_release (OS_ID *mutex) {
mbed_official 48:e9a2c7cb57a4 312 /* Release a system mutex, unlock stdlib resources. */
mbed_official 48:e9a2c7cb57a4 313 if (runtask_id ()) {
mbed_official 48:e9a2c7cb57a4 314 /* RTX running, release a mutex. */
mbed_official 48:e9a2c7cb57a4 315 mutex_rel (*mutex);
mbed_official 48:e9a2c7cb57a4 316 }
mbed_official 48:e9a2c7cb57a4 317 }
mbed_official 48:e9a2c7cb57a4 318
mbed_official 103:5a85840ab54e 319 #elif defined (__ICCARM__)
mbed_official 103:5a85840ab54e 320
mbed_official 103:5a85840ab54e 321 /*--------------------------- __iar_system_Mtxinit --------------------------*/
mbed_official 103:5a85840ab54e 322
mbed_official 103:5a85840ab54e 323 void __iar_system_Mtxinit(__iar_Rmtx *mutex)
mbed_official 103:5a85840ab54e 324 {
mbed_official 103:5a85840ab54e 325 /* Allocate and initialize a system mutex. */
mbed_official 103:5a85840ab54e 326 int32_t idx;
mbed_official 103:5a85840ab54e 327
mbed_official 103:5a85840ab54e 328 for (idx = 0; idx < OS_MUTEXCNT; idx++)
mbed_official 103:5a85840ab54e 329 {
mbed_official 103:5a85840ab54e 330 if (std_libmutex[idx].used == 0)
mbed_official 103:5a85840ab54e 331 {
mbed_official 103:5a85840ab54e 332 std_libmutex[idx].used = 1;
mbed_official 103:5a85840ab54e 333 *mutex = &std_libmutex[idx].mutex;
mbed_official 103:5a85840ab54e 334 nr_mutex++;
mbed_official 103:5a85840ab54e 335 break;
mbed_official 103:5a85840ab54e 336 }
mbed_official 103:5a85840ab54e 337 }
mbed_official 103:5a85840ab54e 338 if (nr_mutex >= OS_MUTEXCNT)
mbed_official 103:5a85840ab54e 339 {
mbed_official 103:5a85840ab54e 340 /* If you are here, you need to increase the number OS_MUTEXCNT. */
mbed_official 103:5a85840ab54e 341 for (;;);
mbed_official 103:5a85840ab54e 342 }
mbed_official 103:5a85840ab54e 343
mbed_official 103:5a85840ab54e 344 mutex_init (*mutex);
mbed_official 103:5a85840ab54e 345 }
mbed_official 103:5a85840ab54e 346
mbed_official 103:5a85840ab54e 347 /*--------------------------- __iar_system_Mtxdst ---------------------------*/
mbed_official 103:5a85840ab54e 348
mbed_official 103:5a85840ab54e 349 void __iar_system_Mtxdst(__iar_Rmtx *mutex)
mbed_official 103:5a85840ab54e 350 {
mbed_official 103:5a85840ab54e 351 /* Free a system mutex. */
mbed_official 103:5a85840ab54e 352 int32_t idx;
mbed_official 103:5a85840ab54e 353
mbed_official 103:5a85840ab54e 354 if (nr_mutex == 0)
mbed_official 103:5a85840ab54e 355 {
mbed_official 103:5a85840ab54e 356 for (;;);
mbed_official 103:5a85840ab54e 357 }
mbed_official 103:5a85840ab54e 358
mbed_official 103:5a85840ab54e 359 idx = ((((uint32_t)mutex) - ((uint32_t)&std_libmutex[0].mutex))
mbed_official 103:5a85840ab54e 360 / sizeof(os_mut_array_t));
mbed_official 103:5a85840ab54e 361
mbed_official 103:5a85840ab54e 362 if (idx >= OS_MUTEXCNT)
mbed_official 103:5a85840ab54e 363 {
mbed_official 103:5a85840ab54e 364 for (;;);
mbed_official 103:5a85840ab54e 365 }
mbed_official 103:5a85840ab54e 366
mbed_official 103:5a85840ab54e 367 mutex_del (*mutex);
mbed_official 103:5a85840ab54e 368 std_libmutex[idx].used = 0;
mbed_official 103:5a85840ab54e 369 }
mbed_official 103:5a85840ab54e 370
mbed_official 103:5a85840ab54e 371 /*--------------------------- __iar_system_Mtxlock --------------------------*/
mbed_official 103:5a85840ab54e 372
mbed_official 103:5a85840ab54e 373 void __iar_system_Mtxlock(__iar_Rmtx *mutex)
mbed_official 103:5a85840ab54e 374 {
mbed_official 103:5a85840ab54e 375 /* Acquire a system mutex, lock stdlib resources. */
mbed_official 103:5a85840ab54e 376 if (runtask_id ())
mbed_official 103:5a85840ab54e 377 {
mbed_official 103:5a85840ab54e 378 /* RTX running, acquire a mutex. */
mbed_official 103:5a85840ab54e 379 mutex_wait (*mutex);
mbed_official 103:5a85840ab54e 380 }
mbed_official 103:5a85840ab54e 381 }
mbed_official 103:5a85840ab54e 382
mbed_official 103:5a85840ab54e 383 /*--------------------------- __iar_system_Mtxunlock ------------------------*/
mbed_official 103:5a85840ab54e 384
mbed_official 103:5a85840ab54e 385 void __iar_system_Mtxunlock(__iar_Rmtx *mutex)
mbed_official 103:5a85840ab54e 386 {
mbed_official 103:5a85840ab54e 387 /* Release a system mutex, unlock stdlib resources. */
mbed_official 103:5a85840ab54e 388 if (runtask_id ())
mbed_official 103:5a85840ab54e 389 {
mbed_official 103:5a85840ab54e 390 /* RTX running, release a mutex. */
mbed_official 103:5a85840ab54e 391 mutex_rel (*mutex);
mbed_official 103:5a85840ab54e 392 }
mbed_official 103:5a85840ab54e 393 }
mbed_official 103:5a85840ab54e 394
mbed_official 48:e9a2c7cb57a4 395 #endif
mbed_official 48:e9a2c7cb57a4 396
mbed_official 48:e9a2c7cb57a4 397
mbed_official 48:e9a2c7cb57a4 398 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 399 * RTX Startup
mbed_official 48:e9a2c7cb57a4 400 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 401
mbed_official 48:e9a2c7cb57a4 402 /* Main Thread definition */
Kojto 118:6635230e06ba 403 extern void pre_main (void);
mbed_official 85:ef0a22cdf839 404 #ifdef __MBED_CMSIS_RTOS_CA9
mbed_official 85:ef0a22cdf839 405 uint32_t os_thread_def_stack_main [(4 * OS_MAINSTKSIZE) / sizeof(uint32_t)];
Kojto 118:6635230e06ba 406 osThreadDef_t os_thread_def_main = {(os_pthread)pre_main, osPriorityNormal, 1, 4*OS_MAINSTKSIZE, os_thread_def_stack_main };
mbed_official 85:ef0a22cdf839 407 #else
Kojto 118:6635230e06ba 408 osThreadDef_t os_thread_def_main = {(os_pthread)pre_main, osPriorityNormal, 1, 4*OS_MAINSTKSIZE };
mbed_official 85:ef0a22cdf839 409 #endif
mbed_official 48:e9a2c7cb57a4 410
mbed_official 48:e9a2c7cb57a4 411 #if defined (__CC_ARM)
mbed_official 48:e9a2c7cb57a4 412
mbed_official 48:e9a2c7cb57a4 413 #ifdef __MICROLIB
Kojto 118:6635230e06ba 414
Kojto 118:6635230e06ba 415 int main(void);
mbed_official 48:e9a2c7cb57a4 416 void _main_init (void) __attribute__((section(".ARM.Collect$$$$000000FF")));
Kojto 118:6635230e06ba 417 void $Super$$__cpp_initialize__aeabi_(void);
Kojto 118:6635230e06ba 418
mbed_official 48:e9a2c7cb57a4 419 #if __TARGET_ARCH_ARM
mbed_official 48:e9a2c7cb57a4 420 #pragma push
mbed_official 48:e9a2c7cb57a4 421 #pragma arm
mbed_official 48:e9a2c7cb57a4 422 #endif
mbed_official 48:e9a2c7cb57a4 423 void _main_init (void) {
mbed_official 48:e9a2c7cb57a4 424 osKernelInitialize();
mbed_official 48:e9a2c7cb57a4 425 osThreadCreate(&os_thread_def_main, NULL);
mbed_official 48:e9a2c7cb57a4 426 osKernelStart();
mbed_official 48:e9a2c7cb57a4 427 for (;;);
mbed_official 48:e9a2c7cb57a4 428 }
mbed_official 48:e9a2c7cb57a4 429 #if __TARGET_ARCH_ARM
mbed_official 48:e9a2c7cb57a4 430 #pragma pop
mbed_official 48:e9a2c7cb57a4 431 #endif
Kojto 118:6635230e06ba 432
Kojto 118:6635230e06ba 433 void $Sub$$__cpp_initialize__aeabi_(void)
Kojto 118:6635230e06ba 434 {
Kojto 118:6635230e06ba 435 // this should invoke C++ initializers prior _main_init, we keep this empty and
Kojto 118:6635230e06ba 436 // invoke them after _main_init (=starts RTX kernel)
Kojto 118:6635230e06ba 437 }
Kojto 118:6635230e06ba 438
Kojto 118:6635230e06ba 439 void pre_main()
Kojto 118:6635230e06ba 440 {
Kojto 119:19af2d39a542 441 singleton_mutex_id = osMutexCreate(osMutex(singleton_mutex));
Kojto 118:6635230e06ba 442 $Super$$__cpp_initialize__aeabi_();
Kojto 118:6635230e06ba 443 main();
Kojto 118:6635230e06ba 444 }
Kojto 118:6635230e06ba 445
mbed_official 48:e9a2c7cb57a4 446 #else
Kojto 118:6635230e06ba 447
Kojto 118:6635230e06ba 448 void * armcc_heap_base;
Kojto 118:6635230e06ba 449 void * armcc_heap_top;
Kojto 118:6635230e06ba 450
Kojto 119:19af2d39a542 451 int main(void);
Kojto 118:6635230e06ba 452
Kojto 119:19af2d39a542 453 void pre_main (void)
Kojto 119:19af2d39a542 454 {
Kojto 119:19af2d39a542 455 singleton_mutex_id = osMutexCreate(osMutex(singleton_mutex));
Kojto 119:19af2d39a542 456 __rt_lib_init((unsigned)armcc_heap_base, (unsigned)armcc_heap_top);
Kojto 119:19af2d39a542 457 main();
Kojto 118:6635230e06ba 458 }
Kojto 118:6635230e06ba 459
mbed_official 48:e9a2c7cb57a4 460 __asm void __rt_entry (void) {
mbed_official 48:e9a2c7cb57a4 461
mbed_official 48:e9a2c7cb57a4 462 IMPORT __user_setup_stackheap
mbed_official 48:e9a2c7cb57a4 463 IMPORT os_thread_def_main
Kojto 118:6635230e06ba 464 IMPORT armcc_heap_base
Kojto 118:6635230e06ba 465 IMPORT armcc_heap_top
mbed_official 48:e9a2c7cb57a4 466 IMPORT osKernelInitialize
mbed_official 48:e9a2c7cb57a4 467 IMPORT osKernelStart
mbed_official 48:e9a2c7cb57a4 468 IMPORT osThreadCreate
mbed_official 48:e9a2c7cb57a4 469
mbed_official 48:e9a2c7cb57a4 470 BL __user_setup_stackheap
Kojto 118:6635230e06ba 471 LDR R3,=armcc_heap_base
Kojto 118:6635230e06ba 472 LDR R4,=armcc_heap_top
Kojto 118:6635230e06ba 473 STR R0,[R3]
Kojto 118:6635230e06ba 474 STR R2,[R4]
mbed_official 48:e9a2c7cb57a4 475 BL osKernelInitialize
mbed_official 48:e9a2c7cb57a4 476 LDR R0,=os_thread_def_main
mbed_official 48:e9a2c7cb57a4 477 MOVS R1,#0
mbed_official 48:e9a2c7cb57a4 478 BL osThreadCreate
mbed_official 48:e9a2c7cb57a4 479 BL osKernelStart
Kojto 118:6635230e06ba 480 /* osKernelStart should not return */
Kojto 118:6635230e06ba 481 B .
mbed_official 48:e9a2c7cb57a4 482
mbed_official 48:e9a2c7cb57a4 483 ALIGN
mbed_official 48:e9a2c7cb57a4 484 }
mbed_official 48:e9a2c7cb57a4 485 #endif
mbed_official 48:e9a2c7cb57a4 486
mbed_official 48:e9a2c7cb57a4 487 #elif defined (__GNUC__)
<> 121:3da5f554d8bf 488 extern int atexit(void (*func)(void));
Kojto 118:6635230e06ba 489 extern void __libc_fini_array(void);
Kojto 118:6635230e06ba 490 extern void __libc_init_array (void);
Kojto 118:6635230e06ba 491 extern int main(int argc, char **argv);
mbed_official 48:e9a2c7cb57a4 492
Kojto 118:6635230e06ba 493 void pre_main(void) {
Kojto 119:19af2d39a542 494 singleton_mutex_id = osMutexCreate(osMutex(singleton_mutex));
Kojto 118:6635230e06ba 495 atexit(__libc_fini_array);
Kojto 118:6635230e06ba 496 __libc_init_array();
Kojto 118:6635230e06ba 497 main(0, NULL);
Kojto 118:6635230e06ba 498 }
Kojto 118:6635230e06ba 499
Kojto 118:6635230e06ba 500 __attribute__((naked)) void software_init_hook_rtos (void) {
mbed_official 48:e9a2c7cb57a4 501 __asm (
mbed_official 48:e9a2c7cb57a4 502 ".syntax unified\n"
mbed_official 67:63988a2238f7 503 ".arm\n"
mbed_official 48:e9a2c7cb57a4 504 "bl osKernelInitialize\n"
mbed_official 48:e9a2c7cb57a4 505 "ldr r0,=os_thread_def_main\n"
mbed_official 48:e9a2c7cb57a4 506 "movs r1,#0\n"
mbed_official 48:e9a2c7cb57a4 507 "bl osThreadCreate\n"
mbed_official 48:e9a2c7cb57a4 508 "bl osKernelStart\n"
Kojto 118:6635230e06ba 509 /* osKernelStart should not return */
Kojto 118:6635230e06ba 510 "B .\n"
mbed_official 48:e9a2c7cb57a4 511 );
mbed_official 48:e9a2c7cb57a4 512 }
mbed_official 48:e9a2c7cb57a4 513
mbed_official 48:e9a2c7cb57a4 514 #elif defined (__ICCARM__)
Kojto 118:6635230e06ba 515 extern void* __vector_core_a9;
Kojto 118:6635230e06ba 516 extern int __low_level_init(void);
Kojto 118:6635230e06ba 517 extern void __iar_data_init3(void);
Kojto 118:6635230e06ba 518 extern __weak void __iar_init_core( void );
Kojto 118:6635230e06ba 519 extern __weak void __iar_init_vfp( void );
Kojto 118:6635230e06ba 520 extern void __iar_dynamic_initialization(void);
Kojto 118:6635230e06ba 521 extern void mbed_sdk_init(void);
Kojto 119:19af2d39a542 522 extern void mbed_main(void);
Kojto 119:19af2d39a542 523 extern int main(void);
Kojto 118:6635230e06ba 524 static uint8_t low_level_init_needed;
mbed_official 48:e9a2c7cb57a4 525
Kojto 118:6635230e06ba 526 void pre_main(void) {
Kojto 119:19af2d39a542 527 singleton_mutex_id = osMutexCreate(osMutex(singleton_mutex));
Kojto 118:6635230e06ba 528 if (low_level_init_needed) {
Kojto 118:6635230e06ba 529 __iar_dynamic_initialization();
Kojto 118:6635230e06ba 530 }
Kojto 119:19af2d39a542 531 mbed_main();
Kojto 118:6635230e06ba 532 main();
Kojto 118:6635230e06ba 533 }
mbed_official 48:e9a2c7cb57a4 534
Kojto 118:6635230e06ba 535 #pragma required=__vector_core_a9
Kojto 118:6635230e06ba 536 void __iar_program_start( void )
Kojto 118:6635230e06ba 537 {
Kojto 118:6635230e06ba 538 __iar_init_core();
Kojto 118:6635230e06ba 539 __iar_init_vfp();
Kojto 118:6635230e06ba 540
Kojto 118:6635230e06ba 541 uint8_t low_level_init_needed_local;
Kojto 118:6635230e06ba 542
Kojto 118:6635230e06ba 543 low_level_init_needed_local = __low_level_init();
Kojto 118:6635230e06ba 544 if (low_level_init_needed_local) {
Kojto 118:6635230e06ba 545 __iar_data_init3();
Kojto 118:6635230e06ba 546 mbed_sdk_init();
Kojto 118:6635230e06ba 547 }
Kojto 118:6635230e06ba 548 /* Store in a global variable after RAM has been initialized */
Kojto 118:6635230e06ba 549 low_level_init_needed = low_level_init_needed_local;
mbed_official 48:e9a2c7cb57a4 550 osKernelInitialize();
mbed_official 48:e9a2c7cb57a4 551 osThreadCreate(&os_thread_def_main, NULL);
Kojto 118:6635230e06ba 552 osKernelStart();
Kojto 118:6635230e06ba 553 /* osKernelStart should not return */
Kojto 118:6635230e06ba 554 while (1);
mbed_official 48:e9a2c7cb57a4 555 }
mbed_official 48:e9a2c7cb57a4 556
mbed_official 48:e9a2c7cb57a4 557 #endif
mbed_official 48:e9a2c7cb57a4 558
mbed_official 48:e9a2c7cb57a4 559
mbed_official 48:e9a2c7cb57a4 560 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 561 * end of file
mbed_official 48:e9a2c7cb57a4 562 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 563