e0c60f3d39
Signed-off-by: Jakub Czapiga <jacz@semihalf.com> Change-Id: I39abfc644fef085cef2175086a0e45a040b244de Reviewed-on: https://review.coreboot.org/c/coreboot/+/46968 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Paul Fagerburg <pfagerburg@chromium.org>
7 lines
150 B
C
7 lines
150 B
C
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
#include <types.h>
|
|
|
|
void dummy_timestamp_set(uint64_t v);
|
|
|
|
void dummy_timestamp_tick_freq_mhz_set(int v);
|