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.

Files at this revision

API Documentation at this revision

Revision 51:318e02f48146, committed 2014-11-14

Comitter:
mbed_official
Date:
Fri Nov 14 12:00:41 2014 +0000
Parent:
50:64a5202c3676
Child:
52:02f5cf381388
Commit message:
Synchronized with git revision e53ae9e8408acf2f80fb1eb4f6c67a4beb828ab0

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

[RZ_A1H]Fixed a bug of CMSIS-RTOS RTX for Cortex-A9

Changed in this revision

rtx/TARGET_CORTEX_A/rt_HAL_CA.h Show annotated file Show diff for this revision Revisions of this file 
--- a/rtx/TARGET_CORTEX_A/rt_HAL_CA.h	Thu Nov 13 08:30:27 2014 +0000
+++ b/rtx/TARGET_CORTEX_A/rt_HAL_CA.h	Fri Nov 14 12:00:41 2014 +0000
@@ -108,7 +108,7 @@
 
 /* HW initialization needs to be done in os_tick_init (void) -RTX_Conf_CM.c-
  * OS_X_INIT enables the IRQ n in the GIC */
-#define OS_X_INIT(n) char *reg; \
+#define OS_X_INIT(n) volatile char *reg; \
                      reg = (char *)(&GICD_ICDIPR0 + n / 4); \
                      reg += n % 4; \
                      *reg = (char)0xff; \
@@ -163,7 +163,7 @@
 
 __inline static void rt_svc_init (void) {
   /* Register pendSV - through SGI */
-  char *reg;
+  volatile char *reg;
 
   reg = (char *)(&GICD_ICDIPR0 + SGI_PENDSV/4);
   reg += SGI_PENDSV % 4;