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