platform/linux-generic/arch/odp_arch_time_internal.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

/* Copyright (c) 2017-2018, Linaro Limited
 * All rights reserved.
 *
 * SPDX-License-Identifier:     BSD-3-Clause
 */

#ifndef ODP_ARCH_TIME_INTERNAL_H_
#define ODP_ARCH_TIME_INTERNAL_H_

#ifdef __cplusplus
extern "C" {
#endif

#include <stdint.h>

int cpu_has_global_time(void);
uint64_t cpu_global_time(void);
uint64_t cpu_global_time_freq(void);

#ifdef __cplusplus
}
#endif

#endif