/************************************************************//**
*
*	@file: platform_clock.h
*	@author: Martin Fouilleul
*	@date: 07/03/2019
*	@revision:
*
*****************************************************************/
#ifndef __PLATFORM_CLOCK_H_
#define __PLATFORM_CLOCK_H_

#include"util/typedefs.h"
#include"platform.h"

#ifdef __cplusplus
extern "C" {
#endif // __cplusplus

typedef enum {
	OC_CLOCK_MONOTONIC, // clock that increment monotonically
    OC_CLOCK_UPTIME,    // clock that increment monotonically during uptime
	OC_CLOCK_DATE       // clock that is driven by the platform time
} oc_clock_kind;

ORCA_API void oc_clock_init(); // initialize the clock subsystem
ORCA_API u64  oc_clock_timestamp(oc_clock_kind clock);
ORCA_API f64  oc_clock_time(oc_clock_kind clock);

#ifdef __cplusplus
} // extern "C"
#endif // __cplusplus


#endif //__PLATFORM_CLOCK_H_