00001
00002
00003
00004
00005
00006
00007
00008
00009
00010 #ifndef _ATX_SYSTEM_H_
00011 #define _ATX_SYSTEM_H_
00012
00013
00014
00015
00016 #include "AtxTypes.h"
00017 #include "AtxTime.h"
00018
00019
00020
00021
00022 #ifdef __cplusplus
00023 extern "C" {
00024 #endif
00025
00026 extern ATX_Result ATX_System_GetCurrentTimeStamp(ATX_TimeStamp* now);
00027 extern ATX_Result ATX_System_Sleep(const ATX_TimeInterval* duration);
00028 extern ATX_Result ATX_System_SleepUntil(const ATX_TimeStamp* when);
00029 extern ATX_Result ATX_System_SetRandomSeed(unsigned int seed);
00030 extern ATX_UInt32 ATX_System_GetRandomInteger(void);
00031
00032 #ifdef __cplusplus
00033 }
00034 #endif
00035
00036 #endif
00037