Arlindo Montagnoli / Mbed 2 deprecated ProjetoBB

ProjetoBB

Dependencies:   F7_Ethernet WebSocketClient mbed mcp3008

Fork of Nucleo_F746ZG_Ethernet by Dieter Graef

mbed-rtos/rtx/TARGET_CORTEX_M/HAL_CM.c@0:f9b6112278fe, 2016-06-18 (annotated)

Committer:
DieterGraef
Date:
Sat Jun 18 10:49:12 2016 +0000
Revision:
0:f9b6112278fe
Ethernet for the NUCLEO STM32F746 Board Testprogram uses DHCP and NTP to set the clock

Who changed what in which revision?

UserRevisionLine numberNew contents of line
DieterGraef 0:f9b6112278fe 1 /*----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 2 * CMSIS-RTOS - RTX
DieterGraef 0:f9b6112278fe 3 *----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 4 * Name: HAL_CM.C
DieterGraef 0:f9b6112278fe 5 * Purpose: Hardware Abstraction Layer for Cortex-M
DieterGraef 0:f9b6112278fe 6 * Rev.: V4.79
DieterGraef 0:f9b6112278fe 7 *----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 8 *
DieterGraef 0:f9b6112278fe 9 * Copyright (c) 1999-2009 KEIL, 2009-2015 ARM Germany GmbH
DieterGraef 0:f9b6112278fe 10 * All rights reserved.
DieterGraef 0:f9b6112278fe 11 * Redistribution and use in source and binary forms, with or without
DieterGraef 0:f9b6112278fe 12 * modification, are permitted provided that the following conditions are met:
DieterGraef 0:f9b6112278fe 13 * - Redistributions of source code must retain the above copyright
DieterGraef 0:f9b6112278fe 14 * notice, this list of conditions and the following disclaimer.
DieterGraef 0:f9b6112278fe 15 * - Redistributions in binary form must reproduce the above copyright
DieterGraef 0:f9b6112278fe 16 * notice, this list of conditions and the following disclaimer in the
DieterGraef 0:f9b6112278fe 17 * documentation and/or other materials provided with the distribution.
DieterGraef 0:f9b6112278fe 18 * - Neither the name of ARM nor the names of its contributors may be used
DieterGraef 0:f9b6112278fe 19 * to endorse or promote products derived from this software without
DieterGraef 0:f9b6112278fe 20 * specific prior written permission.
DieterGraef 0:f9b6112278fe 21 *
DieterGraef 0:f9b6112278fe 22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
DieterGraef 0:f9b6112278fe 23 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
DieterGraef 0:f9b6112278fe 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
DieterGraef 0:f9b6112278fe 25 * ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDERS AND CONTRIBUTORS BE
DieterGraef 0:f9b6112278fe 26 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
DieterGraef 0:f9b6112278fe 27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
DieterGraef 0:f9b6112278fe 28 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
DieterGraef 0:f9b6112278fe 29 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
DieterGraef 0:f9b6112278fe 30 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
DieterGraef 0:f9b6112278fe 31 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
DieterGraef 0:f9b6112278fe 32 * POSSIBILITY OF SUCH DAMAGE.
DieterGraef 0:f9b6112278fe 33 *---------------------------------------------------------------------------*/
DieterGraef 0:f9b6112278fe 34
DieterGraef 0:f9b6112278fe 35 #include "rt_TypeDef.h"
DieterGraef 0:f9b6112278fe 36 #include "RTX_Config.h"
DieterGraef 0:f9b6112278fe 37 #include "rt_HAL_CM.h"
DieterGraef 0:f9b6112278fe 38
DieterGraef 0:f9b6112278fe 39
DieterGraef 0:f9b6112278fe 40 /*----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 41 * Global Variables
DieterGraef 0:f9b6112278fe 42 *---------------------------------------------------------------------------*/
DieterGraef 0:f9b6112278fe 43
DieterGraef 0:f9b6112278fe 44 #ifdef DBG_MSG
DieterGraef 0:f9b6112278fe 45 BIT dbg_msg;
DieterGraef 0:f9b6112278fe 46 #endif
DieterGraef 0:f9b6112278fe 47
DieterGraef 0:f9b6112278fe 48 /*----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 49 * Functions
DieterGraef 0:f9b6112278fe 50 *---------------------------------------------------------------------------*/
DieterGraef 0:f9b6112278fe 51
DieterGraef 0:f9b6112278fe 52
DieterGraef 0:f9b6112278fe 53 /*--------------------------- rt_init_stack ---------------------------------*/
DieterGraef 0:f9b6112278fe 54
DieterGraef 0:f9b6112278fe 55 void rt_init_stack (P_TCB p_TCB, FUNCP task_body) {
DieterGraef 0:f9b6112278fe 56 /* Prepare TCB and saved context for a first time start of a task. */
DieterGraef 0:f9b6112278fe 57 U32 *stk,i,size;
DieterGraef 0:f9b6112278fe 58
DieterGraef 0:f9b6112278fe 59 /* Prepare a complete interrupt frame for first task start */
DieterGraef 0:f9b6112278fe 60 size = p_TCB->priv_stack >> 2;
DieterGraef 0:f9b6112278fe 61 if (size == 0U) {
DieterGraef 0:f9b6112278fe 62 size = (U16)os_stackinfo >> 2;
DieterGraef 0:f9b6112278fe 63 }
DieterGraef 0:f9b6112278fe 64
DieterGraef 0:f9b6112278fe 65 /* Write to the top of stack. */
DieterGraef 0:f9b6112278fe 66 stk = &p_TCB->stack[size];
DieterGraef 0:f9b6112278fe 67
DieterGraef 0:f9b6112278fe 68 /* Auto correct to 8-byte ARM stack alignment. */
DieterGraef 0:f9b6112278fe 69 if ((U32)stk & 0x04U) {
DieterGraef 0:f9b6112278fe 70 stk--;
DieterGraef 0:f9b6112278fe 71 }
DieterGraef 0:f9b6112278fe 72
DieterGraef 0:f9b6112278fe 73 stk -= 16;
DieterGraef 0:f9b6112278fe 74
DieterGraef 0:f9b6112278fe 75 /* Default xPSR and initial PC */
DieterGraef 0:f9b6112278fe 76 stk[15] = INITIAL_xPSR;
DieterGraef 0:f9b6112278fe 77 stk[14] = (U32)task_body;
DieterGraef 0:f9b6112278fe 78
DieterGraef 0:f9b6112278fe 79 /* Clear R4-R11,R0-R3,R12,LR registers. */
DieterGraef 0:f9b6112278fe 80 for (i = 0U; i < 14U; i++) {
DieterGraef 0:f9b6112278fe 81 stk[i] = 0U;
DieterGraef 0:f9b6112278fe 82 }
DieterGraef 0:f9b6112278fe 83
DieterGraef 0:f9b6112278fe 84 /* Assign a void pointer to R0. */
DieterGraef 0:f9b6112278fe 85 stk[8] = (U32)p_TCB->msg;
DieterGraef 0:f9b6112278fe 86
DieterGraef 0:f9b6112278fe 87 /* Initial Task stack pointer. */
DieterGraef 0:f9b6112278fe 88 p_TCB->tsk_stack = (U32)stk;
DieterGraef 0:f9b6112278fe 89
DieterGraef 0:f9b6112278fe 90 /* Task entry point. */
DieterGraef 0:f9b6112278fe 91 p_TCB->ptask = task_body;
DieterGraef 0:f9b6112278fe 92
DieterGraef 0:f9b6112278fe 93
DieterGraef 0:f9b6112278fe 94 #ifdef __MBED_CMSIS_RTOS_CM
DieterGraef 0:f9b6112278fe 95 /* Set a magic word for checking of stack overflow.
DieterGraef 0:f9b6112278fe 96 For the main thread (ID: 0x02) the stack is in a memory area shared with the
DieterGraef 0:f9b6112278fe 97 heap, therefore the last word of the stack is a moving target.
DieterGraef 0:f9b6112278fe 98 We want to do stack/heap collision detection instead.
DieterGraef 0:f9b6112278fe 99 Similar applies to stack filling for the magic pattern.
DieterGraef 0:f9b6112278fe 100 */
DieterGraef 0:f9b6112278fe 101 if (p_TCB->task_id != 0x02) {
DieterGraef 0:f9b6112278fe 102 p_TCB->stack[0] = MAGIC_WORD;
DieterGraef 0:f9b6112278fe 103
DieterGraef 0:f9b6112278fe 104 /* Initialize stack with magic pattern. */
DieterGraef 0:f9b6112278fe 105 if (os_stackinfo & 0x10000000U) {
DieterGraef 0:f9b6112278fe 106 if (size > (16U+1U)) {
DieterGraef 0:f9b6112278fe 107 for (i = ((size - 16U)/2U) - 1U; i; i--) {
DieterGraef 0:f9b6112278fe 108 stk -= 2U;
DieterGraef 0:f9b6112278fe 109 stk[1] = MAGIC_PATTERN;
DieterGraef 0:f9b6112278fe 110 stk[0] = MAGIC_PATTERN;
DieterGraef 0:f9b6112278fe 111 }
DieterGraef 0:f9b6112278fe 112 if (--stk > p_TCB->stack) {
DieterGraef 0:f9b6112278fe 113 *stk = MAGIC_PATTERN;
DieterGraef 0:f9b6112278fe 114 }
DieterGraef 0:f9b6112278fe 115 }
DieterGraef 0:f9b6112278fe 116 }
DieterGraef 0:f9b6112278fe 117 }
DieterGraef 0:f9b6112278fe 118 #else
DieterGraef 0:f9b6112278fe 119 /* Initialize stack with magic pattern. */
DieterGraef 0:f9b6112278fe 120 if (os_stackinfo & 0x10000000U) {
DieterGraef 0:f9b6112278fe 121 if (size > (16U+1U)) {
DieterGraef 0:f9b6112278fe 122 for (i = ((size - 16U)/2U) - 1U; i; i--) {
DieterGraef 0:f9b6112278fe 123 stk -= 2U;
DieterGraef 0:f9b6112278fe 124 stk[1] = MAGIC_PATTERN;
DieterGraef 0:f9b6112278fe 125 stk[0] = MAGIC_PATTERN;
DieterGraef 0:f9b6112278fe 126 }
DieterGraef 0:f9b6112278fe 127 if (--stk > p_TCB->stack) {
DieterGraef 0:f9b6112278fe 128 *stk = MAGIC_PATTERN;
DieterGraef 0:f9b6112278fe 129 }
DieterGraef 0:f9b6112278fe 130 }
DieterGraef 0:f9b6112278fe 131 }
DieterGraef 0:f9b6112278fe 132
DieterGraef 0:f9b6112278fe 133 /* Set a magic word for checking of stack overflow. */
DieterGraef 0:f9b6112278fe 134 p_TCB->stack[0] = MAGIC_WORD;
DieterGraef 0:f9b6112278fe 135 #endif
DieterGraef 0:f9b6112278fe 136 }
DieterGraef 0:f9b6112278fe 137
DieterGraef 0:f9b6112278fe 138
DieterGraef 0:f9b6112278fe 139 /*--------------------------- rt_ret_val ----------------------------------*/
DieterGraef 0:f9b6112278fe 140
DieterGraef 0:f9b6112278fe 141 static __inline U32 *rt_ret_regs (P_TCB p_TCB) {
DieterGraef 0:f9b6112278fe 142 /* Get pointer to task return value registers (R0..R3) in Stack */
DieterGraef 0:f9b6112278fe 143 #if defined(__TARGET_FPU_VFP)
DieterGraef 0:f9b6112278fe 144 if (p_TCB->stack_frame) {
DieterGraef 0:f9b6112278fe 145 /* Extended Stack Frame: R4-R11,S16-S31,R0-R3,R12,LR,PC,xPSR,S0-S15,FPSCR */
DieterGraef 0:f9b6112278fe 146 return (U32 *)(p_TCB->tsk_stack + (8U*4U) + (16U*4U));
DieterGraef 0:f9b6112278fe 147 } else {
DieterGraef 0:f9b6112278fe 148 /* Basic Stack Frame: R4-R11,R0-R3,R12,LR,PC,xPSR */
DieterGraef 0:f9b6112278fe 149 return (U32 *)(p_TCB->tsk_stack + (8U*4U));
DieterGraef 0:f9b6112278fe 150 }
DieterGraef 0:f9b6112278fe 151 #else
DieterGraef 0:f9b6112278fe 152 /* Stack Frame: R4-R11,R0-R3,R12,LR,PC,xPSR */
DieterGraef 0:f9b6112278fe 153 return (U32 *)(p_TCB->tsk_stack + (8U*4U));
DieterGraef 0:f9b6112278fe 154 #endif
DieterGraef 0:f9b6112278fe 155 }
DieterGraef 0:f9b6112278fe 156
DieterGraef 0:f9b6112278fe 157 void rt_ret_val (P_TCB p_TCB, U32 v0) {
DieterGraef 0:f9b6112278fe 158 U32 *ret;
DieterGraef 0:f9b6112278fe 159
DieterGraef 0:f9b6112278fe 160 ret = rt_ret_regs(p_TCB);
DieterGraef 0:f9b6112278fe 161 ret[0] = v0;
DieterGraef 0:f9b6112278fe 162 }
DieterGraef 0:f9b6112278fe 163
DieterGraef 0:f9b6112278fe 164 void rt_ret_val2(P_TCB p_TCB, U32 v0, U32 v1) {
DieterGraef 0:f9b6112278fe 165 U32 *ret;
DieterGraef 0:f9b6112278fe 166
DieterGraef 0:f9b6112278fe 167 ret = rt_ret_regs(p_TCB);
DieterGraef 0:f9b6112278fe 168 ret[0] = v0;
DieterGraef 0:f9b6112278fe 169 ret[1] = v1;
DieterGraef 0:f9b6112278fe 170 }
DieterGraef 0:f9b6112278fe 171
DieterGraef 0:f9b6112278fe 172
DieterGraef 0:f9b6112278fe 173 /*--------------------------- dbg_init --------------------------------------*/
DieterGraef 0:f9b6112278fe 174
DieterGraef 0:f9b6112278fe 175 #ifdef DBG_MSG
DieterGraef 0:f9b6112278fe 176 void dbg_init (void) {
DieterGraef 0:f9b6112278fe 177 if (((DEMCR & DEMCR_TRCENA) != 0U) &&
DieterGraef 0:f9b6112278fe 178 ((ITM_CONTROL & ITM_ITMENA) != 0U) &&
DieterGraef 0:f9b6112278fe 179 ((ITM_ENABLE & (1UL << 31)) != 0U)) {
DieterGraef 0:f9b6112278fe 180 dbg_msg = __TRUE;
DieterGraef 0:f9b6112278fe 181 }
DieterGraef 0:f9b6112278fe 182 }
DieterGraef 0:f9b6112278fe 183 #endif
DieterGraef 0:f9b6112278fe 184
DieterGraef 0:f9b6112278fe 185 /*--------------------------- dbg_task_notify -------------------------------*/
DieterGraef 0:f9b6112278fe 186
DieterGraef 0:f9b6112278fe 187 #ifdef DBG_MSG
DieterGraef 0:f9b6112278fe 188 void dbg_task_notify (P_TCB p_tcb, BOOL create) {
DieterGraef 0:f9b6112278fe 189 while (ITM_PORT31_U32 == 0U);
DieterGraef 0:f9b6112278fe 190 ITM_PORT31_U32 = (U32)p_tcb->ptask;
DieterGraef 0:f9b6112278fe 191 while (ITM_PORT31_U32 == 0U);
DieterGraef 0:f9b6112278fe 192 ITM_PORT31_U16 = (U16)((create << 8) | p_tcb->task_id);
DieterGraef 0:f9b6112278fe 193 }
DieterGraef 0:f9b6112278fe 194 #endif
DieterGraef 0:f9b6112278fe 195
DieterGraef 0:f9b6112278fe 196 /*--------------------------- dbg_task_switch -------------------------------*/
DieterGraef 0:f9b6112278fe 197
DieterGraef 0:f9b6112278fe 198 #ifdef DBG_MSG
DieterGraef 0:f9b6112278fe 199 void dbg_task_switch (U32 task_id) {
DieterGraef 0:f9b6112278fe 200 while (ITM_PORT31_U32 == 0U);
DieterGraef 0:f9b6112278fe 201 ITM_PORT31_U8 = (U8)task_id;
DieterGraef 0:f9b6112278fe 202 }
DieterGraef 0:f9b6112278fe 203 #endif
DieterGraef 0:f9b6112278fe 204
DieterGraef 0:f9b6112278fe 205 /*----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 206 * end of file
DieterGraef 0:f9b6112278fe 207 *---------------------------------------------------------------------------*/