1 /*
2  * Copyright (c) 2016, Xilinx Inc. and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 /*
8  * @file	freertos/time.c
9  * @brief	freertos libmetal time handling.
10  */
11 
12 #include <FreeRTOS.h>
13 #include <task.h>
14 #include <metal/time.h>
15 
metal_get_timestamp(void)16 unsigned long long metal_get_timestamp(void)
17 {
18 	return (unsigned long long)(1000 * portTICK_PERIOD_MS * xTaskGetTickCount());
19 }
20 
21