RTX5: added "used" attribute for armcc clib mutex interface (fixes issue #129)
diff --git a/CMSIS/RTOS2/RTX/Source/rtx_lib.c b/CMSIS/RTOS2/RTX/Source/rtx_lib.c
index acf83c5..b1e6001 100644
--- a/CMSIS/RTOS2/RTX/Source/rtx_lib.c
+++ b/CMSIS/RTOS2/RTX/Source/rtx_lib.c
@@ -593,6 +593,7 @@
typedef void *mutex;
// Initialize mutex
+__USED
int _mutex_initialize(mutex *m);
int _mutex_initialize(mutex *m) {
*m = osMutexNew(NULL);
@@ -604,6 +605,7 @@
}
// Acquire mutex
+__USED
void _mutex_acquire(mutex *m);
void _mutex_acquire(mutex *m) {
if (os_kernel_is_active()) {
@@ -612,6 +614,7 @@
}
// Release mutex
+__USED
void _mutex_release(mutex *m);
void _mutex_release(mutex *m) {
if (os_kernel_is_active()) {
@@ -620,6 +623,7 @@
}
// Free mutex
+__USED
void _mutex_free(mutex *m);
void _mutex_free(mutex *m) {
osMutexDelete(*m);