sabme ua / mbed-rtos

Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.

Dependents:   DISCO-F746NG_rtos_test ecte433

Fork of mbed-rtos by mbed official

Diff: rtx/TARGET_CORTEX_A/rt_HAL_CA.h

Revision:
51:318e02f48146
Parent:
49:77c8e4604045
Child:
67:63988a2238f7
--- 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;