1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include "stubs/timestamp.h"
5 static uint64_t timestamp_value
= 0;
6 static int timestamp_tick_freq_mhz_value
= 1;
8 /* Provides way to control timestamp value */
9 void dummy_timestamp_set(uint64_t v
)
14 /* Provides way to control timestamp tick frequency MHz value */
15 void dummy_timestamp_tick_freq_mhz_set(int v
)
17 timestamp_tick_freq_mhz_value
= v
;
20 /* Reimplementation of timestamp getter to control behaviour */
21 uint64_t timestamp_get(void)
23 return timestamp_value
;
26 int timestamp_tick_freq_mhz(void)
28 return timestamp_tick_freq_mhz_value
;