xref: /aosp_15_r20/external/coreboot/tests/include/stubs/timestamp.h (revision b9411a12aaaa7e1e6a6fb7c5e057f44ee179a49c)
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 #include <types.h>
3 
4 void dummy_timestamp_set(uint64_t v);
5 
6 void dummy_timestamp_tick_freq_mhz_set(int v);
7