Dorian Cauceglia / mbed-rtos

f

Dependents:   Active-WolfMan_V2-5-All-Frank-Board-Functions_copy

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

Committer:
<>
Date:
Thu Sep 01 15:13:42 2016 +0100
Revision:
121:3da5f554d8bf
Parent:
118:6635230e06ba
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 80:2dab120a94c2 1 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 2 * RL-ARM - RTX
mbed_official 80:2dab120a94c2 3 *----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 4 * Name: RTX_CM_LIB.H
mbed_official 80:2dab120a94c2 5 * Purpose: RTX Kernel System Configuration
mbed_official 80:2dab120a94c2 6 * Rev.: V4.60
mbed_official 80:2dab120a94c2 7 *----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 8 *
mbed_official 80:2dab120a94c2 9 * Copyright (c) 1999-2009 KEIL, 2009-2015 ARM Germany GmbH
mbed_official 80:2dab120a94c2 10 * All rights reserved.
mbed_official 80:2dab120a94c2 11 * Redistribution and use in source and binary forms, with or without
mbed_official 80:2dab120a94c2 12 * modification, are permitted provided that the following conditions are met:
mbed_official 80:2dab120a94c2 13 * - Redistributions of source code must retain the above copyright
mbed_official 80:2dab120a94c2 14 * notice, this list of conditions and the following disclaimer.
mbed_official 80:2dab120a94c2 15 * - Redistributions in binary form must reproduce the above copyright
mbed_official 80:2dab120a94c2 16 * notice, this list of conditions and the following disclaimer in the
mbed_official 80:2dab120a94c2 17 * documentation and/or other materials provided with the distribution.
mbed_official 80:2dab120a94c2 18 * - Neither the name of ARM nor the names of its contributors may be used
mbed_official 80:2dab120a94c2 19 * to endorse or promote products derived from this software without
mbed_official 80:2dab120a94c2 20 * specific prior written permission.
mbed_official 80:2dab120a94c2 21 *
mbed_official 80:2dab120a94c2 22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
mbed_official 80:2dab120a94c2 23 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
mbed_official 80:2dab120a94c2 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
mbed_official 80:2dab120a94c2 25 * ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDERS AND CONTRIBUTORS BE
mbed_official 80:2dab120a94c2 26 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
mbed_official 80:2dab120a94c2 27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
mbed_official 80:2dab120a94c2 28 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
mbed_official 80:2dab120a94c2 29 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
mbed_official 80:2dab120a94c2 30 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
mbed_official 80:2dab120a94c2 31 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
mbed_official 80:2dab120a94c2 32 * POSSIBILITY OF SUCH DAMAGE.
mbed_official 80:2dab120a94c2 33 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 34 #include "mbed_error.h"
mbed_official 80:2dab120a94c2 35
mbed_official 80:2dab120a94c2 36 #if defined (__CC_ARM)
mbed_official 80:2dab120a94c2 37 #pragma O3
mbed_official 80:2dab120a94c2 38 #define __USED __attribute__((used))
mbed_official 80:2dab120a94c2 39 #elif defined (__GNUC__)
mbed_official 80:2dab120a94c2 40 #pragma GCC optimize ("O3")
mbed_official 80:2dab120a94c2 41 #define __USED __attribute__((used))
mbed_official 80:2dab120a94c2 42 #elif defined (__ICCARM__)
mbed_official 80:2dab120a94c2 43 #define __USED __root
mbed_official 80:2dab120a94c2 44 #endif
mbed_official 80:2dab120a94c2 45
mbed_official 80:2dab120a94c2 46
mbed_official 80:2dab120a94c2 47 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 48 * Definitions
mbed_official 80:2dab120a94c2 49 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 50
mbed_official 80:2dab120a94c2 51 #define _declare_box(pool,size,cnt) uint32_t pool[(((size)+3)/4)*(cnt) + 3]
mbed_official 80:2dab120a94c2 52 #define _declare_box8(pool,size,cnt) uint64_t pool[(((size)+7)/8)*(cnt) + 2]
mbed_official 80:2dab120a94c2 53
mbed_official 80:2dab120a94c2 54 #define OS_TCB_SIZE 48
mbed_official 80:2dab120a94c2 55 #define OS_TMR_SIZE 8
mbed_official 80:2dab120a94c2 56
mbed_official 80:2dab120a94c2 57 #if defined (__CC_ARM) && !defined (__MICROLIB)
mbed_official 80:2dab120a94c2 58
mbed_official 80:2dab120a94c2 59 typedef void *OS_ID;
mbed_official 80:2dab120a94c2 60 typedef uint32_t OS_TID;
mbed_official 80:2dab120a94c2 61 typedef uint32_t OS_MUT[3];
mbed_official 80:2dab120a94c2 62 typedef uint32_t OS_RESULT;
mbed_official 80:2dab120a94c2 63
mbed_official 80:2dab120a94c2 64 #define runtask_id() rt_tsk_self()
mbed_official 80:2dab120a94c2 65 #define mutex_init(m) rt_mut_init(m)
mbed_official 80:2dab120a94c2 66 #define mutex_wait(m) os_mut_wait(m,0xFFFF)
mbed_official 80:2dab120a94c2 67 #define mutex_rel(m) os_mut_release(m)
mbed_official 80:2dab120a94c2 68
mbed_official 80:2dab120a94c2 69 extern OS_TID rt_tsk_self (void);
mbed_official 80:2dab120a94c2 70 extern void rt_mut_init (OS_ID mutex);
mbed_official 80:2dab120a94c2 71 extern OS_RESULT rt_mut_release (OS_ID mutex);
mbed_official 80:2dab120a94c2 72 extern OS_RESULT rt_mut_wait (OS_ID mutex, uint16_t timeout);
mbed_official 80:2dab120a94c2 73
mbed_official 80:2dab120a94c2 74 #define os_mut_wait(mutex,timeout) _os_mut_wait((uint32_t)rt_mut_wait,mutex,timeout)
mbed_official 80:2dab120a94c2 75 #define os_mut_release(mutex) _os_mut_release((uint32_t)rt_mut_release,mutex)
mbed_official 80:2dab120a94c2 76
mbed_official 80:2dab120a94c2 77 OS_RESULT _os_mut_release (uint32_t p, OS_ID mutex) __svc_indirect(0);
mbed_official 80:2dab120a94c2 78 OS_RESULT _os_mut_wait (uint32_t p, OS_ID mutex, uint16_t timeout) __svc_indirect(0);
mbed_official 80:2dab120a94c2 79
mbed_official 80:2dab120a94c2 80 #endif
mbed_official 80:2dab120a94c2 81
mbed_official 80:2dab120a94c2 82
mbed_official 80:2dab120a94c2 83 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 84 * Global Variables
mbed_official 80:2dab120a94c2 85 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 86
mbed_official 80:2dab120a94c2 87 #if (OS_TIMERS != 0)
mbed_official 80:2dab120a94c2 88 #define OS_TASK_CNT (OS_TASKCNT + 1)
mbed_official 80:2dab120a94c2 89 #else
mbed_official 80:2dab120a94c2 90 #define OS_TASK_CNT OS_TASKCNT
mbed_official 80:2dab120a94c2 91 #endif
mbed_official 80:2dab120a94c2 92
mbed_official 80:2dab120a94c2 93 uint16_t const os_maxtaskrun = OS_TASK_CNT;
mbed_official 80:2dab120a94c2 94 uint32_t const os_rrobin = (OS_ROBIN << 16) | OS_ROBINTOUT;
mbed_official 80:2dab120a94c2 95 uint32_t const os_trv = OS_TRV;
mbed_official 80:2dab120a94c2 96 uint8_t const os_flags = OS_RUNPRIV;
mbed_official 80:2dab120a94c2 97
mbed_official 80:2dab120a94c2 98 /* Export following defines to uVision debugger. */
mbed_official 80:2dab120a94c2 99 __USED uint32_t const os_clockrate = OS_TICK;
mbed_official 80:2dab120a94c2 100 __USED uint32_t const os_timernum = 0;
mbed_official 80:2dab120a94c2 101
mbed_official 80:2dab120a94c2 102 /* Stack for the os_idle_demon */
mbed_official 80:2dab120a94c2 103 unsigned int idle_task_stack[OS_IDLESTKSIZE];
mbed_official 80:2dab120a94c2 104 unsigned short const idle_task_stack_size = OS_IDLESTKSIZE;
mbed_official 80:2dab120a94c2 105
mbed_official 80:2dab120a94c2 106 #ifndef OS_FIFOSZ
mbed_official 80:2dab120a94c2 107 #define OS_FIFOSZ 16
mbed_official 80:2dab120a94c2 108 #endif
mbed_official 80:2dab120a94c2 109
mbed_official 80:2dab120a94c2 110 /* Fifo Queue buffer for ISR requests.*/
mbed_official 80:2dab120a94c2 111 uint32_t os_fifo[OS_FIFOSZ*2+1];
mbed_official 80:2dab120a94c2 112 uint8_t const os_fifo_size = OS_FIFOSZ;
mbed_official 80:2dab120a94c2 113
mbed_official 80:2dab120a94c2 114 /* An array of Active task pointers. */
mbed_official 80:2dab120a94c2 115 void *os_active_TCB[OS_TASK_CNT];
mbed_official 80:2dab120a94c2 116
mbed_official 80:2dab120a94c2 117 /* User Timers Resources */
mbed_official 80:2dab120a94c2 118 #if (OS_TIMERS != 0)
mbed_official 80:2dab120a94c2 119 extern void osTimerThread (void const *argument);
mbed_official 80:2dab120a94c2 120 osThreadDef(osTimerThread, (osPriority)(OS_TIMERPRIO-3), 4*OS_TIMERSTKSZ);
mbed_official 80:2dab120a94c2 121 osThreadId osThreadId_osTimerThread;
mbed_official 80:2dab120a94c2 122 osMessageQDef(osTimerMessageQ, OS_TIMERCBQS, void *);
mbed_official 80:2dab120a94c2 123 osMessageQId osMessageQId_osTimerMessageQ;
mbed_official 80:2dab120a94c2 124 #else
mbed_official 80:2dab120a94c2 125 osThreadDef_t os_thread_def_osTimerThread = { NULL };
mbed_official 80:2dab120a94c2 126 osThreadId osThreadId_osTimerThread;
mbed_official 80:2dab120a94c2 127 osMessageQDef(osTimerMessageQ, 0, void *);
mbed_official 80:2dab120a94c2 128 osMessageQId osMessageQId_osTimerMessageQ;
mbed_official 80:2dab120a94c2 129 #endif
mbed_official 80:2dab120a94c2 130
mbed_official 80:2dab120a94c2 131
mbed_official 80:2dab120a94c2 132 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 133 * RTX Optimizations (empty functions)
mbed_official 80:2dab120a94c2 134 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 135
mbed_official 80:2dab120a94c2 136 #if OS_ROBIN == 0
mbed_official 80:2dab120a94c2 137 void rt_init_robin (void) {;}
mbed_official 80:2dab120a94c2 138 void rt_chk_robin (void) {;}
mbed_official 80:2dab120a94c2 139 #endif
mbed_official 80:2dab120a94c2 140
mbed_official 80:2dab120a94c2 141 #if OS_STKCHECK == 0
mbed_official 80:2dab120a94c2 142 void rt_stk_check (void) {;}
mbed_official 80:2dab120a94c2 143 #endif
mbed_official 80:2dab120a94c2 144
mbed_official 80:2dab120a94c2 145
mbed_official 80:2dab120a94c2 146 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 147 * Standard Library multithreading interface
mbed_official 80:2dab120a94c2 148 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 149
mbed_official 80:2dab120a94c2 150 #if defined (__CC_ARM) && !defined (__MICROLIB)
mbed_official 80:2dab120a94c2 151 static OS_MUT std_libmutex[OS_MUTEXCNT];
mbed_official 80:2dab120a94c2 152 static uint32_t nr_mutex;
mbed_official 80:2dab120a94c2 153
mbed_official 80:2dab120a94c2 154 /*--------------------------- _mutex_initialize -----------------------------*/
mbed_official 80:2dab120a94c2 155
mbed_official 80:2dab120a94c2 156 int _mutex_initialize (OS_ID *mutex) {
mbed_official 80:2dab120a94c2 157 /* Allocate and initialize a system mutex. */
mbed_official 80:2dab120a94c2 158
mbed_official 80:2dab120a94c2 159 if (nr_mutex >= OS_MUTEXCNT) {
mbed_official 80:2dab120a94c2 160 /* If you are here, you need to increase the number OS_MUTEXCNT. */
mbed_official 80:2dab120a94c2 161 error("Not enough stdlib mutexes\n");
mbed_official 80:2dab120a94c2 162 }
mbed_official 80:2dab120a94c2 163 *mutex = &std_libmutex[nr_mutex++];
mbed_official 80:2dab120a94c2 164 mutex_init (*mutex);
mbed_official 80:2dab120a94c2 165 return (1);
mbed_official 80:2dab120a94c2 166 }
mbed_official 80:2dab120a94c2 167
mbed_official 80:2dab120a94c2 168
mbed_official 80:2dab120a94c2 169 /*--------------------------- _mutex_acquire --------------------------------*/
mbed_official 80:2dab120a94c2 170
mbed_official 80:2dab120a94c2 171 __attribute__((used)) void _mutex_acquire (OS_ID *mutex) {
mbed_official 80:2dab120a94c2 172 /* Acquire a system mutex, lock stdlib resources. */
mbed_official 80:2dab120a94c2 173 if (runtask_id ()) {
mbed_official 80:2dab120a94c2 174 /* RTX running, acquire a mutex. */
mbed_official 80:2dab120a94c2 175 mutex_wait (*mutex);
mbed_official 80:2dab120a94c2 176 }
mbed_official 80:2dab120a94c2 177 }
mbed_official 80:2dab120a94c2 178
mbed_official 80:2dab120a94c2 179
mbed_official 80:2dab120a94c2 180 /*--------------------------- _mutex_release --------------------------------*/
mbed_official 80:2dab120a94c2 181
mbed_official 80:2dab120a94c2 182 __attribute__((used)) void _mutex_release (OS_ID *mutex) {
mbed_official 80:2dab120a94c2 183 /* Release a system mutex, unlock stdlib resources. */
mbed_official 80:2dab120a94c2 184 if (runtask_id ()) {
mbed_official 80:2dab120a94c2 185 /* RTX running, release a mutex. */
mbed_official 80:2dab120a94c2 186 mutex_rel (*mutex);
mbed_official 80:2dab120a94c2 187 }
mbed_official 80:2dab120a94c2 188 }
mbed_official 80:2dab120a94c2 189
mbed_official 80:2dab120a94c2 190 #endif
mbed_official 80:2dab120a94c2 191
mbed_official 80:2dab120a94c2 192
mbed_official 80:2dab120a94c2 193 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 194 * RTX Startup
mbed_official 80:2dab120a94c2 195 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 196
mbed_official 80:2dab120a94c2 197 /* Main Thread definition */
mbed_official 116:0788b1a76461 198 extern void pre_main (void);
mbed_official 116:0788b1a76461 199 osThreadDef_t os_thread_def_main = {(os_pthread)pre_main, osPriorityNormal, 0, NULL};
mbed_official 80:2dab120a94c2 200
mbed_official 80:2dab120a94c2 201 // This define should be probably moved to the CMSIS layer
mbed_official 80:2dab120a94c2 202
mbed_official 80:2dab120a94c2 203 #if defined(TARGET_LPC2460)
mbed_official 80:2dab120a94c2 204 extern unsigned char __usr_stack_top__[];
mbed_official 80:2dab120a94c2 205 #define INITIAL_SP (__usr_stack_top__)
mbed_official 80:2dab120a94c2 206
mbed_official 80:2dab120a94c2 207 #else
mbed_official 80:2dab120a94c2 208 #error "no target defined"
mbed_official 80:2dab120a94c2 209
mbed_official 80:2dab120a94c2 210 #endif
mbed_official 80:2dab120a94c2 211
mbed_official 80:2dab120a94c2 212 #ifdef __CC_ARM
mbed_official 80:2dab120a94c2 213 extern unsigned char Image$$RW_IRAM1$$ZI$$Limit[];
mbed_official 80:2dab120a94c2 214 #define HEAP_START (Image$$RW_IRAM1$$ZI$$Limit)
mbed_official 80:2dab120a94c2 215 #elif defined(__GNUC__)
mbed_official 80:2dab120a94c2 216 extern unsigned char __end__[];
mbed_official 80:2dab120a94c2 217 #define HEAP_START (__end__)
mbed_official 80:2dab120a94c2 218 #elif defined(__ICCARM__)
mbed_official 80:2dab120a94c2 219 #pragma section="HEAP"
mbed_official 80:2dab120a94c2 220 #define HEAP_START (void *)__section_begin("HEAP")
mbed_official 80:2dab120a94c2 221 #endif
mbed_official 80:2dab120a94c2 222
mbed_official 80:2dab120a94c2 223 void set_main_stack(void) {
mbed_official 80:2dab120a94c2 224 // That is the bottom of the main stack block: no collision detection
mbed_official 80:2dab120a94c2 225 os_thread_def_main.stack_pointer = HEAP_START;
mbed_official 80:2dab120a94c2 226
mbed_official 80:2dab120a94c2 227 // Leave OS_SCHEDULERSTKSIZE words for the scheduler and interrupts
mbed_official 80:2dab120a94c2 228 os_thread_def_main.stacksize = (INITIAL_SP - (unsigned int)HEAP_START) - (OS_SCHEDULERSTKSIZE * 4);
mbed_official 80:2dab120a94c2 229 }
mbed_official 80:2dab120a94c2 230
mbed_official 80:2dab120a94c2 231 #if defined (__CC_ARM)
mbed_official 80:2dab120a94c2 232 #ifdef __MICROLIB
mbed_official 116:0788b1a76461 233
mbed_official 116:0788b1a76461 234 int main(void);
mbed_official 80:2dab120a94c2 235 void _main_init (void) __attribute__((section(".ARM.Collect$$$$000000FF")));
mbed_official 116:0788b1a76461 236 void $Super$$__cpp_initialize__aeabi_(void);
mbed_official 116:0788b1a76461 237
mbed_official 80:2dab120a94c2 238 void _main_init (void) {
mbed_official 80:2dab120a94c2 239 osKernelInitialize();
mbed_official 80:2dab120a94c2 240 set_main_stack();
mbed_official 80:2dab120a94c2 241 osThreadCreate(&os_thread_def_main, NULL);
mbed_official 80:2dab120a94c2 242 osKernelStart();
mbed_official 80:2dab120a94c2 243 for (;;);
mbed_official 80:2dab120a94c2 244 }
mbed_official 116:0788b1a76461 245
mbed_official 116:0788b1a76461 246 void $Sub$$__cpp_initialize__aeabi_(void)
mbed_official 116:0788b1a76461 247 {
mbed_official 116:0788b1a76461 248 // this should invoke C++ initializers prior _main_init, we keep this empty and
mbed_official 116:0788b1a76461 249 // invoke them after _main_init (=starts RTX kernel)
mbed_official 116:0788b1a76461 250 }
mbed_official 116:0788b1a76461 251
mbed_official 116:0788b1a76461 252 void pre_main()
mbed_official 116:0788b1a76461 253 {
mbed_official 116:0788b1a76461 254 $Super$$__cpp_initialize__aeabi_();
mbed_official 116:0788b1a76461 255 main();
mbed_official 116:0788b1a76461 256 }
mbed_official 116:0788b1a76461 257
mbed_official 80:2dab120a94c2 258 #else
mbed_official 80:2dab120a94c2 259
mbed_official 116:0788b1a76461 260 void * armcc_heap_base;
mbed_official 116:0788b1a76461 261 void * armcc_heap_top;
mbed_official 116:0788b1a76461 262
mbed_official 116:0788b1a76461 263 __asm void pre_main (void)
mbed_official 116:0788b1a76461 264 {
mbed_official 116:0788b1a76461 265 IMPORT __rt_lib_init
mbed_official 116:0788b1a76461 266 IMPORT main
mbed_official 116:0788b1a76461 267 IMPORT armcc_heap_base
mbed_official 116:0788b1a76461 268 IMPORT armcc_heap_top
mbed_official 116:0788b1a76461 269
mbed_official 116:0788b1a76461 270 LDR R0,=armcc_heap_base
mbed_official 116:0788b1a76461 271 LDR R1,=armcc_heap_top
mbed_official 116:0788b1a76461 272 LDR R0,[R0]
mbed_official 116:0788b1a76461 273 LDR R1,[R1]
mbed_official 116:0788b1a76461 274 /* Save link register (keep 8 byte alignment with dummy R4) */
mbed_official 116:0788b1a76461 275 PUSH {R4, LR}
mbed_official 116:0788b1a76461 276 BL __rt_lib_init
mbed_official 116:0788b1a76461 277 BL main
mbed_official 116:0788b1a76461 278 /* Return to the thread destroy function.
mbed_official 116:0788b1a76461 279 */
mbed_official 116:0788b1a76461 280 POP {R4, PC}
mbed_official 116:0788b1a76461 281 ALIGN
mbed_official 116:0788b1a76461 282 }
mbed_official 116:0788b1a76461 283
mbed_official 80:2dab120a94c2 284 /* The single memory model is checking for stack collision at run time, verifing
mbed_official 80:2dab120a94c2 285 that the heap pointer is underneath the stack pointer.
mbed_official 80:2dab120a94c2 286
mbed_official 80:2dab120a94c2 287 With the RTOS there is not only one stack above the heap, there are multiple
mbed_official 80:2dab120a94c2 288 stacks and some of them are underneath the heap pointer.
mbed_official 80:2dab120a94c2 289 */
mbed_official 80:2dab120a94c2 290 #pragma import(__use_two_region_memory)
mbed_official 80:2dab120a94c2 291
mbed_official 80:2dab120a94c2 292 __asm void __rt_entry (void) {
mbed_official 80:2dab120a94c2 293
mbed_official 80:2dab120a94c2 294 IMPORT __user_setup_stackheap
mbed_official 116:0788b1a76461 295 IMPORT armcc_heap_base
mbed_official 116:0788b1a76461 296 IMPORT armcc_heap_top
mbed_official 80:2dab120a94c2 297 IMPORT os_thread_def_main
mbed_official 80:2dab120a94c2 298 IMPORT osKernelInitialize
mbed_official 80:2dab120a94c2 299 IMPORT set_main_stack
mbed_official 80:2dab120a94c2 300 IMPORT osKernelStart
mbed_official 80:2dab120a94c2 301 IMPORT osThreadCreate
mbed_official 80:2dab120a94c2 302
mbed_official 116:0788b1a76461 303 /* __user_setup_stackheap returns:
mbed_official 116:0788b1a76461 304 * - Heap base in r0 (if the program uses the heap).
mbed_official 116:0788b1a76461 305 * - Stack base in sp.
mbed_official 116:0788b1a76461 306 * - Heap limit in r2 (if the program uses the heap and uses two-region memory).
mbed_official 116:0788b1a76461 307 *
mbed_official 116:0788b1a76461 308 * More info can be found in:
mbed_official 116:0788b1a76461 309 * ARM Compiler ARM C and C++ Libraries and Floating-Point Support User Guide
mbed_official 116:0788b1a76461 310 */
mbed_official 80:2dab120a94c2 311 BL __user_setup_stackheap
mbed_official 116:0788b1a76461 312 LDR R3,=armcc_heap_base
mbed_official 116:0788b1a76461 313 LDR R4,=armcc_heap_top
mbed_official 116:0788b1a76461 314 STR R0,[R3]
mbed_official 116:0788b1a76461 315 STR R2,[R4]
mbed_official 80:2dab120a94c2 316 BL osKernelInitialize
mbed_official 80:2dab120a94c2 317 BL set_main_stack
mbed_official 80:2dab120a94c2 318 LDR R0,=os_thread_def_main
mbed_official 80:2dab120a94c2 319 MOVS R1,#0
mbed_official 80:2dab120a94c2 320 BL osThreadCreate
mbed_official 80:2dab120a94c2 321 BL osKernelStart
mbed_official 116:0788b1a76461 322 /* osKernelStart should not return */
mbed_official 116:0788b1a76461 323 B .
mbed_official 80:2dab120a94c2 324
mbed_official 80:2dab120a94c2 325 ALIGN
mbed_official 80:2dab120a94c2 326 }
mbed_official 116:0788b1a76461 327
mbed_official 80:2dab120a94c2 328 #endif
mbed_official 80:2dab120a94c2 329
mbed_official 80:2dab120a94c2 330 #elif defined (__GNUC__)
mbed_official 80:2dab120a94c2 331
<> 121:3da5f554d8bf 332 extern int atexit(void (*func)(void));
mbed_official 116:0788b1a76461 333 extern void __libc_fini_array(void);
mbed_official 80:2dab120a94c2 334 extern void __libc_init_array (void);
mbed_official 116:0788b1a76461 335 extern int main(int argc, char **argv);
mbed_official 80:2dab120a94c2 336
mbed_official 116:0788b1a76461 337 void pre_main(void) {
mbed_official 116:0788b1a76461 338 atexit(__libc_fini_array);
mbed_official 116:0788b1a76461 339 __libc_init_array();
mbed_official 116:0788b1a76461 340 main(0, NULL);
mbed_official 80:2dab120a94c2 341 }
mbed_official 80:2dab120a94c2 342
Kojto 118:6635230e06ba 343 __attribute__((naked)) void software_init_hook_rtos (void) {
mbed_official 80:2dab120a94c2 344 __asm (
mbed_official 80:2dab120a94c2 345 ".syntax unified\n"
mbed_official 80:2dab120a94c2 346 ".thumb\n"
mbed_official 80:2dab120a94c2 347 "bl osKernelInitialize\n"
mbed_official 80:2dab120a94c2 348 "bl set_main_stack\n"
mbed_official 80:2dab120a94c2 349 "ldr r0,=os_thread_def_main\n"
mbed_official 80:2dab120a94c2 350 "movs r1,#0\n"
mbed_official 80:2dab120a94c2 351 "bl osThreadCreate\n"
mbed_official 80:2dab120a94c2 352 "bl osKernelStart\n"
mbed_official 116:0788b1a76461 353 /* osKernelStart should not return */
mbed_official 116:0788b1a76461 354 "B .\n"
mbed_official 80:2dab120a94c2 355 );
mbed_official 80:2dab120a94c2 356 }
mbed_official 80:2dab120a94c2 357
mbed_official 80:2dab120a94c2 358 #elif defined (__ICCARM__)
mbed_official 80:2dab120a94c2 359
mbed_official 116:0788b1a76461 360 extern void* __vector_table;
mbed_official 80:2dab120a94c2 361 extern int __low_level_init(void);
mbed_official 80:2dab120a94c2 362 extern void __iar_data_init3(void);
mbed_official 116:0788b1a76461 363 extern __weak void __iar_init_core( void );
mbed_official 116:0788b1a76461 364 extern __weak void __iar_init_vfp( void );
mbed_official 116:0788b1a76461 365 extern void __iar_dynamic_initialization(void);
mbed_official 116:0788b1a76461 366 extern void mbed_sdk_init(void);
mbed_official 80:2dab120a94c2 367 extern void exit(int arg);
mbed_official 80:2dab120a94c2 368
mbed_official 116:0788b1a76461 369 static uint8_t low_level_init_needed;
mbed_official 116:0788b1a76461 370
mbed_official 116:0788b1a76461 371 void pre_main(void) {
mbed_official 116:0788b1a76461 372 if (low_level_init_needed) {
mbed_official 116:0788b1a76461 373 __iar_dynamic_initialization();
mbed_official 116:0788b1a76461 374 }
mbed_official 116:0788b1a76461 375 main();
mbed_official 116:0788b1a76461 376 }
mbed_official 80:2dab120a94c2 377
mbed_official 116:0788b1a76461 378 #pragma required=__vector_table
mbed_official 116:0788b1a76461 379 void __iar_program_start( void )
mbed_official 116:0788b1a76461 380 {
mbed_official 116:0788b1a76461 381 __iar_init_core();
mbed_official 116:0788b1a76461 382 __iar_init_vfp();
mbed_official 116:0788b1a76461 383
mbed_official 116:0788b1a76461 384 uint8_t low_level_init_needed_local;
mbed_official 116:0788b1a76461 385
mbed_official 116:0788b1a76461 386 low_level_init_needed_local = __low_level_init();
mbed_official 116:0788b1a76461 387 if (low_level_init_needed_local) {
mbed_official 80:2dab120a94c2 388 __iar_data_init3();
mbed_official 116:0788b1a76461 389 mbed_sdk_init();
mbed_official 80:2dab120a94c2 390 }
mbed_official 116:0788b1a76461 391 /* Store in a global variable after RAM has been initialized */
mbed_official 116:0788b1a76461 392 low_level_init_needed = low_level_init_needed_local;
mbed_official 80:2dab120a94c2 393 osKernelInitialize();
mbed_official 80:2dab120a94c2 394 set_main_stack();
mbed_official 80:2dab120a94c2 395 osThreadCreate(&os_thread_def_main, NULL);
mbed_official 116:0788b1a76461 396 osKernelStart();
mbed_official 116:0788b1a76461 397 /* osKernelStart should not return */
mbed_official 116:0788b1a76461 398 while (1);
mbed_official 80:2dab120a94c2 399 }
mbed_official 80:2dab120a94c2 400
mbed_official 80:2dab120a94c2 401 #endif
mbed_official 80:2dab120a94c2 402
mbed_official 80:2dab120a94c2 403
mbed_official 80:2dab120a94c2 404 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 405 * end of file
mbed_official 80:2dab120a94c2 406 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 407
mbed_official 80:2dab120a94c2 408