1 // -----------------------------------------------------------------------
2 // Copyright (C) 2006 - 2009 FRESCOR consortium partners:
4 // Universidad de Cantabria, SPAIN
5 // University of York, UK
6 // Scuola Superiore Sant'Anna, ITALY
7 // Kaiserslautern University, GERMANY
8 // Univ. Politécnica Valencia, SPAIN
9 // Czech Technical University in Prague, CZECH REPUBLIC
11 // Thales Communication S.A. FRANCE
12 // Visual Tools S.A. SPAIN
13 // Rapita Systems Ltd UK
16 // See http://www.frescor.org for a link to partners' websites
18 // FRESCOR project (FP6/2005/IST/5-034026) is funded
19 // in part by the European Union Sixth Framework Programme
20 // The European Union is not liable of any use that may be
24 // based on previous work (FSF) done in the FIRST project
26 // Copyright (C) 2005 Mälardalen University, SWEDEN
27 // Scuola Superiore S.Anna, ITALY
28 // Universidad de Cantabria, SPAIN
29 // University of York, UK
31 // FSF API web pages: http://marte.unican.es/fsf/docs
32 // http://shark.sssup.it/contrib/first/docs/
34 // This file is part of FOSA (Frsh Operating System Adaption)
36 // FOSA is free software; you can redistribute it and/or modify it
37 // under terms of the GNU General Public License as published by the
38 // Free Software Foundation; either version 2, or (at your option) any
39 // later version. FOSA is distributed in the hope that it will be
40 // useful, but WITHOUT ANY WARRANTY; without even the implied warranty
41 // of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
42 // General Public License for more details. You should have received a
43 // copy of the GNU General Public License along with FOSA; see file
44 // COPYING. If not, write to the Free Software Foundation, 675 Mass Ave,
45 // Cambridge, MA 02139, USA.
47 // As a special exception, including FOSA header files in a file,
48 // instantiating FOSA generics or templates, or linking other files
49 // with FOSA objects to produce an executable application, does not
50 // by itself cause the resulting executable application to be covered
51 // by the GNU General Public License. This exception does not
52 // however invalidate any other reasons why the executable file might be
53 // covered by the GNU Public License.
54 // -----------------------------------------------------------------------
56 //==============================================
57 // ******** ****** ******** **********
58 // **///// /** ** **////// /** /**
59 // ** /** ** /** /** /**
60 // ******* /** ** /********* /**********
61 // **//// /** ** ////////** /**//////**
62 // ** /** ** /** /** /**
63 // ** /** ** ******** /** /**
64 // // /******/ //////// // //
66 // FOSA(Frescor Operating System Adaptation layer)
67 //================================================
69 // Implementation dependent definitions
71 #ifndef _FOSA_OPAQUE_TYPES_H_
72 #define _FOSA_OPAQUE_TYPES_H_
76 #include "fosa_cpp_macros.h"
77 #include "fosa_opaque_types_time.h"
81 // typedef struct timespec fosa_rel_time_t;
82 // typedef struct timespec fosa_abs_time_t;
86 #define FOSA_THREAD_ID_T_OPAQUE vt_posix_process_t
87 #define FOSA_THREAD_ATTR_T_OPAQUE fosa_thread_attr_t
88 #define FOSA_SIGNAL_T_OPAQUE int
90 #define FOSA_MUTEX_T_OPAQUE fosa_mutex_t
92 // The minimum and maximum signal numbers that may be used by the FRSH
94 #define FOSA_SIGNAL_MIN 8
95 #define FOSA_SIGNAL_MAX 31
97 // the min. and max. priority a fosa thread can have
98 #define FOSA_PRIORITY_MAX VT_PRIORITY_MIN - 1
99 #define FOSA_PRIORITY_MIN VT_PRIORITY_MAX
101 #define FOSA_NULL_SIGNAL 0
103 /* FOSA Errors and return values*/
105 /** Invalid parameter **/
106 #define FOSA_EINVAL -1
108 /** Not enough memory available **/
109 #define FOSA_ENOMEM -2
111 /** Still pending information **/
112 #define FOSA_EAGAIN -3
114 /** Mutex not available **/
115 #define FOSA_EBUSY -4
117 /** Cond var timedout **/
118 #define FOSA_ETIMEDOUT -5
120 /** FOSA ADS errors **/
121 #define FOSA_EREJECT -6
122 #define FOSA_EMASKED -7
125 /** Sched policy not correct */
126 #define FOSA_EPOLICY -8
128 /** the value given by thread_id is not valid for ADS */
129 #define FOSA_ESRCH -9
131 /** retval if no action performed **/
132 #define FOSA_NO_ACTION 0
134 #endif /* VIRTUAL_TIME */
139 #endif // _FOSA_OPAQUE_TYPES_H_