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.
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;