cpu id default in conf params

[frescor/frsh-include.git] / frsh_fosa_opaque.h

diff --git a/frsh_fosa_opaque.h b/frsh_fosa_opaque.h
index a75da9b5d1f7be8645fb687e99bbc627fa102cf1..5a03fec26626c4ac534f3d1903117b35f20a7a4d 100644 (file)
--- a/frsh_fosa_opaque.h
+++ b/frsh_fosa_opaque.h
@@ -104,7 +104,12 @@ typedef struct {
 
 #else  /* !AQuoSA, MARTE_OS, RT_LINUX */
 
+#ifdef MARTE_OS
 typedef pthread_t FOSA_THREAD_ID_T_OPAQUE;
+#else
+//#define FOSA_MUTEX_T_OPAQUE pthread_mutex_t
+#define FOSA_THREAD_ID_T_OPAQUE pthread_t
+#endif
 
 #endif /* AQuoSA */
 
@@ -112,7 +117,6 @@ typedef pthread_attr_t FOSA_THREAD_ATTR_T_OPAQUE;
 
 typedef int FOSA_SIGNAL_T_OPAQUE;
 
-
 typedef pthread_mutex_t FOSA_MUTEX_T_OPAQUE;
 
 // The minimum and maximum signal numbers that may be used by the FRSH