POK
time.h
1 /*
2  * POK header
3  *
4  * The following file is a part of the POK project. Any modification should
5  * made according to the POK licence. You CANNOT use this file or a part of
6  * this file is this part of a file for your own project
7  *
8  * For more information on the POK licence, please see our LICENCE FILE
9  *
10  * Please follow the coding guidelines described in doc/CODING_GUIDELINES
11  *
12  * Copyright (c) 2007-2009 POK team
13  *
14  * Created by julien on Thu Jan 15 23:34:13 2009
15  */
16 
17 
18 #ifdef POK_NEEDS_ARINC653_TIME
19 #ifndef APEX_TIME
20 #define APEX_TIME
21 
22 #include <arinc653/types.h>
23 
24 /*----------------------------------------------------------------------*/
25 /* */
26 /* time constant definitions */
27 /* */
28 /*----------------------------------------------------------------------*/
29 /* implementation dependent */
30 /* these values are given as example */
31 /*----------------------------------------------------------------------*/
32 /* */
33 /* time type definitions */
34 /* */
35 /*----------------------------------------------------------------------*/
36 /*----------------------------------------------------------------------*/
37 /* */
38 /* time management services */
39 /* */
40 /*----------------------------------------------------------------------*/
41 /*----------------------------------------------------------------------*/
42 extern void TIMED_WAIT (
43  /*in */ SYSTEM_TIME_TYPE delay_time,
44  /*out*/ RETURN_CODE_TYPE *return_code );
45 /*----------------------------------------------------------------------*/
46 extern void PERIODIC_WAIT (
47  /*out*/ RETURN_CODE_TYPE *return_code );
48 /*----------------------------------------------------------------------*/
49 extern void GET_TIME (
50  /*out*/ SYSTEM_TIME_TYPE *system_time,
51  /*out*/ RETURN_CODE_TYPE *return_code );
52 /*----------------------------------------------------------------------*/
53 void REPLENISH (SYSTEM_TIME_TYPE budget_time, RETURN_CODE_TYPE *return_code);
54 /*----------------------------------------------------------------------*/
55 #endif
56 #endif