/* SPDX-License-Identifier: GPL-2.0-only */

#include "stubs/timestamp.h"

static uint64_t timestamp_value = 0;
static int timestamp_tick_freq_mhz_value = 1;

/* Provides way to control timestamp value */
void dummy_timestamp_set(uint64_t v)
{
	timestamp_value = v;
}

/* Provides way to control timestamp tick frequency MHz value */
void dummy_timestamp_tick_freq_mhz_set(int v)
{
	timestamp_tick_freq_mhz_value = v;
}

/* Reimplementation of timestamp getter to control behaviour */
uint64_t timestamp_get(void)
{
	return timestamp_value;
}

int timestamp_tick_freq_mhz(void)
{
	return timestamp_tick_freq_mhz_value;
}