cpu id default in conf params

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

diff --git a/frsh_fosa.h b/frsh_fosa.h
index 4c7458e41c4d8699cccfe1a3ffdb27543eeb0f6b..cf66db0019e6a1c097012444109e386ecdb655b0 100644 (file)
--- a/frsh_fosa.h
+++ b/frsh_fosa.h
@@ -47,6 +47,7 @@
 #ifndef        FRSH_FOSA_H_
 #define        FRSH_FOSA_H_
 
+#include <stdlib.h> /* For size_t */
 #include "frsh_fosa_opaque.h"
 
 /**
@@ -83,6 +84,7 @@
  *         -DOSE
  *         -DMARTE_OS
  *         -DAQuoSA
+ *                -DVIRTUAL_TIME
  *
  * This module contains the FOSA part exposed by the FRSH_API and
  * visible for the application.
@@ -128,9 +130,19 @@ typedef FOSA_SIGNAL_T_OPAQUE frsh_signal_t;
 
 
 /** information associated to a signal **/
+#if defined(VIRTUAL_TIME)
+
+#include <vt_ose.h>
+typedef vt_posix_signal_info_t frsh_signal_info_t;
+
+#else
+
 typedef union {int sival_int; void * sival_ptr; } frsh_signal_info_t;
 /* typedef FRSH_SIGNAL_INFO_T_OPAQUE frsh_signal_info_t; */
 
+#endif
+
+
 
 
 /** Mutex object.  Attributes are handled by FOSA **/