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@85:ef0a22cdf839, 2015-06-17 (annotated)

Committer:
mbed_official
Date:
Wed Jun 17 11:15:10 2015 +0100
Revision:
85:ef0a22cdf839
Parent:
68:d3d0e710b443
Child:
92:bc9729798a19
Synchronized with git revision c33e334a2273b85d12a0bf31aa2f0f86a205ee4b



Full URL: https://github.com/mbedmicro/mbed/commit/c33e334a2273b85d12a0bf31aa2f0f86a205ee4b/



RZ_A1H - Modify the OS track acquisition method

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 48:e9a2c7cb57a4 6 * Rev.: V4.60
mbed_official 48:e9a2c7cb57a4 7 *----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 8 *
mbed_official 48:e9a2c7cb57a4 9 * Copyright (c) 1999-2009 KEIL, 2009-2012 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)
mbed_official 48:e9a2c7cb57a4 36 #pragma O3
mbed_official 48:e9a2c7cb57a4 37 #define __USED __attribute__((used))
mbed_official 48:e9a2c7cb57a4 38 #elif defined (__GNUC__)
mbed_official 48:e9a2c7cb57a4 39 #pragma GCC optimize ("O3")
mbed_official 48:e9a2c7cb57a4 40 #define __USED __attribute__((used))
mbed_official 48:e9a2c7cb57a4 41 #elif defined (__ICCARM__)
mbed_official 48:e9a2c7cb57a4 42 #define __USED __root
mbed_official 48:e9a2c7cb57a4 43 #endif
mbed_official 48:e9a2c7cb57a4 44
mbed_official 48:e9a2c7cb57a4 45
mbed_official 48:e9a2c7cb57a4 46 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 47 * Definitions
mbed_official 48:e9a2c7cb57a4 48 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 49
mbed_official 48:e9a2c7cb57a4 50 #define _declare_box(pool,size,cnt) uint32_t pool[(((size)+3)/4)*(cnt) + 3]
mbed_official 48:e9a2c7cb57a4 51 #define _declare_box8(pool,size,cnt) uint64_t pool[(((size)+7)/8)*(cnt) + 2]
mbed_official 48:e9a2c7cb57a4 52
mbed_official 48:e9a2c7cb57a4 53 #define OS_TCB_SIZE 48
mbed_official 48:e9a2c7cb57a4 54 #define OS_TMR_SIZE 8
mbed_official 48:e9a2c7cb57a4 55
mbed_official 48:e9a2c7cb57a4 56 #if defined (__CC_ARM) && !defined (__MICROLIB)
mbed_official 48:e9a2c7cb57a4 57
mbed_official 48:e9a2c7cb57a4 58 typedef void *OS_ID;
mbed_official 48:e9a2c7cb57a4 59 typedef uint32_t OS_TID;
mbed_official 48:e9a2c7cb57a4 60 typedef uint32_t OS_MUT[3];
mbed_official 48:e9a2c7cb57a4 61 typedef uint32_t OS_RESULT;
mbed_official 48:e9a2c7cb57a4 62
mbed_official 48:e9a2c7cb57a4 63 #define runtask_id() rt_tsk_self()
mbed_official 48:e9a2c7cb57a4 64 #define mutex_init(m) rt_mut_init(m)
mbed_official 48:e9a2c7cb57a4 65 #define mutex_wait(m) os_mut_wait(m,0xFFFF)
mbed_official 48:e9a2c7cb57a4 66 #define mutex_rel(m) os_mut_release(m)
mbed_official 48:e9a2c7cb57a4 67
mbed_official 48:e9a2c7cb57a4 68 extern OS_TID rt_tsk_self (void);
mbed_official 48:e9a2c7cb57a4 69 extern void rt_mut_init (OS_ID mutex);
mbed_official 48:e9a2c7cb57a4 70 extern OS_RESULT rt_mut_release (OS_ID mutex);
mbed_official 48:e9a2c7cb57a4 71 extern OS_RESULT rt_mut_wait (OS_ID mutex, uint16_t timeout);
mbed_official 48:e9a2c7cb57a4 72
mbed_official 48:e9a2c7cb57a4 73 #define os_mut_wait(mutex,timeout) _os_mut_wait((uint32_t)rt_mut_wait,mutex,timeout)
mbed_official 48:e9a2c7cb57a4 74 #define os_mut_release(mutex) _os_mut_release((uint32_t)rt_mut_release,mutex)
mbed_official 48:e9a2c7cb57a4 75
mbed_official 48:e9a2c7cb57a4 76 OS_RESULT _os_mut_release (uint32_t p, OS_ID mutex) __svc_indirect(0);
mbed_official 48:e9a2c7cb57a4 77 OS_RESULT _os_mut_wait (uint32_t p, OS_ID mutex, uint16_t timeout) __svc_indirect(0);
mbed_official 48:e9a2c7cb57a4 78
mbed_official 48:e9a2c7cb57a4 79 #endif
mbed_official 48:e9a2c7cb57a4 80
mbed_official 48:e9a2c7cb57a4 81
mbed_official 48:e9a2c7cb57a4 82 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 83 * Global Variables
mbed_official 48:e9a2c7cb57a4 84 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 85
mbed_official 48:e9a2c7cb57a4 86 #if (OS_TIMERS != 0)
mbed_official 48:e9a2c7cb57a4 87 #define OS_TASK_CNT (OS_TASKCNT + 1)
mbed_official 85:ef0a22cdf839 88 #ifndef __MBED_CMSIS_RTOS_CA9
mbed_official 48:e9a2c7cb57a4 89 #define OS_PRIV_CNT (OS_PRIVCNT + 2)
mbed_official 48:e9a2c7cb57a4 90 #define OS_STACK_SZ (4*(OS_PRIVSTKSIZE+OS_MAINSTKSIZE+OS_TIMERSTKSZ))
mbed_official 85:ef0a22cdf839 91 #endif
mbed_official 48:e9a2c7cb57a4 92 #else
mbed_official 48:e9a2c7cb57a4 93 #define OS_TASK_CNT OS_TASKCNT
mbed_official 85:ef0a22cdf839 94 #ifndef __MBED_CMSIS_RTOS_CA9
mbed_official 48:e9a2c7cb57a4 95 #define OS_PRIV_CNT (OS_PRIVCNT + 1)
mbed_official 48:e9a2c7cb57a4 96 #define OS_STACK_SZ (4*(OS_PRIVSTKSIZE+OS_MAINSTKSIZE))
mbed_official 48:e9a2c7cb57a4 97 #endif
mbed_official 85:ef0a22cdf839 98 #endif
mbed_official 48:e9a2c7cb57a4 99
mbed_official 48:e9a2c7cb57a4 100 uint16_t const os_maxtaskrun = OS_TASK_CNT;
mbed_official 85:ef0a22cdf839 101 #ifdef __MBED_CMSIS_RTOS_CA9
mbed_official 85:ef0a22cdf839 102 uint32_t const os_stackinfo = (OS_STKCHECK<<24)| (OS_IDLESTKSIZE*4);
mbed_official 85:ef0a22cdf839 103 #else
mbed_official 48:e9a2c7cb57a4 104 uint32_t const os_stackinfo = (OS_STKCHECK<<24)| (OS_PRIV_CNT<<16) | (OS_STKSIZE*4);
mbed_official 85:ef0a22cdf839 105 #endif
mbed_official 48:e9a2c7cb57a4 106 uint32_t const os_rrobin = (OS_ROBIN << 16) | OS_ROBINTOUT;
mbed_official 48:e9a2c7cb57a4 107 uint32_t const os_trv = OS_TRV;
mbed_official 48:e9a2c7cb57a4 108 uint8_t const os_flags = OS_RUNPRIV;
mbed_official 48:e9a2c7cb57a4 109
mbed_official 48:e9a2c7cb57a4 110 /* Export following defines to uVision debugger. */
mbed_official 48:e9a2c7cb57a4 111 __USED uint32_t const os_clockrate = OS_TICK;
mbed_official 48:e9a2c7cb57a4 112 __USED uint32_t const os_timernum = 0;
mbed_official 48:e9a2c7cb57a4 113
mbed_official 48:e9a2c7cb57a4 114 /* Memory pool for TCB allocation */
mbed_official 48:e9a2c7cb57a4 115 _declare_box (mp_tcb, OS_TCB_SIZE, OS_TASK_CNT);
mbed_official 48:e9a2c7cb57a4 116 uint16_t const mp_tcb_size = sizeof(mp_tcb);
mbed_official 48:e9a2c7cb57a4 117
mbed_official 85:ef0a22cdf839 118 #ifdef __MBED_CMSIS_RTOS_CA9
mbed_official 85:ef0a22cdf839 119 /* Memory pool for os_idle_demon stack allocation. */
mbed_official 85:ef0a22cdf839 120 _declare_box8 (mp_stk, OS_IDLESTKSIZE*4, 1);
mbed_official 85:ef0a22cdf839 121 uint32_t const mp_stk_size = sizeof(mp_stk);
mbed_official 85:ef0a22cdf839 122 #else
mbed_official 48:e9a2c7cb57a4 123 /* Memory pool for System stack allocation (+os_idle_demon). */
mbed_official 48:e9a2c7cb57a4 124 _declare_box8 (mp_stk, OS_STKSIZE*4, OS_TASK_CNT-OS_PRIV_CNT+1);
mbed_official 48:e9a2c7cb57a4 125 uint32_t const mp_stk_size = sizeof(mp_stk);
mbed_official 48:e9a2c7cb57a4 126
mbed_official 48:e9a2c7cb57a4 127 /* Memory pool for user specified stack allocation (+main, +timer) */
mbed_official 48:e9a2c7cb57a4 128 uint64_t os_stack_mem[2+OS_PRIV_CNT+(OS_STACK_SZ/8)];
mbed_official 48:e9a2c7cb57a4 129 uint32_t const os_stack_sz = sizeof(os_stack_mem);
mbed_official 85:ef0a22cdf839 130 #endif
mbed_official 48:e9a2c7cb57a4 131
mbed_official 48:e9a2c7cb57a4 132 #ifndef OS_FIFOSZ
mbed_official 48:e9a2c7cb57a4 133 #define OS_FIFOSZ 16
mbed_official 48:e9a2c7cb57a4 134 #endif
mbed_official 48:e9a2c7cb57a4 135
mbed_official 48:e9a2c7cb57a4 136 /* Fifo Queue buffer for ISR requests.*/
mbed_official 48:e9a2c7cb57a4 137 uint32_t os_fifo[OS_FIFOSZ*2+1];
mbed_official 48:e9a2c7cb57a4 138 uint8_t const os_fifo_size = OS_FIFOSZ;
mbed_official 48:e9a2c7cb57a4 139
mbed_official 48:e9a2c7cb57a4 140 /* An array of Active task pointers. */
mbed_official 48:e9a2c7cb57a4 141 void *os_active_TCB[OS_TASK_CNT];
mbed_official 48:e9a2c7cb57a4 142
mbed_official 48:e9a2c7cb57a4 143 /* User Timers Resources */
mbed_official 48:e9a2c7cb57a4 144 #if (OS_TIMERS != 0)
mbed_official 48:e9a2c7cb57a4 145 extern void osTimerThread (void const *argument);
mbed_official 85:ef0a22cdf839 146 #ifdef __MBED_CMSIS_RTOS_CA9
mbed_official 48:e9a2c7cb57a4 147 osThreadDef(osTimerThread, (osPriority)(OS_TIMERPRIO-3), 4*OS_TIMERSTKSZ);
mbed_official 48:e9a2c7cb57a4 148 #else
mbed_official 48:e9a2c7cb57a4 149 osThreadDef(osTimerThread, (osPriority)(OS_TIMERPRIO-3), 1, 4*OS_TIMERSTKSZ);
mbed_official 48:e9a2c7cb57a4 150 #endif
mbed_official 48:e9a2c7cb57a4 151 osThreadId osThreadId_osTimerThread;
mbed_official 48:e9a2c7cb57a4 152 osMessageQDef(osTimerMessageQ, OS_TIMERCBQS, void *);
mbed_official 48:e9a2c7cb57a4 153 osMessageQId osMessageQId_osTimerMessageQ;
mbed_official 48:e9a2c7cb57a4 154 #else
mbed_official 48:e9a2c7cb57a4 155 osThreadDef_t os_thread_def_osTimerThread = { NULL };
mbed_official 48:e9a2c7cb57a4 156 osThreadId osThreadId_osTimerThread;
mbed_official 48:e9a2c7cb57a4 157 osMessageQDef(osTimerMessageQ, 0, void *);
mbed_official 48:e9a2c7cb57a4 158 osMessageQId osMessageQId_osTimerMessageQ;
mbed_official 48:e9a2c7cb57a4 159 #endif
mbed_official 48:e9a2c7cb57a4 160
mbed_official 48:e9a2c7cb57a4 161 /* Legacy RTX User Timers not used */
mbed_official 68:d3d0e710b443 162 uint32_t os_tmr = 0;
mbed_official 48:e9a2c7cb57a4 163 uint32_t const *m_tmr = NULL;
mbed_official 48:e9a2c7cb57a4 164 uint16_t const mp_tmr_size = 0;
mbed_official 48:e9a2c7cb57a4 165
mbed_official 48:e9a2c7cb57a4 166 #if defined (__CC_ARM) && !defined (__MICROLIB)
mbed_official 48:e9a2c7cb57a4 167 /* A memory space for arm standard library. */
mbed_official 48:e9a2c7cb57a4 168 static uint32_t std_libspace[OS_TASK_CNT][96/4];
mbed_official 48:e9a2c7cb57a4 169 static OS_MUT std_libmutex[OS_MUTEXCNT];
mbed_official 48:e9a2c7cb57a4 170 static uint32_t nr_mutex;
mbed_official 48:e9a2c7cb57a4 171 extern void *__libspace_start;
mbed_official 48:e9a2c7cb57a4 172 #endif
mbed_official 48:e9a2c7cb57a4 173
mbed_official 48:e9a2c7cb57a4 174
mbed_official 48:e9a2c7cb57a4 175 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 176 * RTX Optimizations (empty functions)
mbed_official 48:e9a2c7cb57a4 177 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 178
mbed_official 48:e9a2c7cb57a4 179 #if OS_ROBIN == 0
mbed_official 48:e9a2c7cb57a4 180 void rt_init_robin (void) {;}
mbed_official 48:e9a2c7cb57a4 181 void rt_chk_robin (void) {;}
mbed_official 48:e9a2c7cb57a4 182 #endif
mbed_official 48:e9a2c7cb57a4 183
mbed_official 48:e9a2c7cb57a4 184 #if OS_STKCHECK == 0
mbed_official 48:e9a2c7cb57a4 185 void rt_stk_check (void) {;}
mbed_official 48:e9a2c7cb57a4 186 #endif
mbed_official 48:e9a2c7cb57a4 187
mbed_official 48:e9a2c7cb57a4 188
mbed_official 48:e9a2c7cb57a4 189 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 190 * Standard Library multithreading interface
mbed_official 48:e9a2c7cb57a4 191 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 192
mbed_official 48:e9a2c7cb57a4 193 #if defined (__CC_ARM) && !defined (__MICROLIB)
mbed_official 48:e9a2c7cb57a4 194
mbed_official 48:e9a2c7cb57a4 195 /*--------------------------- __user_perthread_libspace ---------------------*/
mbed_official 48:e9a2c7cb57a4 196
mbed_official 48:e9a2c7cb57a4 197 void *__user_perthread_libspace (void) {
mbed_official 48:e9a2c7cb57a4 198 /* Provide a separate libspace for each task. */
mbed_official 48:e9a2c7cb57a4 199 uint32_t idx;
mbed_official 48:e9a2c7cb57a4 200
mbed_official 48:e9a2c7cb57a4 201 idx = runtask_id ();
mbed_official 48:e9a2c7cb57a4 202 if (idx == 0) {
mbed_official 48:e9a2c7cb57a4 203 /* RTX not running yet. */
mbed_official 48:e9a2c7cb57a4 204 return (&__libspace_start);
mbed_official 48:e9a2c7cb57a4 205 }
mbed_official 48:e9a2c7cb57a4 206 return ((void *)&std_libspace[idx-1]);
mbed_official 48:e9a2c7cb57a4 207 }
mbed_official 48:e9a2c7cb57a4 208
mbed_official 48:e9a2c7cb57a4 209 /*--------------------------- _mutex_initialize -----------------------------*/
mbed_official 48:e9a2c7cb57a4 210
mbed_official 48:e9a2c7cb57a4 211 int _mutex_initialize (OS_ID *mutex) {
mbed_official 48:e9a2c7cb57a4 212 /* Allocate and initialize a system mutex. */
mbed_official 48:e9a2c7cb57a4 213
mbed_official 48:e9a2c7cb57a4 214 if (nr_mutex >= OS_MUTEXCNT) {
mbed_official 48:e9a2c7cb57a4 215 /* If you are here, you need to increase the number OS_MUTEXCNT. */
mbed_official 48:e9a2c7cb57a4 216 for (;;);
mbed_official 48:e9a2c7cb57a4 217 }
mbed_official 48:e9a2c7cb57a4 218 *mutex = &std_libmutex[nr_mutex++];
mbed_official 48:e9a2c7cb57a4 219 mutex_init (*mutex);
mbed_official 48:e9a2c7cb57a4 220 return (1);
mbed_official 48:e9a2c7cb57a4 221 }
mbed_official 48:e9a2c7cb57a4 222
mbed_official 48:e9a2c7cb57a4 223
mbed_official 48:e9a2c7cb57a4 224 /*--------------------------- _mutex_acquire --------------------------------*/
mbed_official 48:e9a2c7cb57a4 225
mbed_official 48:e9a2c7cb57a4 226 __attribute__((used)) void _mutex_acquire (OS_ID *mutex) {
mbed_official 48:e9a2c7cb57a4 227 /* Acquire a system mutex, lock stdlib resources. */
mbed_official 48:e9a2c7cb57a4 228 if (runtask_id ()) {
mbed_official 48:e9a2c7cb57a4 229 /* RTX running, acquire a mutex. */
mbed_official 48:e9a2c7cb57a4 230 mutex_wait (*mutex);
mbed_official 48:e9a2c7cb57a4 231 }
mbed_official 48:e9a2c7cb57a4 232 }
mbed_official 48:e9a2c7cb57a4 233
mbed_official 48:e9a2c7cb57a4 234
mbed_official 48:e9a2c7cb57a4 235 /*--------------------------- _mutex_release --------------------------------*/
mbed_official 48:e9a2c7cb57a4 236
mbed_official 48:e9a2c7cb57a4 237 __attribute__((used)) void _mutex_release (OS_ID *mutex) {
mbed_official 48:e9a2c7cb57a4 238 /* Release a system mutex, unlock stdlib resources. */
mbed_official 48:e9a2c7cb57a4 239 if (runtask_id ()) {
mbed_official 48:e9a2c7cb57a4 240 /* RTX running, release a mutex. */
mbed_official 48:e9a2c7cb57a4 241 mutex_rel (*mutex);
mbed_official 48:e9a2c7cb57a4 242 }
mbed_official 48:e9a2c7cb57a4 243 }
mbed_official 48:e9a2c7cb57a4 244
mbed_official 48:e9a2c7cb57a4 245 #endif
mbed_official 48:e9a2c7cb57a4 246
mbed_official 48:e9a2c7cb57a4 247
mbed_official 48:e9a2c7cb57a4 248 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 249 * RTX Startup
mbed_official 48:e9a2c7cb57a4 250 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 251
mbed_official 48:e9a2c7cb57a4 252 /* Main Thread definition */
mbed_official 48:e9a2c7cb57a4 253 extern int main (void);
mbed_official 85:ef0a22cdf839 254 #ifdef __MBED_CMSIS_RTOS_CA9
mbed_official 85:ef0a22cdf839 255 uint32_t os_thread_def_stack_main [(4 * OS_MAINSTKSIZE) / sizeof(uint32_t)];
mbed_official 85:ef0a22cdf839 256 osThreadDef_t os_thread_def_main = {(os_pthread)main, osPriorityNormal, 1, 4*OS_MAINSTKSIZE, os_thread_def_stack_main };
mbed_official 85:ef0a22cdf839 257 #else
mbed_official 48:e9a2c7cb57a4 258 osThreadDef_t os_thread_def_main = {(os_pthread)main, osPriorityNormal, 1, 4*OS_MAINSTKSIZE };
mbed_official 85:ef0a22cdf839 259 #endif
mbed_official 48:e9a2c7cb57a4 260
mbed_official 48:e9a2c7cb57a4 261
mbed_official 48:e9a2c7cb57a4 262 #if defined (__CC_ARM)
mbed_official 48:e9a2c7cb57a4 263
mbed_official 48:e9a2c7cb57a4 264 #ifdef __MICROLIB
mbed_official 48:e9a2c7cb57a4 265 void _main_init (void) __attribute__((section(".ARM.Collect$$$$000000FF")));
mbed_official 48:e9a2c7cb57a4 266 #if __TARGET_ARCH_ARM
mbed_official 48:e9a2c7cb57a4 267 #pragma push
mbed_official 48:e9a2c7cb57a4 268 #pragma arm
mbed_official 48:e9a2c7cb57a4 269 #endif
mbed_official 48:e9a2c7cb57a4 270 void _main_init (void) {
mbed_official 48:e9a2c7cb57a4 271 osKernelInitialize();
mbed_official 48:e9a2c7cb57a4 272 osThreadCreate(&os_thread_def_main, NULL);
mbed_official 48:e9a2c7cb57a4 273 osKernelStart();
mbed_official 48:e9a2c7cb57a4 274 for (;;);
mbed_official 48:e9a2c7cb57a4 275 }
mbed_official 48:e9a2c7cb57a4 276 #if __TARGET_ARCH_ARM
mbed_official 48:e9a2c7cb57a4 277 #pragma pop
mbed_official 48:e9a2c7cb57a4 278 #endif
mbed_official 48:e9a2c7cb57a4 279 #else
mbed_official 48:e9a2c7cb57a4 280 __asm void __rt_entry (void) {
mbed_official 48:e9a2c7cb57a4 281
mbed_official 48:e9a2c7cb57a4 282 IMPORT __user_setup_stackheap
mbed_official 48:e9a2c7cb57a4 283 IMPORT __rt_lib_init
mbed_official 48:e9a2c7cb57a4 284 IMPORT os_thread_def_main
mbed_official 48:e9a2c7cb57a4 285 IMPORT osKernelInitialize
mbed_official 48:e9a2c7cb57a4 286 IMPORT osKernelStart
mbed_official 48:e9a2c7cb57a4 287 IMPORT osThreadCreate
mbed_official 48:e9a2c7cb57a4 288 IMPORT exit
mbed_official 48:e9a2c7cb57a4 289
mbed_official 48:e9a2c7cb57a4 290 BL __user_setup_stackheap
mbed_official 48:e9a2c7cb57a4 291 MOV R1,R2
mbed_official 48:e9a2c7cb57a4 292 BL __rt_lib_init
mbed_official 48:e9a2c7cb57a4 293 BL osKernelInitialize
mbed_official 48:e9a2c7cb57a4 294 LDR R0,=os_thread_def_main
mbed_official 48:e9a2c7cb57a4 295 MOVS R1,#0
mbed_official 48:e9a2c7cb57a4 296 BL osThreadCreate
mbed_official 48:e9a2c7cb57a4 297 BL osKernelStart
mbed_official 48:e9a2c7cb57a4 298 BL exit
mbed_official 48:e9a2c7cb57a4 299
mbed_official 48:e9a2c7cb57a4 300 ALIGN
mbed_official 48:e9a2c7cb57a4 301 }
mbed_official 48:e9a2c7cb57a4 302 #endif
mbed_official 48:e9a2c7cb57a4 303
mbed_official 48:e9a2c7cb57a4 304 #elif defined (__GNUC__)
mbed_official 48:e9a2c7cb57a4 305
mbed_official 48:e9a2c7cb57a4 306 #ifdef __CS3__
mbed_official 48:e9a2c7cb57a4 307
mbed_official 48:e9a2c7cb57a4 308 /* CS3 start_c routine.
mbed_official 48:e9a2c7cb57a4 309 *
mbed_official 48:e9a2c7cb57a4 310 * Copyright (c) 2006, 2007 CodeSourcery Inc
mbed_official 48:e9a2c7cb57a4 311 *
mbed_official 48:e9a2c7cb57a4 312 * The authors hereby grant permission to use, copy, modify, distribute,
mbed_official 48:e9a2c7cb57a4 313 * and license this software and its documentation for any purpose, provided
mbed_official 48:e9a2c7cb57a4 314 * that existing copyright notices are retained in all copies and that this
mbed_official 48:e9a2c7cb57a4 315 * notice is included verbatim in any distributions. No written agreement,
mbed_official 48:e9a2c7cb57a4 316 * license, or royalty fee is required for any of the authorized uses.
mbed_official 48:e9a2c7cb57a4 317 * Modifications to this software may be copyrighted by their authors
mbed_official 48:e9a2c7cb57a4 318 * and need not follow the licensing terms described here, provided that
mbed_official 48:e9a2c7cb57a4 319 * the new terms are clearly indicated on the first page of each file where
mbed_official 48:e9a2c7cb57a4 320 * they apply.
mbed_official 48:e9a2c7cb57a4 321 */
mbed_official 48:e9a2c7cb57a4 322
mbed_official 48:e9a2c7cb57a4 323 #include "cs3.h"
mbed_official 48:e9a2c7cb57a4 324
mbed_official 48:e9a2c7cb57a4 325 extern void __libc_init_array (void);
mbed_official 48:e9a2c7cb57a4 326
mbed_official 48:e9a2c7cb57a4 327 __attribute ((noreturn)) void __cs3_start_c (void){
mbed_official 48:e9a2c7cb57a4 328 unsigned regions = __cs3_region_num;
mbed_official 48:e9a2c7cb57a4 329 const struct __cs3_region *rptr = __cs3_regions;
mbed_official 48:e9a2c7cb57a4 330
mbed_official 48:e9a2c7cb57a4 331 /* Initialize memory */
mbed_official 48:e9a2c7cb57a4 332 for (regions = __cs3_region_num, rptr = __cs3_regions; regions--; rptr++) {
mbed_official 48:e9a2c7cb57a4 333 long long *src = (long long *)rptr->init;
mbed_official 48:e9a2c7cb57a4 334 long long *dst = (long long *)rptr->data;
mbed_official 48:e9a2c7cb57a4 335 unsigned limit = rptr->init_size;
mbed_official 48:e9a2c7cb57a4 336 unsigned count;
mbed_official 48:e9a2c7cb57a4 337
mbed_official 48:e9a2c7cb57a4 338 if (src != dst)
mbed_official 48:e9a2c7cb57a4 339 for (count = 0; count != limit; count += sizeof (long long))
mbed_official 48:e9a2c7cb57a4 340 *dst++ = *src++;
mbed_official 68:d3d0e710b443 341 else
mbed_official 48:e9a2c7cb57a4 342 dst = (long long *)((char *)dst + limit);
mbed_official 48:e9a2c7cb57a4 343 limit = rptr->zero_size;
mbed_official 48:e9a2c7cb57a4 344 for (count = 0; count != limit; count += sizeof (long long))
mbed_official 48:e9a2c7cb57a4 345 *dst++ = 0;
mbed_official 48:e9a2c7cb57a4 346 }
mbed_official 48:e9a2c7cb57a4 347
mbed_official 48:e9a2c7cb57a4 348 /* Run initializers. */
mbed_official 48:e9a2c7cb57a4 349 __libc_init_array ();
mbed_official 48:e9a2c7cb57a4 350
mbed_official 48:e9a2c7cb57a4 351 osKernelInitialize();
mbed_official 48:e9a2c7cb57a4 352 osThreadCreate(&os_thread_def_main, NULL);
mbed_official 48:e9a2c7cb57a4 353 osKernelStart();
mbed_official 48:e9a2c7cb57a4 354 for (;;);
mbed_official 48:e9a2c7cb57a4 355 }
mbed_official 48:e9a2c7cb57a4 356
mbed_official 48:e9a2c7cb57a4 357 #else
mbed_official 48:e9a2c7cb57a4 358
mbed_official 48:e9a2c7cb57a4 359 __attribute__((naked)) void software_init_hook (void) {
mbed_official 48:e9a2c7cb57a4 360 __asm (
mbed_official 48:e9a2c7cb57a4 361 ".syntax unified\n"
mbed_official 67:63988a2238f7 362 ".arm\n"
mbed_official 48:e9a2c7cb57a4 363 "movs r0,#0\n"
mbed_official 48:e9a2c7cb57a4 364 "movs r1,#0\n"
mbed_official 48:e9a2c7cb57a4 365 "mov r4,r0\n"
mbed_official 48:e9a2c7cb57a4 366 "mov r5,r1\n"
mbed_official 48:e9a2c7cb57a4 367 "ldr r0,= __libc_fini_array\n"
mbed_official 48:e9a2c7cb57a4 368 "bl atexit\n"
mbed_official 48:e9a2c7cb57a4 369 "bl __libc_init_array\n"
mbed_official 48:e9a2c7cb57a4 370 "mov r0,r4\n"
mbed_official 48:e9a2c7cb57a4 371 "mov r1,r5\n"
mbed_official 48:e9a2c7cb57a4 372 "bl osKernelInitialize\n"
mbed_official 48:e9a2c7cb57a4 373 "ldr r0,=os_thread_def_main\n"
mbed_official 48:e9a2c7cb57a4 374 "movs r1,#0\n"
mbed_official 48:e9a2c7cb57a4 375 "bl osThreadCreate\n"
mbed_official 48:e9a2c7cb57a4 376 "bl osKernelStart\n"
mbed_official 48:e9a2c7cb57a4 377 "bl exit\n"
mbed_official 48:e9a2c7cb57a4 378 );
mbed_official 48:e9a2c7cb57a4 379 }
mbed_official 48:e9a2c7cb57a4 380
mbed_official 48:e9a2c7cb57a4 381 #endif
mbed_official 48:e9a2c7cb57a4 382
mbed_official 48:e9a2c7cb57a4 383 #elif defined (__ICCARM__)
mbed_official 48:e9a2c7cb57a4 384
mbed_official 48:e9a2c7cb57a4 385 extern int __low_level_init(void);
mbed_official 48:e9a2c7cb57a4 386 extern void __iar_data_init3(void);
mbed_official 48:e9a2c7cb57a4 387 extern void exit(int arg);
mbed_official 48:e9a2c7cb57a4 388
mbed_official 48:e9a2c7cb57a4 389 __noreturn __stackless void __cmain(void) {
mbed_official 48:e9a2c7cb57a4 390 int a;
mbed_official 68:d3d0e710b443 391
mbed_official 48:e9a2c7cb57a4 392 if (__low_level_init() != 0) {
mbed_official 48:e9a2c7cb57a4 393 __iar_data_init3();
mbed_official 48:e9a2c7cb57a4 394 }
mbed_official 48:e9a2c7cb57a4 395 osKernelInitialize();
mbed_official 48:e9a2c7cb57a4 396 osThreadCreate(&os_thread_def_main, NULL);
mbed_official 48:e9a2c7cb57a4 397 a = osKernelStart();
mbed_official 48:e9a2c7cb57a4 398 exit(a);
mbed_official 48:e9a2c7cb57a4 399 }
mbed_official 48:e9a2c7cb57a4 400
mbed_official 48:e9a2c7cb57a4 401 #endif
mbed_official 48:e9a2c7cb57a4 402
mbed_official 48:e9a2c7cb57a4 403
mbed_official 48:e9a2c7cb57a4 404 /*----------------------------------------------------------------------------
mbed_official 48:e9a2c7cb57a4 405 * end of file
mbed_official 48:e9a2c7cb57a4 406 *---------------------------------------------------------------------------*/
mbed_official 48:e9a2c7cb57a4 407