arch/arm/src: Masayuki Ishikawa's change to go_os_start() should be applied to all MCU-specific start-up functions that support go_os_start().

This commit is contained in:
Gregory Nutt 2018-12-25 08:14:55 -06:00
parent c5c8c3aab9
commit 6fad6607bf
13 changed files with 24 additions and 21 deletions

View File

@ -221,7 +221,7 @@ static inline void efm32_fpuconfig(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -238,6 +238,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */

View File

@ -248,7 +248,7 @@ static inline void imxrt_tcmenable(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -265,6 +265,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */

View File

@ -114,14 +114,6 @@ static void go_os_start(void *pv, unsigned int nbytes)
const uintptr_t g_idle_topstack = HEAP_BASE;
/****************************************************************************
* Private Data
****************************************************************************/
/****************************************************************************
* Public Data
****************************************************************************/
/****************************************************************************
* Private Functions
****************************************************************************/
@ -227,7 +219,7 @@ static inline void kinetis_fpuconfig(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -245,6 +237,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */

View File

@ -220,7 +220,7 @@ static inline void sam_fpuconfig(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -237,6 +237,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */

View File

@ -221,7 +221,7 @@ static inline void sam_fpu_configure(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -238,6 +238,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */

View File

@ -261,7 +261,7 @@ static inline void sam_tcmenable(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -278,6 +278,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */

View File

@ -222,7 +222,7 @@ static inline void stm32_fpuconfig(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -239,6 +239,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */

View File

@ -262,7 +262,7 @@ static inline void stm32_tcmenable(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -279,6 +279,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */

View File

@ -277,7 +277,7 @@ static inline void stm32_tcmenable(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -294,6 +294,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */

View File

@ -230,7 +230,7 @@ static inline void stm32l4_fpuconfig(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -247,6 +247,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */

View File

@ -55,7 +55,7 @@
/* VIMS Register Offsets ********************************************************************************************/
#define TIVA_VIMS_STAT_OFFSET 0x0000 /* Status */
#define TIVA_VIMS_CTL_OFFSET 0x0004 /* Status */
#define TIVA_VIMS_CTL_OFFSET 0x0004 /* Control */
/* VIMS Register Addresses ******************************************************************************************/

View File

@ -55,7 +55,7 @@
/* VIMS Register Offsets ********************************************************************************************/
#define TIVA_VIMS_STAT_OFFSET 0x0000 /* Status */
#define TIVA_VIMS_CTL_OFFSET 0x0004 /* Status */
#define TIVA_VIMS_CTL_OFFSET 0x0004 /* Control */
/* VIMS Register Addresses ******************************************************************************************/

View File

@ -259,7 +259,7 @@ static inline void xmc4_flash_waitstates(void)
* Name: go_os_start
*
* Description:
* Set the IDLE stack to the
* Set the IDLE stack to the coloration value and jump into os_start()
*
****************************************************************************/
@ -276,6 +276,7 @@ static void go_os_start(void *pv, unsigned int nbytes)
__asm__ __volatile__
(
"\tmovs r1, r1, lsr #2\n" /* R1 = nwords = nbytes >> 2 */
"\tcmp r1, #0\n" /* Check (nwords == 0) */
"\tbeq 2f\n" /* (should not happen) */
"\tbic r0, r0, #3\n" /* R0 = Aligned stackptr */