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

#include <cpu/x86/smm.h>
#include <drivers/ocp/include/vpd.h>
#include <soc/ramstage.h>
#include <soc/soc_util.h>
#include <soc/util.h>
#include <soc/msr.h>

unsigned int smbios_cpu_get_voltage(void)
{
	return 16; /* Per SMBIOS spec, voltage times 10 */
}

unsigned int smbios_cpu_get_current_speed_mhz(void)
{
	msr_t msr;
	msr = rdmsr(MSR_PLATFORM_INFO);
	return ((msr.lo >> 8) & 0xff) * CONFIG_CPU_BCLK_MHZ;
}

__weak void mainboard_override_fsp_gpio(void)
{
	/* Default weak implementation */
}

__weak void mainboard_override_usb_oc(void)
{
	/* Default weak implementation */
}