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

#include <cpu/x86/tsc.h>

unsigned long tsc_freq_mhz(void)
{
	/* CPU freq = 400 MHz */
	return 400;
}