POK
/home/jaouen/pok_official/pok/trunk/libpok/include/arinc653/time.h
00001 /*
00002  *                               POK header
00003  * 
00004  * The following file is a part of the POK project. Any modification should
00005  * made according to the POK licence. You CANNOT use this file or a part of
00006  * this file is this part of a file for your own project
00007  *
00008  * For more information on the POK licence, please see our LICENCE FILE
00009  *
00010  * Please follow the coding guidelines described in doc/CODING_GUIDELINES
00011  *
00012  *                                      Copyright (c) 2007-2009 POK team 
00013  *
00014  * Created by julien on Thu Jan 15 23:34:13 2009 
00015  */
00016 
00017 
00018 #ifdef POK_NEEDS_ARINC653_TIME
00019 #ifndef APEX_TIME
00020 #define APEX_TIME
00021 
00022 #include <arinc653/types.h>
00023 
00024 /*----------------------------------------------------------------------*/
00025 /* */
00026 /* time constant definitions */
00027 /* */
00028 /*----------------------------------------------------------------------*/
00029 /* implementation dependent */
00030 /* these values are given as example */
00031 /*----------------------------------------------------------------------*/
00032 /* */
00033 /* time type definitions */
00034 /* */
00035 /*----------------------------------------------------------------------*/
00036 /*----------------------------------------------------------------------*/
00037 /* */
00038 /* time management services */
00039 /* */
00040 /*----------------------------------------------------------------------*/
00041 /*----------------------------------------------------------------------*/
00042 extern void TIMED_WAIT (
00043       /*in */ SYSTEM_TIME_TYPE delay_time,
00044       /*out*/ RETURN_CODE_TYPE *return_code );
00045 /*----------------------------------------------------------------------*/
00046 extern void PERIODIC_WAIT (
00047       /*out*/ RETURN_CODE_TYPE *return_code );
00048 /*----------------------------------------------------------------------*/
00049 extern void GET_TIME (
00050       /*out*/ SYSTEM_TIME_TYPE *system_time,
00051       /*out*/ RETURN_CODE_TYPE *return_code );
00052 /*----------------------------------------------------------------------*/
00053 void REPLENISH (SYSTEM_TIME_TYPE budget_time, RETURN_CODE_TYPE *return_code);
00054 /*----------------------------------------------------------------------*/
00055 #endif
00056 #endif