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

/*
 * @file	zephyr/time.c
 * @brief	Zephyr libmetal time handling.
 */

#include <metal/time.h>
#include <zephyr/kernel.h>

unsigned long long metal_get_timestamp(void)
{
	return (unsigned long long)k_uptime_ticks();
}