src/soc/intel/xeon_sp/cpx/ramstage.c

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

#include <smbios.h>

unsigned int smbios_cpu_get_max_speed_mhz(void)
{
	return 3900;
}